Julian Gebker

University of Münster

Papers

1

Total Citations

7

H-Index

1

About

No biography available yet.

Research Focus

Automaton1 · 7 citations
Computer science1 · 7 citations
Concurrency1 · 7 citations
Correctness1 · 7 citations
Distributed computing1 · 7 citations
Embedded system1 · 7 citations
Formal methods1 · 7 citations
Formal specification1 · 7 citations
Formal verification1 · 7 citations
Model checking1 · 7 citations
Operating system1 · 7 citations
Programming language1 · 7 citations

Key Achievements

1
H-Index
1
Papers
7
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Reusable formal models for concurrency and communication in custom real-time operating systems
7 citations · 2024
📈 Most Prolific Year: 2024 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Münster

Top Papers

  1. 1
    Reusable formal models for concurrency and communication in custom real-time operating systems
    7 citations · 2024

Key Collaborators

JAJulius Adelt1 shared papersPHPaula Herber1 shared papers
Not generated yet