Graph explorer

Martin Lange

Martin Lange contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMartin Lange
13 nodes12 links
Martin Lange13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin LangeResearcherWModel-Checking the High...preprint / 2012WModel-Checking Process ...preprint / 2012WThe Arity Hierarchy in ...preprint / 2015WProtein search for mult...preprint / 2015WReachability Is NP-Comp...preprint / 2021WExistential length univ...preprint / 2020WLocal Strategy Improvem...preprint / 2010WBuffered Simulation Gam...preprint / 2014WOn the Hybrid Extension...preprint / 2009WThe Complexity of Model...preprint / 2007WSatisfiability Games fo...preprint / 2013WThe μ-Calculus Alternat...preprint / 2012
PersonSignal 1012 links

Martin Lange

Researcher

Open