Kestrel Technology (United States)
🇺🇸 US
Papers
1
Total Citations
178
H-Index
1
Researchers
1
About
No biography available yet.
Research Focus
Abstraction layer1 · 178 citations
Component (thermodynamics)1 · 178 citations
Computer science1 · 178 citations
Concurrency1 · 178 citations
Lisp1 · 178 citations
Model checking1 · 178 citations
Programming language1 · 178 citations
Promela1 · 178 citations
Software1 · 178 citations
Software engineering1 · 178 citations
Key Achievements
1
H-Index
1
Papers
178
Total Citations
1
Faculty & Researchers
🏆 Most Cited Paper
Formal analysis of a space-craft controller using SPIN
178 citations · 2001
📊 Avg Citations/Paper: 178
📈 Most Prolific Year: 2001 (1)
🔬 Research Focus: Abstraction layer, Component (thermodynamics), Computer science, Concurrency, Lisp, Model checking
Top Papers
- 1Formal analysis of a space-craft controller using SPIN178 citations · 2001
Faculty & Researchers
…
Not generated yet