Martin Lange

Cited by

	All	Since 2018
Citations	1854	622
h-index	24	12
i10-index	49	15

180

135

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 10 18 12 26 52 85 67 69 105 101 82 111 114 117 126 96 115 118 100 162 117 9

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

Oliver FriedmannUniversity of MunichVerified email at ifi.lmu.de
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
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
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Stephan KreutzerProfessor of Computer Science, Technical University BerlinVerified email at tu-berlin.de
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesVerified email at bfh.ch
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Stephan TobiesSynopsysVerified email at tobies.info
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Thomas SchwentickProfessor of Computer Science, TU Dortmund UniversityVerified email at udo.edu
Ahmet KaraUniversity of ZurichVerified email at ifi.uzh.ch
Julian GutierrezMonash University Senior 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
Narad RampersadUniversity of WinnipegVerified email at uwinnipeg.ca

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 Automated Technology for Verification and Analysis: 7th International …, 2009	128	2009
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	119	2016
Model checking propositional dynamic logic with all extras M Lange Journal of Applied Logic 4 (1), 39-49, 2006	108	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	91	2009
A Proof System for the Linear Time μ-Calculus C Dax, M Hofmann, M Lange FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	81	2006
Cut-free sequent systems for temporal logic K Brünnler, M Lange The Journal of Logic and Algebraic Programming 76 (2), 216-225, 2008	69	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	65	2001
Analyzing context-free grammars using an incremental SAT solver R Axelsson, K Heljanko, M Lange Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008	63	2008
The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009	47	2009
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	47	2007
Don’t Know in the μ-Calculus O Grumberg, M Lange, M Leucker, S Shoham Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	43	2005
A Decision Procedure for CTL^* Based on Tableaux and Automata O Friedmann, M Latte, M Lange Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010	39	2010
Bounded model checking for weak alternating büchi automata K Heljanko, T Junttila, M Keinänen, M Lange, T Latvala Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	37	2006
2-Exp Time lower bounds for propositional dynamic logics with intersection M Lange, C Lutz The 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	36	2010
Model checking games for branching time logics M Lange, C Stirling Journal of Logic and Computation 12 (4), 623-639, 2002	34	2002
On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015	32	2015
Model checking fixed point logic with chop M Lange, C Stirling Foundations of Software Science and Computation Structures: 5th …, 2002	32	2002
Solving parity games by a reduction to SAT M Lange Proc. Int. Workshop on Games in Design and Verification, 2005	31	2005
CTL⁺ Is Complete for Double Exponential Time J Johannsen, M Lange Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003	30	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

Follow

Cited by

Co-authors