正在加载...
系统目前无法执行此操作,请稍后再试。
每年引用数
重复的引用
下面的文章将在学术搜索中合并。它们的
合并引用
次数只会计入第一篇文章。
合并的引用
此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有
*
标记的引文可能与个人学术档案中的文章有所区别。
添加合著者
合著作者
关注
此作者发表了新文章
有对此作者文章的新引用
有与此作者的研究工作相关的新文章
用于接收动态的电子邮件地址
完成
我的个人学术档案
我的图书馆
统计指标
快讯
设置
登录
登录
创建我的个人资料
引用次数
查看全部
总计
2019 年至今
引用
118
55
h 指数
3
3
i10 指数
3
3
0
14
7
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
4
4
14
12
12
5
8
8
9
6
13
14
5
开放获取的出版物数量
查看全部
查看全部
1 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
Panagiotis Katsaros
Associate Professor of Computer Science, Aristotle University of Thessaloniki, Greece
在 csd.auth.gr 的电子邮件经过验证
Scott A. Smolka
Professor of Computer Science, Stony Brook University
在 cs.sunysb.edu 的电子邮件经过验证
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
在 msu.edu 的电子邮件经过验证
关注
George Chatzieleftheriou
PhD, Dept. of Informatics,
Aristotle University of Thessaloniki
在 csd.auth.gr 的电子邮件经过验证
Formal Methods
Model Checking
文章
引用次数
开放获取的出版物数量
合著作者
标题
排序
按引用次数排序
按年份排序
按标题排序
引用次数
引用次数
年份
Test-driving static analysis tools in search of C code vulnerabilities
G Chatzieleftheriou, P Katsaros
2011 IEEE 35th annual computer software and applications conference …
, 2011
57
2011
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11
, 2015
50
2015
Abstract model repair for probabilistic systems
G Chatzieleftheriou, P Katsaros
Information and Computation 259, 142-160
, 2018
11
2018
系统目前无法执行此操作,请稍后再试。
文章 1–3
展开
隐私权
条款
帮助
关于学术搜索
Google 搜索帮助