Papers
1
Total Citations
15
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 15 citations
Computer science1 · 15 citations
Computer security1 · 15 citations
Control engineering1 · 15 citations
Engineering1 · 15 citations
Event (particle physics)1 · 15 citations
Formal methods1 · 15 citations
Formal verification1 · 15 citations
Human–computer interaction1 · 15 citations
Key (lock)1 · 15 citations
Point (geometry)1 · 15 citations
Programming language1 · 15 citations
Key Achievements
1
H-Index
1
Papers
15
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
Specification, formal verification and implementation of tasks and missions for an autonomous vehicle
15 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Institut national de recherche en sciences et technologies du numérique
Top Papers
- 1
Key Collaborators
Not generated yet