论文数
8
总引用数
69
H-Index
5
关于
暂无简介。
研究焦点
Computer science8 · 69 次引用
Distributed computing6 · 57 次引用
Programming language4 · 56 次引用
Component (thermodynamics)4 · 56 次引用
Deadlock4 · 52 次引用
Artificial intelligence5 · 46 次引用
Robot4 · 45 次引用
Embedded system3 · 34 次引用
Software3 · 34 次引用
Process (computing)2 · 29 次引用
Control engineering3 · 28 次引用
Engineering3 · 28 次引用
主要成就
5
H 指数
8
论文
69
总引用数
9
篇均引用
🏆 最高被引论文
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
20 次引用 · 2011
📈 最高产年份: 2011 (3 论文)
🤝 主要合作者: 23
🏛 所属机构: Verimag, State Key Laboratory of Computer Science, Centre National de la Recherche Scientifique, Chinese Academy of Sciences, Institute of Software
代表论文
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
主要合作者
SBSaddek Bensalem6 篇合著论文LDLavindra de Silva4 篇合著论文FIFélix Ingrand3 篇合著论文ALAxel Legay2 篇合著论文JLJiewu Leng1 篇合著论文KHKai Huang1 篇合著论文MBMarius Bozga1 篇合著论文JLJun Lin1 篇合著论文YLYejing Li1 篇合著论文RARachid Alami1 篇合著论文AGAndreas Griesmayer1 篇合著论文GZGuangquan Zhang1 篇合著论文TNThanh-Hung Nguyen1 篇合著论文CXChengkai Xu1 篇合著论文HRHarald Rueß1 篇合著论文MZMingtai Zhang1 篇合著论文RSRihui Song1 篇合著论文MCMingcai Chen1 篇合著论文JSJoseph Sifakis1 篇合著论文LLLan Liu1 篇合著论文
尚未生成