Lisa Kiekbusch

University of Kaiserslautern

论文数

5

总引用数

39

H-Index

5

关于

暂无简介。

研究焦点

Computer science5 · 39 次引用
Programming language3 · 25 次引用
Formal verification2 · 18 次引用
Artificial intelligence2 · 14 次引用
Computer network1 · 11 次引用
Wireless sensor network1 · 11 次引用
Finite-state machine1 · 7 次引用
Computer security1 · 7 次引用
Embedded system1 · 7 次引用
Distributed computing1 · 7 次引用
Control (management)1 · 7 次引用
Computer vision1 · 7 次引用

主要成就

5
H 指数
5
论文
39
总引用数
8
篇均引用
🏆 最高被引论文
Formal verification of behaviour networks including sensor failures
11 次引用 · 2015
📈 最高产年份: 2015 (3 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Kaiserslautern

代表论文

  1. 1
    Formal verification of behaviour networks including sensor failures
    11 次引用 · 2015
  2. 2
    Verification of Behaviour Networks Using Finite-State Automata
    7 次引用 · 2012
  3. 3
    USING BEHAVIOUR ACTIVITY SEQUENCES FOR MOTION GENERATION AND SITUATION RECOGNITION
    7 次引用 · 2011
  4. 4
    Soft Robot Control with a Behaviour-Based Architecture
    7 次引用 · 2015
  5. 5
    Formal Verification of Behaviour Networks Including Hardware Failures
    7 次引用 · 2015

主要合作者

KBKarsten Berns5 篇合著论文CAChristopher Armbrust5 篇合著论文TRThorsten Ropertz2 篇合著论文

联系与链接

可合作
内容已生成 · 17 天前