Aravinda Prasad Sistla 个人学术档案

引用次数

	总计	2019 年至今
引用	18602	2057
h 指数	45	19
i10 指数	101	33

880

440

220

660

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202453 52 66 66 122 163 152 216 206 290 408 448 403 465 580 582 629 714 716 691 799 724 863 698 781 690 662 643 627 636 624 559 433 493 411 351 441 366 327 161

开放获取的出版物数量

查看全部

10 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ouri WolfsonProfessor of Computer Science, University of Illinois, Chicago, Fellow ACM, Fellow IEEE, Fellow AAAS在 uic.edu 的电子邮件经过验证
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Clement YuProfessor of Computer Science, University of Illinois at Chicago在 cs.uic.edu 的电子邮件经过验证
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Rohit ChadhaUniversity of Missouri在 missouri.edu 的电子邮件经过验证
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at Chicago在 uic.edu 的电子邮件经过验证
Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
Pierre WolperProfessor of Computer Science, Université de Liège, Belgium在 ulg.ac.be 的电子邮件经过验证
Somesh JhaLubar Chair of Computer Science, University of Wisconsin在 cs.wisc.edu 的电子邮件经过验证
Miloš ŽefranProfessor of Electrical and Computer Engineering, University of Illinois at Chicago在 uic.edu 的电子邮件经过验证
Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M University在 cse.tamu.edu 的电子邮件经过验证
Patrice GodefroidLacework在 lacework.net 的电子邮件经过验证
Sriram RajamaniMicrosoft Research 在 microsoft.com 的电子邮件经过验证
Parosh AbdullaProfessor of Computer Science, Uppsala University在 it.uu.se 的电子邮件经过验证
Stefan KieferProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Philip S. YuProfessor of Computer Science, University of Illinons at Chicago在 cs.uic.edu 的电子邮件经过验证
Lenore D. ZuckUniversity of Illinois, Chicago

关注

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

在 uic.edu 的电子邮件经过验证 - 首页

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Automatic verification of finite-state concurrent systems using temporal logic specifications EM Clarke, EA Emerson, AP Sistla ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (2), 244-263, 1986	6324	1986
The complexity of propositional linear temporal logics AP Sistla, EM Clarke Journal of the ACM (JACM) 32 (3), 733-749, 1985	1684	1985
Modeling and querying moving objects AP Sistla, O Wolfson, S Chamberlain, S Dao Proceedings 13th International Conference on Data Engineering, 422-432, 1997	976	1997
Symmetry and model checking EA Emerson, AP Sistla Formal methods in system design 9 (1), 105-131, 1996	829	1996
The complementation problem for Büchi automata with applications to temporal logic AP Sistla, MY Vardi, P Wolper Theoretical Computer Science 49 (2-3), 217-237, 1987	627	1987
Updating and querying databases that track mobile units O Wolfson, AP Sistla, S Chamberlain, Y Yesha Distributed and parallel databases 7, 257-387, 1999	619	1999
Reasoning about systems with many processes SM German, AP Sistla Journal of the ACM (JACM) 39 (3), 675-735, 1992	565	1992
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla 24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 185-194, 1983	502	1983
On model-checking for fragments of μ-calculus EA Emerson, CS Jutla, AP Sistla Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	427	1993
Deciding branching time logic EA Emerson, AP Sistla Proceedings of the sixteenth annual ACM symposium on Theory of computing, 14-24, 1984	370	1984
Safety, liveness and fairness in temporal logic AP Sistla Formal Aspects of Computing 6 (5), 495-511, 1994	319	1994
Quantitative temporal reasoning EA Emerson, AK Mok, AP Sistla, J Srinivasan Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991	280	1991
Efficient distributed recovery using message logging AP Sistla, JL Welch Proceedings of the eighth annual ACM Symposium on Principles of distributed …, 1989	280	1989
Symmetry reductions in model checking EM Clarke, EA Emerson, S Jha, AP Sistla Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	270	1998
Data replication for mobile computers Y Huang, P Sistla, O Wolfson ACM SIGMOD Record 23 (2), 13-24, 1994	260	1994
Querying the uncertain position of moving objects A Prasad Sistla, O Wolfson, S Chamberlain, S Dao Temporal databases: research and practice, 310-337, 1998	249	1998
Quantitative temporal reasoning EA Emerson, AK Mok, AP Sistla, J Srinivasan Real-Time Systems 4 (4), 331-352, 1992	193	1992
DOMINO: Databases for moving objects tracking O Wolfson, P Sistla, B Xu, J Zhou, S Chamberlain ACM SIGMOD Record 28 (2), 547-549, 1999	186	1999
On model checking for the μ-calculus and its fragments EA Emerson, CS Jutla, AP Sistla Theoretical Computer Science 258 (1-2), 491-522, 2001	160	2001
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach EA Emerson, AP Sistla ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (4), 617-638, 1997	136	1997

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用