Science Explorer Interactive view Map
Researcher · University of Illinois Chicago · United States

A. Prasad Sistla

A. Prasad Sistla publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Cryptography and Data Security.

ORCID 0009-0005-8331-7912 OpenAlex
World rank
#58,650
of 1,633,909 ranked researchers
Rank in United States
#26,683
of 358,040
Works
37
Citations
375
Citations per work
10.1

What does A. Prasad Sistla research?

Artificial Intelligence: 28.9%Computational Theory and Mathematics: 26.7%Computer Networks and Communications: 11.1%Information Systems: 6.7%other fields: 26.6%29%top field
Artificial Intelligence28.9%Computational Theory and Mathematics26.7%Computer Networks and Communications11.1%Information Systems6.7%other fields26.6%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence29% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3Computer Networks and Communications11% of their works
  4. 4Information Systems7% of their works
  5. 5Signal Processing7% of their works
  6. 6Software7% of their works

Research topics

Which keywords describe A. Prasad Sistla's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Continuous Queries and Data Stream Management.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking112 topics
  2. Automata102 topics
  3. Satisfiability Modulo Theories71 topic
  4. Symbolic Model Checker71 topic
  5. Formal Verification41 topic
  6. Static Analysis41 topic
  7. Continuous Queries31 topic
  8. Data Stream Management31 topic
  9. Formal Languages31 topic
  10. Homomorphic Encryption31 topic
  11. Identity-Based Encryption31 topic
  12. Regular Expressions31 topic
  13. Compression21 topic
  14. Deadlock Prevention21 topic
  15. Petri Nets21 topic
  16. Security Policies21 topic
  17. Side-Channel Attacks21 topic
  18. Suffix Arrays21 topic

Where does A. Prasad Sistla work?

A. Prasad Sistla's main affiliation in the publication record is University of Illinois Chicago, United States.

How many publications and citations does A. Prasad Sistla have?

Science Explorer counts 37 works and 375 citations for A. Prasad Sistla, ranking #58,650 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.