Concepedia

A. Prasad Sistla

AP

Statistics

Publications

51

Citations

9.8K

H-Index

30

Active since

1982

Affiliations

University of Illinois Chicago(Current)

The University of Texas at Austin

University of Massachusetts Amherst

University of Illinois Urbana-Champaign

Carnegie Mellon University

A. Prasad Sistla is an author at University of Illinois Chicago specializing in computer science, computing, and temporal logic.

Publications per year

1982–2020

51

Publications

51

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 · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

The complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

Humanities, Computer Science, Mathematics +12

Modeling and querying moving objects

A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain et al. · 2002 · 611 citations

Computing, Computer Science, Data Engineering +16

Reasoning about systems with many processes

Steven M. German, A. Prasad Sistla · Journal of the ACM · 1992 · 443 citations · Full text

Computing, Computer Science, Computer Systems +17

Updating and Querying Databases that Track Mobile Units

Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain et al. · Distributed and Parallel Databases · 1999 · 415 citations

Computing, Computer Science, Information Systems +10

1–5 of 51