Christoph Hertzberg
University of Bremen, German Research Centre for Artificial Intelligence
论文数
4
总引用数
53
H-Index
3
关于
暂无简介。
研究焦点
Computer science4 · 53 次引用
Artificial intelligence4 · 53 次引用
Robot4 · 53 次引用
Robotics2 · 47 次引用
Programming language2 · 47 次引用
Function (biology)1 · 42 次引用
Certification1 · 42 次引用
Functional safety1 · 42 次引用
Automated theorem proving1 · 42 次引用
Computer security1 · 42 次引用
Context (archaeology)1 · 42 次引用
Formal methods1 · 42 次引用
主要成就
3
H 指数
4
论文
53
总引用数
13
篇均引用
🏆 最高被引论文
Guaranteeing functional safety: design for provability and computer-aided verification
42 次引用 · 2011
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 10
🏛 所属机构: University of Bremen, German Research Centre for Artificial Intelligence
代表论文
- 1
- 2
- 3
- 4
主要合作者
尚未生成