Daniel Kernberger

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Expressive Power

Transitive Closure

Relational Algebra

Top Venues

J. Log. Algebraic Methods Program.

Theor. Comput. Sci.

University of Kassel, Germany (PHD)

Education History

University of Kassel, Germany

PHD

Publications

Daniel Kernberger, Martin Lange
On the expressive power of hybrid branching-time logics. Theor. Comput. Sci. 813 (2020)
Daniel Kernberger, Martin Lange
Model checking for hybrid branching-time logics. J. Log. Algebraic Methods Program. 110 (2020)
Daniel Kernberger, Martin Lange
On the Expressive Power of Hybrid Branching-Time Logics. TIME (2018)
Daniel Kernberger, Martin Lange
The Fully Hybrid mu-Calculus. TIME (2017)
Daniel Kernberger, Martin Lange
Model Checking for the Full Hybrid Computation Tree Logic. TIME (2016)
Florian Bruse, Daniel Kernberger, Martin Lange
A Canonical Model Construction for Iteration-Free PDL with Intersection. GandALF (2016)