Martin Lange

Cited by

	All	Since 2018
Citations	1984	746
h-index	24	13
i10-index	51	19

160

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220236 6 9 19 11 25 52 86 65 70 106 98 86 106 111 117 132 97 113 123 102 154 117 136

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
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
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
Narad RampersadUniversity of WinnipegVerified email at uwinnipeg.ca
Marek SzykułaUniversity of WrocławVerified email at cs.uni.wroc.pl

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
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	151	2016
Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009	135	2009
Model checking propositional dynamic logic with all extras M Lange Journal of Applied Logic 4 (1), 39-49, 2006	107	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	96	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	89	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	72	2008
Analyzing context-free grammars using an incremental SAT solver R Axelsson, K Heljanko, M Lange Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008	66	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
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	52	2007
The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009	49	2009
Don’t Know in the μ-Calculus O Grumberg, M Lange, M Leucker, S Shoham Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	46	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	40	2010
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	38	2005
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	37	2006
Model checking games for branching time logics M Lange, C Stirling Journal of Logic and Computation 12 (4), 623-639, 2002	37	2002
A solver for modal fixpoint logics O Friedmann, M Lange Electronic Notes in Theoretical Computer Science 262, 99-111, 2010	36	2010
On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015	33	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
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

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