Bernard Berthomieu
Papers
2
Total Citations
58
H-Index
2
About
No biography available yet.
Research Focus
Programming language2 · 58 citations
Model checking2 · 58 citations
Computer science2 · 58 citations
Software engineering2 · 58 citations
Distributed computing2 · 58 citations
Software2 · 58 citations
Translation (biology)1 · 31 citations
Autonomous robot1 · 31 citations
Layer (electronics)1 · 31 citations
Middleware (distributed applications)1 · 31 citations
Mobile robot1 · 31 citations
Robot1 · 31 citations
Key Achievements
2
H-Index
2
Papers
58
Total Citations
29
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Centre National de la Recherche Scientifique
Top Papers
- 1
- 2
Key Collaborators
Not generated yet