Papers
2
Total Citations
179
H-Index
1
About
No biography available yet.
Research Focus
Computer science2 · 179 citations
Component (thermodynamics)1 · 178 citations
Abstraction layer1 · 178 citations
Model checking1 · 178 citations
Programming language1 · 178 citations
Promela1 · 178 citations
Software1 · 178 citations
Software engineering1 · 178 citations
Concurrency1 · 178 citations
Lisp1 · 178 citations
Acoustics1 · 1 citations
Physics1 · 1 citations
Key Achievements
1
H-Index
2
Papers
179
Total Citations
90
Avg Citations/Paper
🏆 Most Cited Paper
Formal analysis of a space-craft controller using SPIN
178 citations · 2001
📈 Most Prolific Year: 2001 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Ames Research Center, University at Buffalo, State University of New York
Top Papers
- 1Formal analysis of a space-craft controller using SPIN178 citations · 2001
- 2Passive low-frequency vibration mitigation in large space structures1 citations · 2024
Key Collaborators
Not generated yet