A. Prasad Sistla - Concepedia

Author

A. Prasad Sistla

Also Known As

A. P. Sistla, A. PRASAD SISTLA, A. Prasad Sistla, A.P. Sistla, A.Prasad Sistla, Aravinda Prasad Sistla, Sistla, A. Prasad

140

Publications

11.4K

Citations

H-Index

Concepts

All Affiliations

University of Illinois Chicago The University of Texas at Austin University of Massachusetts Amherst University of Illinois Urbana-Champaign Carnegie Mellon University

About

A. Prasad Sistla is an author at University of Illinois Chicago specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	41	8.9K
2	Management	6	6	850
3	Computer Engineering	4	4	135
4	Business	1	1	10
5	Communication	1	1	13

A. Prasad Sistla

Publications

9.7K

Citations

H-Index

Page 1

	Year	Citations
Automatic verification of finite-state concurrent systems using temporal logic specifications E. M. Clarke, E. Allen Emerson, A. Prasad Sistla ACM Transactions on Programming Languages and Systems EngineeringVerificationComputer-aided VerificationComputational ComplexityConcurrent System	1986	3.5K
The complexity of propositional linear temporal logics A. Prasad Sistla, E. M. Clarke Journal of the ACM Particular Finite StructureExtended LogicEngineeringAutomated ReasoningPropositional Logic	1985	1.1K
Modeling and querying moving objects A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, EngineeringField RoboticsTemporal DatabasesLocalizationSpatiotemporal Database	2002	610
Reasoning about systems with many processes Steven M. German, A. Prasad Sistla Journal of the ACM EngineeringModel-based ReasoningVerificationConcurrent SystemModel Checking	1992	437
Automatic verification of finite state concurrent system using temporal logic specifications E. M. Clarke, E. Allen Emerson, A. Prasad Sistla EngineeringTemporal Logic SpecificationsVerificationComputer-aided VerificationConcurrent System	1983	413
Updating and Querying Databases that Track Mobile Units Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Distributed and Parallel Databases	1999	412
Symmetry and model checking E. Allen Emerson, A. Prasad Sistla Formal Methods in System Design EngineeringAutomated ReasoningVerificationFormal MethodsEquivalence Checking	1996	384
The complementation problem for Büchi automata with applications to temporal logic A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper Theoretical Computer Science Complementation ProblemApplied LogicComputational LogicLogical AutomatonEngineering	1987	381
Reasoning about infinite computation paths Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla Logical AutomatonEngineeringAutomated ReasoningDecision ProblemComputational Model Theory	1983	309
Safety, liveness and fairness in temporal logic A. Prasad Sistla Formal Aspects of Computing	1994	205

Page 1