Martin Hautzendorfer
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 2 citations
Formal methods1 · 2 citations
Formal verification1 · 2 citations
Java1 · 2 citations
Java Modeling Language1 · 2 citations
Java applet1 · 2 citations
Model checking1 · 2 citations
Nondeterministic algorithm1 · 2 citations
Programming language1 · 2 citations
Software engineering1 · 2 citations
Theoretical computer science1 · 2 citations
strictfp1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Control Software: A Case Study
2 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 3
Top Papers
- 1Formal Verification of Control Software: A Case Study2 citations · 2005
Key Collaborators
Not generated yet