Aravinda Prasad Sistla

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	18875	1808
H-index	45	19
i10-index	102	31

880

440

220

660

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202556 71 67 120 169 151 222 215 287 416 451 413 462 572 576 625 721 718 705 801 726 865 708 784 694 665 649 616 647 627 567 439 487 420 357 437 366 315 276 57

גישה ציבורית

הצג הכל

12 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

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
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
Patrice GodefroidLacework

עקוב אחר

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‏	6419	1986
The complexity of propositional linear temporal logics‏ AP Sistla, EM Clarke‏ Journal of the ACM (JACM) 32 (3), 733-749, 1985‏	1694	1985
Modeling and querying moving objects‏ AP Sistla, O Wolfson, S Chamberlain, S Dao‏ Proceedings 13th International Conference on Data Engineering, 422-432, 1997‏	968	1997
Symmetry and model checking‏ EA Emerson, AP Sistla‏ Formal methods in system design 9 (1), 105-131, 1996‏	842	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‏	642	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‏	622	1999
Reasoning about systems with many processes‏ SM German, AP Sistla‏ Journal of the ACM (JACM) 39 (3), 675-735, 1992‏	576	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‏	510	1983
On model-checking for fragments of μ-calculus‏ EA Emerson, CS Jutla, AP Sistla‏ Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993‏	430	1993
Deciding branching time logic‏ EA Emerson, AP Sistla‏ Proceedings of the sixteenth annual ACM symposium on Theory of computing, 14-24, 1984‏	378	1984
Safety, liveness and fairness in temporal logic‏ AP Sistla‏ Formal Aspects of Computing 6 (5), 495-511, 1994‏	337	1994
Symmetry reductions in model checking‏ EM Clarke, EA Emerson, S Jha, AP Sistla‏ Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998‏	281	1998
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
Data replication for mobile computers‏ Y Huang, P Sistla, O Wolfson‏ ACM SIGMOD Record 23 (2), 13-24, 1994‏	261	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‏	198	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‏	187	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‏	163	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‏	138	1997

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים