Ben Lukoschus

Christian-Albrechts-Universität zu Kiel

Papers

1

Total Citations

4

H-Index

1

About

No biography available yet.

Research Focus

Automata theory1 · 4 citations
Automaton1 · 4 citations
Computer science1 · 4 citations
Distributed computing1 · 4 citations
Event (particle physics)1 · 4 citations
Mathematics1 · 4 citations
Model checking1 · 4 citations
Programming language1 · 4 citations
Rotation formalisms in three dimensions1 · 4 citations
Theoretical computer science1 · 4 citations
Timed automaton1 · 4 citations

Key Achievements

1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Integrating timed condition/event systems and timed automata for the verification of hybrid systems
4 citations · 2001
📈 Most Prolific Year: 2001 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Christian-Albrechts-Universität zu Kiel

Top Papers

  1. 1
    Integrating timed condition/event systems and timed automata for the verification of hybrid systems
    4 citations · 2001

Key Collaborators

RHRalf Huuck1 shared papersLULuis Urbina1 shared papersYLYassine Lakhnech1 shared papersSKStefan Kowalewski1 shared papersJPJörg Preußig1 shared papersSESebastian Engell1 shared papers
Not generated yet