Concepedia

Martin Lange

ML

25

Publications

645

Citations

15

H-Index

2002

Active since

Affiliations

University of Kassel(Current)

Ludwig-Maximilians-Universität München

Munich University of Applied Sciences

Aarhus University

Martin Lange is an author at University of Kassel specializing in automated reasoning, engineering, and formal methods.

Top concepts

Formal MethodsAutomated ReasoningEngineeringComputer ScienceFormal VerificationVerificationGamesSatisfiabilityComputational ComplexityGame Theory

Publications per year

2002–2019

25

Publications

25

Temporal Logics in Computer Science

Stéphane Demri, Valentin Goranko, Martin Lange · Cambridge University Press eBooks · 2016 · 92 citations

Logical Automaton, Engineering, Formal Modeling +14

Model checking propositional dynamic logic with all extras

Martin Lange · Journal of Applied Logic · 2005 · 79 citations

Engineering, Automated Reasoning, Propositional Logic +7

Focus games for satisfiability and completeness of temporal logic

Martin Lange, Colin Stirling · 2002 · 47 citations

Logical Automaton, Engineering, Automated Reasoning +15

Cut-free sequent systems for temporal logic

Kai Brünnler, Martin Lange · The Journal of Logic and Algebraic Programming · 2008 · 44 citations

Non-classical Logic, Cut-free Sequent Systems, Engineering +5

When not losing is better than winning: Abstraction and refinement for the full μ-calculus

Orna Grümberg, Martin Lange, Martin Leucker et al. · Information and Computation · 2007 · 43 citations

Reasoning, Cognitive Science, Automated Reasoning +6

Rows per page

1–5 of 25