Papers
3
Total Citations
12
H-Index
2
About
No biography available yet.
Research Focus
Computer science3 · 12 citations
Software engineering2 · 10 citations
Concurrency1 · 6 citations
Robot2 · 6 citations
Formal specification1 · 6 citations
Context (archaeology)1 · 6 citations
Artificial intelligence2 · 6 citations
Debugging1 · 6 citations
Programming language1 · 6 citations
Formal methods1 · 6 citations
Formal verification1 · 6 citations
Robotics2 · 6 citations
Key Achievements
2
H-Index
3
Papers
12
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
FORMID : A Formal Specification And Verification Environment For DREAMS
6 citations · 2004
📈 Most Prolific Year: 2004 (1 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: European Space Research and Technology Centre, European Space Agency
Top Papers
- 1FORMID : A Formal Specification And Verification Environment For DREAMS6 citations · 2004
- 2A Robotics Task Scheduler - TAPAS4 citations · 2006
- 3Vision Based Control for Space Applications2 citations · 2008
Key Collaborators
Not generated yet