Yann Le Guyadec

Laboratoire de Recherche en Informatique

论文数

3

总引用数

8

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
3
论文
8
总引用数
3
篇均引用
🏆 最高被引论文
FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS - A Case Study
4 次引用 · 2009
📈 最高产年份: 2009 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Laboratoire de Recherche en Informatique

代表论文

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

主要合作者

FOFlávio Oquendo2 篇合著论文NANadeem Akhtar2 篇合著论文MDMichel Dubois1 篇合著论文CGC. Guegano1 篇合著论文DDDominique Duhaut1 篇合著论文
尚未生成