Papers
2
Total Citations
4
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 4 citations
Programming language2 · 4 citations
Component (thermodynamics)1 · 2 citations
Distributed computing1 · 2 citations
Extension (predicate logic)1 · 2 citations
Formal verification1 · 2 citations
Layer (electronics)1 · 2 citations
Materials science1 · 2 citations
Middleware (distributed applications)1 · 2 citations
Nanotechnology1 · 2 citations
Quality (philosophy)1 · 2 citations
Robot1 · 2 citations
Key Achievements
2
H-Index
2
Papers
4
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Cross–layer Formal Verification of Robotic Systems
2 citations · 2024
📈 Most Prolific Year: 2024 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Université Fédérale de Toulouse Midi-Pyrénées, Office National d'Études et de Recherches Aérospatiales
Top Papers
- 1Cross–layer Formal Verification of Robotic Systems2 citations · 2024
- 2
Key Collaborators
Not generated yet