Follow
Aravinda  Prasad Sistla
Title
Cited by
Cited by
Year
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
63091986
The complexity of propositional linear temporal logics
AP Sistla, EM Clarke
Journal of the ACM (JACM) 32 (3), 733-749, 1985
16641985
Modeling and querying moving objects
AP Sistla, O Wolfson, S Chamberlain, S Dao
Proceedings 13th International Conference on Data Engineering, 422-432, 1997
9741997
Symmetry and model checking
EA Emerson, AP Sistla
Formal methods in system design 9 (1), 105-131, 1996
8271996
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
6261987
Updating and querying databases that track mobile units
O Wolfson, AP Sistla, S Chamberlain, Y Yesha
Distributed and parallel databases 7, 257-387, 1999
6141999
Reasoning about systems with many processes
SM German, AP Sistla
Journal of the ACM (JACM) 39 (3), 675-735, 1992
5531992
Reasoning about infinite computation paths
P Wolper, MY Vardi, AP Sistla
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 185-194, 1983
5011983
On model-checking for fragments of μ-calculus
EA Emerson, CS Jutla, AP Sistla
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
4221993
Deciding branching time logic
EA Emerson, AP Sistla
Proceedings of the sixteenth annual ACM symposium on Theory of computing, 14-24, 1984
3711984
Safety, liveness and fairness in temporal logic
AP Sistla
Formal Aspects of Computing 6 (5), 495-511, 1994
3101994
Efficient distributed recovery using message logging
AP Sistla, JL Welch
Proceedings of the eighth annual ACM Symposium on Principles of distributed …, 1989
2811989
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
2791991
Symmetry reductions in model checking
EM Clarke, EA Emerson, S Jha, AP Sistla
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2631998
Data replication for mobile computers
Y Huang, P Sistla, O Wolfson
ACM SIGMOD Record 23 (2), 13-24, 1994
2611994
Querying the uncertain position of moving objects
A Prasad Sistla, O Wolfson, S Chamberlain, S Dao
Temporal databases: research and practice, 310-337, 1998
2501998
Quantitative temporal reasoning
EA Emerson, AK Mok, AP Sistla, J Srinivasan
Real-Time Systems 4 (4), 331-352, 1992
1921992
DOMINO: Databases for moving objects tracking
O Wolfson, P Sistla, B Xu, J Zhou, S Chamberlain
ACM SIGMOD Record 28 (2), 547-549, 1999
1811999
On model checking for the μ-calculus and its fragments
EA Emerson, CS Jutla, AP Sistla
Theoretical Computer Science 258 (1-2), 491-522, 2001
1542001
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
1351997
The system can't perform the operation now. Try again later.
Articles 1–20