Model Checking for the Full Hybrid Computation Tree Logic. - Daniel Kernberger; Martin Lange (TIME, 2016)

A Canonical Model Construction for Iteration-Free PDL with Intersection. - Florian Bruse; Daniel Kernberger; Martin Lange (GandALF, 2016)

The Fully Hybrid mu-Calculus. - Daniel Kernberger; Martin Lange (TIME, 2017)

Hybrid Branching-Time Logics. - Daniel Kernberger (2019)

Model checking for hybrid branching-time logics. - Daniel Kernberger; Martin Lange (J. Log. Algebraic Methods Program., 2020)

On the expressive power of hybrid branching-time logics. - Daniel Kernberger; Martin Lange (Theor. Comput. Sci., 2020)