Martin Lange

Cited by

	All	Since 2016
Citations	1604	598
h-index	23	12
i10-index	42	16

140

105

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 6 9 18 11 25 51 81 66 70 102 105 81 111 119 116 124 102 113 130 126 3

Co-authors

Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Stephan KreutzerProfessor of Computer Science, Technical University BerlinVerified email at tu-berlin.de
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Stephan TobiesSynopsysVerified email at tobies.info
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityVerified email at udo.edu
Julian GutierrezMonash University LecturerVerified email at monash.edu
Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
Anders SøgaardFull Professor in NLP and Machine Learning, University of CopenhagenVerified email at di.ku.dk
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de

Martin Lange

Professor of Computer Science, University of Kassel

Verified email at uni-kassel.de - Homepage

Formal Methods Computational Logic Automata Theory Didactics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009	113	2009
Model checking propositional dynamic logic with all extras M Lange Journal of Applied Logic 4 (1), 39-49, 2006	99	2006
To CNF or not to CNF? An efficient yet presentable version of the CYK algorithm M Lange, H Leiß Informatica Didactica 8 (2009), 1-21, 2009	84	2009
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	75	2016
Cut-free sequent systems for temporal logic K Brünnler, M Lange The Journal of Logic and Algebraic Programming 76 (2), 216-225, 2008	61	2008
Focus games for satisfiability and completeness of temporal logic M Lange, C Stirling Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 357-365, 2001	61	2001
A proof system for the linear time μ-calculus C Dax, M Hofmann, M Lange International Conference on Foundations of Software Technology and …, 2006	59	2006
Analyzing context-free grammars using an incremental SAT solver R Axelsson, K Heljanko, M Lange International Colloquium on Automata, Languages, and Programming, 410-422, 2008	57	2008
When not losing is better than winning: Abstraction and refinement for the full μ-calculus O Grumberg, M Lange, M Leucker, S Shoham Information and Computation 205 (8), 1130-1148, 2007	44	2007
Don’t know in the μ-calculus O Grumberg, M Lange, M Leucker, S Shoham International Workshop on Verification, Model Checking, and Abstract …, 2005	39	2005
A decision procedure for CTL* based on tableaux and automata O Friedmann, M Latte, M Lange International Joint Conference on Automated Reasoning, 331-345, 2010	37	2010
The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009	37	2009
2-EXPTIME lower bounds for propositional dynamic logics with intersection M Lange, C Lutz Journal of Symbolic Logic 70 (4), 1072-1086, 2005	37	2005
A solver for modal fixpoint logics O Friedmann, M Lange Electronic Notes in Theoretical Computer Science 262, 99-111, 2010	35	2010
Model checking games for branching time logics M Lange, C Stirling Journal of Logic and Computation 12 (4), 623-639, 2002	34	2002
Bounded model checking for weak alternating büchi automata K Heljanko, T Junttila, M Keinänen, M Lange, T Latvala International Conference on Computer Aided Verification, 95-108, 2006	32	2006
Solving parity games by a reduction to SAT M Lange Proc. Int. Workshop on Games in Design and Verification, 2005	30	2005
Model checking fixed point logic with chop M Lange, C Stirling International Conference on Foundations of Software Science and Computation …, 2002	30	2002
Linear time logics around PSL: Complexity, expressiveness, and a little bit of succinctness M Lange International Conference on Concurrency Theory, 90-104, 2007	29	2007
CTL⁺ Is Complete for Double Exponential Time J Johannsen, M Lange International Colloquium on Automata, Languages, and Programming, 767-775, 2003	29	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors