Yann Le Guyadec

Laboratoire de Recherche en Informatique

Papers

3

Total Citations

8

H-Index

2

About

No biography available yet.

Research Focus

Programming language3 · 8 citations
Computer science3 · 8 citations
Formal specification2 · 6 citations
Formal verification2 · 6 citations
Robot2 · 6 citations
Robotics2 · 6 citations
Artificial intelligence2 · 6 citations
Software engineering2 · 6 citations
Formal methods2 · 6 citations
Multi-agent system1 · 4 citations
Simple (philosophy)1 · 2 citations
Mathematics1 · 2 citations

Key Achievements

2
H-Index
3
Papers
8
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS - A Case Study
4 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Laboratoire de Recherche en Informatique

Top Papers

  1. 1
    FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS - A Case Study
    4 citations · 2009
  2. 2
    Using HoRoCoL to control robotics Atoms
    2 citations · 2006
  3. 3
    Formal requirement and architecture specifications of a multi-agent robotic system
    2 citations · 2015

Key Collaborators

FOFlávio Oquendo2 shared papersNANadeem Akhtar2 shared papersMDMichel Dubois1 shared papersCGC. Guegano1 shared papersDDDominique Duhaut1 shared papers
Not generated yet