A. Prasad Sistla
University of Illinois Chicago(US)Medical Discovery Partners (United States)(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Advanced Database Systems and Queries, Data Management and Algorithms
Most-Cited Works
- → Automatic verification of finite-state concurrent systems using temporal logic specifications(1986)3,538 cited
- → The complexity of propositional linear temporal logics(1985)1,098 cited
- → Modeling and querying moving objects(2002)611 cited
- → Reasoning about systems with many processes(1992)437 cited
- → Updating and Querying Databases that Track Mobile Units(1999)414 cited
- → Automatic verification of finite state concurrent system using temporal logic specifications(1983)413 cited
- → Symmetry and model checking(1996)