正在加载...
系统目前无法执行此操作,请稍后再试。
每年引用数
重复的引用
下面的文章将在学术搜索中合并。它们的
合并引用
次数只会计入第一篇文章。
合并的引用
此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有
*
标记的引文可能与个人学术档案中的文章有所区别。
添加合著者
合著作者
关注
此作者发表了新文章
有对此作者文章的新引用
有与此作者的研究工作相关的新文章
用于接收动态的电子邮件地址
完成
我的个人学术档案
我的图书馆
统计指标
快讯
设置
登录
登录
创建我的个人资料
引用次数
查看全部
总计
2019 年至今
引用
72
8
h 指数
3
2
i10 指数
3
0
0
12
6
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
1
12
6
7
10
10
6
4
1
1
5
2
1
2
1
2
关注
Krzysztof Jakubczyk
PhD in Computer Science,
University of Warsaw
在 mimuw.edu.pl 的电子邮件经过验证
Static Program Analysis
文章
引用次数
标题
排序
按引用次数排序
按年份排序
按标题排序
引用次数
引用次数
年份
Propagation of JML non-null annotations in Java programs
M Cielecki, J Fulara, K Jakubczyk, Ł Jancewicz
Proceedings of the 4th International Symposium on Principles and Practice of …
, 2006
38
2006
Practically applicable formal methods
J Fulara, K Jakubczyk
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on …
, 2010
16
2010
Relational abstract domain of weighted hexagons
J Fulara, K Durnoga, K Jakubczyk, A Schubert
Electronic Notes in Theoretical Computer Science 267 (1), 59-72
, 2010
15
2010
Sweeping in abstract interpretation
K Jakubczyk
Electronic Notes in Theoretical Computer Science 288, 25-36
, 2012
3
2012
Source Code Analysis Techniques in Property Verification of Real Java Code
K Jakubczyk
2013
Techniki analizy kodu źródłowego w weryfikacji własności rzeczywistych programów w języku Java
K Jakubczyk
系统目前无法执行此操作,请稍后再试。
文章 1–6
展开
隐私权
条款
帮助
关于学术搜索
Google 搜索帮助