V. Hartonas-Garmhausen
Papers
1
Total Citations
12
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 12 citations
Counterexample1 · 12 citations
Deadlock1 · 12 citations
Deadlock prevention algorithms1 · 12 citations
Distributed computing1 · 12 citations
Finite-state machine1 · 12 citations
Formal verification1 · 12 citations
Mathematics1 · 12 citations
Model checking1 · 12 citations
Programming language1 · 12 citations
State (computer science)1 · 12 citations
State space1 · 12 citations
Key Achievements
1
H-Index
1
Papers
12
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Deadlock prevention in flexible manufacturing systems using symbolic model checking
12 citations · 2002
📈 Most Prolific Year: 2002 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Carnegie Mellon University
Top Papers
- 1
Key Collaborators
Not generated yet