Lisa Kiekbusch

University of Kaiserslautern

Papers

5

Total Citations

39

H-Index

5

About

No biography available yet.

Research Focus

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

Key Achievements

5
H-Index
5
Papers
39
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of behaviour networks including sensor failures
11 citations · 2015
📈 Most Prolific Year: 2015 (3 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Kaiserslautern

Top Papers

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

Key Collaborators

KBKarsten Berns5 shared papersCAChristopher Armbrust5 shared papersTRThorsten Ropertz2 shared papers
Not generated yet