Karsten Diethers

Technische Universität Braunschweig, Capgemini (Netherlands)

论文数

3

总引用数

40

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 40 次引用
Artificial intelligence2 · 35 次引用
Programming language2 · 35 次引用
Object (grammar)1 · 28 次引用
Computer graphics (images)1 · 28 次引用
Operating system2 · 12 次引用
Engineering2 · 12 次引用
Mobile robot1 · 7 次引用
Interface (matter)1 · 7 次引用
Notation1 · 7 次引用
Human–computer interaction1 · 7 次引用
Robot1 · 7 次引用

主要成就

3
H 指数
3
论文
40
总引用数
13
篇均引用
🏆 最高被引论文
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
28 次引用 · 2004
📈 最高产年份: 2004 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: Technische Universität Braunschweig, Capgemini (Netherlands)

代表论文

  1. 1
    Vooduu: Verification of Object-Oriented Designs Using UPPAAL
    28 次引用 · 2004
  2. 2
    A new framework for task oriented sensor based robot programming and verification
    7 次引用 · 2003
  3. 3
    Model Based Quality Assurance for a Robotic Software Architecture
    5 次引用 · 2010

主要合作者

UTUlrike Thomas1 篇合著论文MHMichaela Huhn1 篇合著论文MHMatthias Hagner1 篇合著论文TFThomas Firley1 篇合著论文TKTorsten Kröger1 篇合著论文JSJens Steiner1 篇合著论文UGUrsula Goltz1 篇合著论文
尚未生成