Papers
2
Total Citations
426
H-Index
2
About
No biography available yet.
Research Focus
Mathematics2 · 426 citations
Model checking2 · 426 citations
Computer science2 · 426 citations
Theoretical computer science2 · 426 citations
Hybrid automaton1 · 421 citations
Hybrid system1 · 421 citations
Key (lock)1 · 421 citations
Algorithm1 · 421 citations
Parametric statistics1 · 421 citations
Machine learning1 · 421 citations
Automata theory1 · 421 citations
Automaton1 · 421 citations
Key Achievements
2
H-Index
2
Papers
426
Total Citations
213
Avg Citations/Paper
🏆 Most Cited Paper
HyTech: A model checker for hybrid systems
421 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Lawrence Berkeley National Laboratory, Cadence Design Systems (United States)
Top Papers
- 1HyTech: A model checker for hybrid systems421 citations · 1997
- 2Symbolic Reachability Analysis of Hybrid Systems5 citations · 1998
Key Collaborators
Not generated yet