Aravinda Prasad Sistla

Navedeno

	Vse	Od leta 2020
Navedbe	18891	1820
indeks h	45	19
indeks i10	102	31

880

440

220

660

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202556 71 66 120 169 151 222 215 287 416 452 412 462 572 575 625 723 718 707 800 725 865 708 784 694 666 649 616 648 628 568 441 485 419 358 437 367 314 277 67

Javni dostop

Prikaži vse

12 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Ouri WolfsonProfessor of Computer Science, University of Illinois, Chicago, Fellow ACM, Fellow IEEE, Fellow AAASPreverjeni e-poštni naslov na uic.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Clement YuProfessor of Computer Science, University of Illinois at ChicagoPreverjeni e-poštni naslov na cs.uic.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignPreverjeni e-poštni naslov na illinois.edu
Rohit ChadhaUniversity of MissouriPreverjeni e-poštni naslov na missouri.edu
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoPreverjeni e-poštni naslov na uic.edu
Moshe Y. VardiRice UniversityPreverjeni e-poštni naslov na cs.rice.edu
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumPreverjeni e-poštni naslov na ulg.ac.be
Somesh JhaLubar Chair of Computer Science, University of WisconsinPreverjeni e-poštni naslov na cs.wisc.edu
Miloš ŽefranProfessor of Electrical and Computer Engineering, University of Illinois at ChicagoPreverjeni e-poštni naslov na uic.edu
Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityPreverjeni e-poštni naslov na cse.tamu.edu
Sriram RajamaniMicrosoft Research Preverjeni e-poštni naslov na microsoft.com
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityPreverjeni e-poštni naslov na it.uu.se
Stefan KieferProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Philip S. YuProfessor of Computer Science, University of Illinons at ChicagoPreverjeni e-poštni naslov na cs.uic.edu
Lenore D. ZuckUniversity of Illinois, Chicago
Patrice GodefroidLacework

Spremljaj

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

Preverjeni e-poštni naslov na uic.edu - Domača stran

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	6422	1986
The complexity of propositional linear temporal logics AP Sistla, EM Clarke Journal of the ACM (JACM) 32 (3), 733-749, 1985	1696	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	843	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	577	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	379	1984
Safety, liveness and fairness in temporal logic AP Sistla Formal Aspects of Computing 6 (5), 495-511, 1994	339	1994
Symmetry reductions in model checking EM Clarke, EA Emerson, S Jha, AP Sistla Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	282	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	139	1997

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji