Martin Lange

Citata da

	Tutte	Dal 2020
Citazioni	2144	677
Indice H	24	12
i10-index	55	17

160

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 9 19 11 25 52 81 65 72 106 94 85 105 114 114 130 99 115 123 105 149 106 149 143 21

Accesso pubblico

Visualizza tutto

10 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Oliver FriedmannUniversity of MunichEmail verificata su ifi.lmu.de
Florian BruseUniversity of KasselEmail verificata su uni-kassel.de
Etienne LozesUniversité Côte d'AzurEmail verificata su univ-cotedazur.fr
Martin LeuckerProfessor of Computer Science, University of LübeckEmail verificata su isp.uni-luebeck.de
Marco SälzerUniversity of KasselEmail verificata su uni-kassel.de
Felix KlaedtkeNEC Labs EuropeEmail verificata su neclab.eu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail verificata su helsinki.fi
Orna GrumbergProfessor of Computer Science, TechnionEmail verificata su cs.technion.ac.il
Sharon ShohamTel Aviv UniversityEmail verificata su tauex.tau.ac.il
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Email verificata su lmf.cnrs.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityEmail verificata su philosophy.su.se
Jan JohannsenInstitut für Informatik, LMU MünchenEmail verificata su ifi.lmu.de
Stephan KreutzerProfessor of Computer Science, Technical University BerlinEmail verificata su tu-berlin.de
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesEmail verificata su bfh.ch
Carsten LutzProfessor of Computer Science, University of LeipzigEmail verificata su informatik.uni-leipzig.de
Stephan TobiesSynopsysEmail verificata su tobies.info
Tommi JunttilaAalto UniversityEmail verificata su aalto.fi
Eric AlsmannUniversity of KasselEmail verificata su uni-kassel.de
Matthew HagueRoyal Holloway, University of LondonEmail verificata su cs.rhul.ac.uk
Thomas NollRWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de

Segui

Martin Lange

Professor of Computer Science, University of Kassel

Email verificata su uni-kassel.de - Home page

Formal Methods Computational Logic Automata Theory Educational Technologies


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	179	2016
Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009	143	2009
Model checking propositional dynamic logic with all extras M Lange Journal of Applied Logic 4 (1), 39-49, 2006	109	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	104	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	103	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	77	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	69	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	67	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	61	2007
The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009	52	2009
Don’t Know in the μ-Calculus O Grumberg, M Lange, M Leucker, S Shoham Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	50	2005
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	45	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
A solver for modal fixpoint logics O Friedmann, M Lange Electronic Notes in Theoretical Computer Science 262, 99-111, 2010	38	2010
On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015	36	2015
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	35	2006
Model checking games for branching time logics M Lange, C Stirling Journal of Logic and Computation 12 (4), 623-639, 2002	35	2002
Solving parity games by a reduction to SAT M Lange Proc. Int. Workshop on Games in Design and Verification, 2005	31	2005
Model checking fixed point logic with chop M Lange, C Stirling Foundations of Software Science and Computation Structures: 5th …, 2002	31	2002
The complexity of model checking higher-order fixpoint logic R Axelsson, M Lange, R Somla Logical Methods in Computer Science 3, 2007	29	2007

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori