John Penix
Papers
2
Total Citations
199
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 199 citations
Software engineering2 · 199 citations
Concurrency1 · 178 citations
Software1 · 178 citations
Component (thermodynamics)1 · 178 citations
Lisp1 · 178 citations
Model checking1 · 178 citations
Programming language1 · 178 citations
Abstraction layer1 · 178 citations
Promela1 · 178 citations
Spacecraft1 · 21 citations
Systems engineering1 · 21 citations
Key Achievements
2
H-Index
2
Papers
199
Total Citations
100
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: 3
🏛 Institutions: Ames Research Center
Top Papers
- 1Formal analysis of a space-craft controller using SPIN178 citations · 2001
- 2Verification and validation of AI systems that control deep-space spacecraft21 citations · 1997
Key Collaborators
Not generated yet