Papers
1
Total Citations
51
H-Index
1
About
No biography available yet.
Research Focus
Computation1 · 51 citations
Computer science1 · 51 citations
Correctness1 · 51 citations
Information retrieval1 · 51 citations
Model checking1 · 51 citations
Process (computing)1 · 51 citations
Programming language1 · 51 citations
Reachability1 · 51 citations
Schema (genetic algorithms)1 · 51 citations
Semantics (computer science)1 · 51 citations
Theoretical computer science1 · 51 citations
Key Achievements
1
H-Index
1
Papers
51
Total Citations
51
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: 1
🏛 Institutions: University of Pennsylvania
Top Papers
- 1A layered approach to automating the verification of real-time systems51 citations · 1992
Key Collaborators
Not generated yet