论文数
14
总引用数
144
H-Index
8
关于
暂无简介。
研究焦点
Computer science14 · 144 次引用
Programming language13 · 142 次引用
Model checking10 · 128 次引用
Distributed computing11 · 117 次引用
Artificial intelligence8 · 86 次引用
Robot8 · 86 次引用
Software5 · 85 次引用
Formal verification8 · 79 次引用
Software engineering4 · 69 次引用
Formal methods6 · 67 次引用
Scalability6 · 52 次引用
Robotics3 · 46 次引用
主要成就
8
H 指数
14
论文
144
总引用数
10
篇均引用
🏆 最高被引论文
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 次引用 · 2016
📈 最高产年份: 2018 (3 论文)
🤝 主要合作者: 12
🏛 所属机构: Centre National de la Recherche Scientifique, Université Fédérale de Toulouse Midi-Pyrénées, Verimag, Laboratoire d'Analyse et d'Architecture des Systèmes
代表论文
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
主要合作者
FIFélix Ingrand6 篇合著论文PHPierre-Emmanuel Hladik3 篇合著论文AMAnthony Mallet3 篇合著论文SDSilvano Dal Zilio2 篇合著论文BBBernard Berthomieu2 篇合著论文AZAlexander Zuepke2 篇合著论文SLSimon Lacroix1 篇合著论文SBSaddek Bensalem1 篇合著论文JCJacques Combaz1 篇合著论文AIAnthony I. Mallet1 篇合著论文CRChristophe Reymann1 篇合著论文CSCristina Seceleanu1 篇合著论文
尚未生成