Yann Thierry-Mieg
Papers
2
Total Citations
40
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 40 citations
Asynchronous communication2 · 40 citations
Formal methods2 · 40 citations
Mathematical proof2 · 40 citations
Mobile robot2 · 40 citations
Model checking2 · 40 citations
Programming language2 · 40 citations
Protocol (science)2 · 40 citations
Robot2 · 40 citations
Computer network2 · 40 citations
Computer science2 · 40 citations
Correctness2 · 40 citations
Key Achievements
2
H-Index
2
Papers
40
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of mobile robot protocols
38 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Centre National de la Recherche Scientifique
Top Papers
- 1Formal verification of mobile robot protocols38 citations · 2016
- 2Vérification formelle et robots mobiles2 citations · 2013
Key Collaborators
Not generated yet