Martin Lange

Navedeno

	Vse	Od leta 2019
Navedbe	2119	771
indeks h	24	14
indeks i10	54	19

160

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 9 19 11 25 52 81 65 72 106 93 86 105 114 114 130 99 114 123 105 149 106 145 139

Javni dostop

Prikaži vse

10 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Oliver FriedmannUniversity of MunichPreverjeni e-poštni naslov na ifi.lmu.de
Florian BruseUniversity of KasselPreverjeni e-poštni naslov na uni-kassel.de
Etienne LozesUniversité Côte d'AzurPreverjeni e-poštni naslov na univ-cotedazur.fr
Martin LeuckerProfessor of Computer Science, University of LübeckPreverjeni e-poštni naslov na isp.uni-luebeck.de
Marco SälzerUniversity of KasselPreverjeni e-poštni naslov na uni-kassel.de
Felix KlaedtkeNEC Labs EuropePreverjeni e-poštni naslov na neclab.eu
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiPreverjeni e-poštni naslov na helsinki.fi
Orna GrumbergProfessor of Computer Science, TechnionPreverjeni e-poštni naslov na cs.technion.ac.il
Sharon ShohamTel Aviv UniversityPreverjeni e-poštni naslov na tauex.tau.ac.il
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Preverjeni e-poštni naslov na lmf.cnrs.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityPreverjeni e-poštni naslov na philosophy.su.se
Jan JohannsenInstitut für Informatik, LMU MünchenPreverjeni e-poštni naslov na ifi.lmu.de
Stephan KreutzerProfessor of Computer Science, Technical University BerlinPreverjeni e-poštni naslov na tu-berlin.de
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesPreverjeni e-poštni naslov na bfh.ch
Stephan TobiesSynopsysPreverjeni e-poštni naslov na tobies.info
Carsten LutzProfessor of Computer Science, University of LeipzigPreverjeni e-poštni naslov na informatik.uni-leipzig.de
Tommi JunttilaAalto UniversityPreverjeni e-poštni naslov na aalto.fi
Eric AlsmannUniversity of KasselPreverjeni e-poštni naslov na uni-kassel.de
Matthew HagueRoyal Holloway, University of LondonPreverjeni e-poštni naslov na cs.rhul.ac.uk
Thomas NollRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de

Spremljaj

Martin Lange

Professor of Computer Science, University of Kassel

Preverjeni e-poštni naslov na uni-kassel.de - Domača stran

Formal Methods Computational Logic Automata Theory Educational Technologies


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Temporal logics in computer science: finite-state systems S Demri, V Goranko, M Lange Cambridge University Press, 2016	174	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	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	103	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	100	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	76	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	60	2007
The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009	51	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	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	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
CTL⁺ Is Complete for Double Exponential Time J Johannsen, M Lange Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003	29	2003

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji