Mario Gleirscher
论文数
11
总引用数
199
H-Index
7
关于
暂无简介。
研究焦点
Computer science11 · 199 次引用
Engineering10 · 192 次引用
Systems engineering8 · 168 次引用
Software engineering7 · 153 次引用
Artificial intelligence8 · 113 次引用
Process (computing)3 · 100 次引用
Programming language6 · 87 次引用
Risk analysis (engineering)5 · 80 次引用
Robot5 · 75 次引用
Engineering management4 · 63 次引用
Modular design1 · 61 次引用
Scalability1 · 61 次引用
主要成就
7
H 指数
11
论文
199
总引用数
18
篇均引用
🏆 最高被引论文
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics
61 次引用 · 2021
📈 最高产年份: 2021 (4 论文)
🤝 主要合作者: 17
🏛 所属机构: University of Bremen, University of York
代表论文
- 1
- 2
- 3
- 4New Opportunities for Integrated Formal Methods24 次引用 · 2019
- 5
- 6Safety Controller Synthesis for Collaborative Robots14 次引用 · 2020
- 7
- 8
- 9
- 10
主要合作者
RCRadu Călinescu5 篇合著论文JLJames Law3 篇合著论文JPJan Peleška2 篇合著论文JWJim Woodcock2 篇合著论文BLBenjamin Lesage2 篇合著论文RARob Alexander2 篇合著论文JMJonathan M. Aitken2 篇合著论文JAJames A. Douthwaite2 篇合著论文SFSimon Foster2 篇合著论文NJNikita Johnson1 篇合著论文SLSven Linker1 篇合著论文PKPanayiotis Karachristou1 篇合著论文SKStefan Kugele1 篇合著论文YNYakoub Nemouchi1 篇合著论文CPColin Paterson1 篇合著论文JAJohn A. Clark1 篇合著论文RSRobert Sachtleben1 篇合著论文
尚未生成