Danielle Wallis
论文数
1
总引用数
4
H-Index
1
关于
暂无简介。
研究焦点
主要成就
1
H 指数
1
论文
4
总引用数
4
篇均引用
🏆 最高被引论文
Towards a Verifiable Toolchain for Robotics
4 次引用 · 2024
📈 最高产年份: 2024 (1 论文)
🤝 主要合作者: 18
代表论文
- 1Towards a Verifiable Toolchain for Robotics4 次引用 · 2024
主要合作者
SBStefano Bernagozzi1 篇合著论文CHChristian Henkel1 篇合著论文LNLorenzo Natale1 篇合著论文MKMichaela Klauck1 篇合著论文MRMarco Randazzo1 篇合著论文SRStefano Rosa1 篇合著论文YWYazz Warsame1 篇合著论文RARazane Azrou1 篇合著论文MMMasoumeh Mansouri1 篇合著论文MMMatteo Morelli1 篇合著论文CSCharlie Street1 篇合著论文GCG. Chen1 篇合著论文EGEnrico Ghiorzi1 篇合著论文RLRaphaël Lallement1 篇合著论文RLRalph Lange1 篇合著论文MLMarco Lampacrescia1 篇合著论文MPMatteo Palmas1 篇合著论文ATArmando Tacchella1 篇合著论文
尚未生成