Publications (19)
On the Hybrid Extension of CTL and CTL+
Ahmet Kara, Martin Lange, Thomas Schwentick +1
Protein search for multiple targets on DNA
Martin Lange, Maria Kochugaeva, Anatoly B. Kolomeisky
Satisfiability Games for Branching-Time Logics
Oliver Friedmann, Martin Lange, Markus Latte
Local Strategy Improvement for Parity Game Solving
Oliver Friedmann, Martin Lange
On Guarded Transformation In The Modal Mu-Calculus
Florian Bruse, Oliver Friedmann, Martin Lange
Model-Checking the Higher-Dimensional Modal mu-Calculus
Martin Lange, Etienne Lozes
Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer +2
Two-Buffer Simulation Games
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske +2
Buffered Simulation Games for Büchi Automata
Milka Hutagalung, Martin Lange, Etienne Lozes
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
Arno Ehle, Norbert Hundeshagen, Martin Lange
The Arity Hierarchy in the Polyadic $μ$-Calculus
Martin Lange
Model-Checking Process Equivalences
Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
The Complexity of Model Checking Higher-Order Fixpoint Logic
Roland Axelsson, Martin Lange, Rafal Somla
Room-temperature condensation in whispering gallery microresonators assisted by longitudinal optical phonons
Christof P. Dietrich, Rüdiger Schmidt-Grund, Tom Michalsky +2
Multi-Buffer Simulations for Trace Language Inclusion
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske +2
A Canonical Model Construction for Iteration-Free PDL with Intersection
Florian Bruse, Daniel Kernberger, Martin Lange
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
Arno Ehle, Norbert Hundeshagen, Martin Lange
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Julian Gutierrez, Felix Klaedtke, Martin Lange
The Fixpoint-Iteration Algorithm for Parity Games
Florian Bruse, Michael Falk, Martin Lange