Papers
3
Total Citations
89
H-Index
2
About
No biography available yet.
Research Focus
Programming language3 · 89 citations
Computer science3 · 89 citations
Semantics (computer science)2 · 87 citations
Theoretical computer science2 · 87 citations
Computation2 · 87 citations
Model checking1 · 51 citations
Correctness1 · 51 citations
Schema (genetic algorithms)1 · 51 citations
Information retrieval1 · 51 citations
Process (computing)1 · 51 citations
Reachability1 · 51 citations
Artificial intelligence1 · 36 citations
Key Achievements
2
H-Index
3
Papers
89
Total Citations
30
Avg Citations/Paper
🏆 Most Cited Paper
A layered approach to automating the verification of real-time systems
51 citations · 1992
📈 Most Prolific Year: 1992 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Maryland, College Park, University of Pennsylvania
Top Papers
- 1A layered approach to automating the verification of real-time systems51 citations · 1992
- 2Communicating shared resources: a model for distributed real-time systems36 citations · 2003
- 3Compiler support for real-time programs2 citations · 1995
Key Collaborators
Not generated yet