Xavier Urbain
École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, Laboratoire de Recherche en Informatique, Université Paris-Saclay, Université Claude Bernard Lyon 1, Université Paris-Sud, Laboratoire d'Informatique en Images et Systèmes d'Information, Centre National de la Recherche Scientifique, Centre d'Etudes et De Recherche en Informatique et Communications
论文数
16
总引用数
195
H-Index
7
关于
暂无简介。
研究焦点
Computer science16 · 195 次引用
Robot14 · 183 次引用
Artificial intelligence14 · 183 次引用
Certification12 · 169 次引用
Mathematics8 · 167 次引用
Mathematical proof8 · 157 次引用
Proof assistant7 · 156 次引用
Theoretical computer science9 · 150 次引用
Mobile robot12 · 118 次引用
Correctness7 · 113 次引用
Distributed computing8 · 105 次引用
Impossibility5 · 104 次引用
主要成就
7
H 指数
16
论文
195
总引用数
12
篇均引用
🏆 最高被引论文
Impossibility of gathering, a certification
46 次引用 · 2014
📈 最高产年份: 2016 (3 论文)
🤝 主要合作者: 16
🏛 所属机构: École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, Laboratoire de Recherche en Informatique, Université Paris-Saclay, Université Claude Bernard Lyon 1, Université Paris-Sud, Laboratoire d'Informatique en Images et Systèmes d'Information
代表论文
- 1Impossibility of gathering, a certification46 次引用 · 2014
- 2
- 3
- 4
- 5
- 6
- 7Formal Methods for Mobile Robots7 次引用 · 2019
- 8
- 9
- 10
主要合作者
STSébastien Tixeuil16 篇合著论文PCPierre Courtieu13 篇合著论文LRLionel Rieg12 篇合著论文TBThibaut Balabonski6 篇合著论文NSNathalie Sznajder2 篇合著论文RPRobin Pelle2 篇合著论文MPMaria Potop-Butucaru2 篇合著论文CACédric Auger2 篇合著论文ADAmélie Delga2 篇合著论文ZBZohir Bouzid2 篇合著论文QBQuentin Bramas1 篇合著论文LMLaure Millet1 篇合著论文FBFrançois Bonnet1 篇合著论文BBBéatrice Bérard1 篇合著论文XDXavier Défago1 篇合著论文LRLionel Rieg1 篇合著论文
尚未生成