E. M. Clarke
Papers
3
Total Citations
86
H-Index
3
About
No biography available yet.
Research Focus
Computer science3 · 86 citations
Programming language3 · 86 citations
Model checking2 · 58 citations
Finite-state machine2 · 58 citations
Theoretical computer science2 · 58 citations
State (computer science)2 · 58 citations
Algorithm1 · 46 citations
Binary decision diagram1 · 46 citations
Embedded system1 · 46 citations
Graph1 · 46 citations
Interval (graph theory)1 · 46 citations
Real-time operating system1 · 46 citations
Key Achievements
3
H-Index
3
Papers
86
Total Citations
29
Avg Citations/Paper
🏆 Most Cited Paper
Verus
46 citations · 1995
📈 Most Prolific Year: 1995 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Carnegie Mellon University
Top Papers
Key Collaborators
Not generated yet