BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Martin Lange
SearchCollections
Map detail
Martin Lange13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin LangeAMartin LangeResearcherModel-Checking the Higher-Dimensional Modal mu-CalculusWModel-Checking the High...preprint / 2012Model-Checking Process EquivalencesWModel-Checking Process ...preprint / 2012The Arity Hierarchy in the Polyadic $μ$-CalculusWThe Arity Hierarchy in ...preprint / 2015Protein search for multiple targets on DNAWProtein search for mult...preprint / 2015Reachability Is NP-Complete Even for the Simplest Neural NetworksWReachability Is NP-Comp...preprint / 2021Existential length universalityWExistential length univ...preprint / 2020Local Strategy Improvement for Parity Game SolvingWLocal Strategy Improvem...preprint / 2010Buffered Simulation Games for Büchi AutomataWBuffered Simulation Gam...preprint / 2014On the Hybrid Extension of CTL and CTL+WOn the Hybrid Extension...preprint / 2009The Complexity of Model Checking Higher-Order Fixpoint LogicWThe Complexity of Model...preprint / 2007Satisfiability Games for Branching-Time LogicsWSatisfiability Games fo...preprint / 2013The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted ConnectivityWThe μ-Calculus Alternat...preprint / 2012
Person12 links

Martin Lange

Researcher

PaperModel-Checking the Higher-Dimensional Modal mu-CalculusAuthorship / preprint / 2012PaperModel-Checking Process EquivalencesAuthorship / preprint / 2012PaperThe Arity Hierarchy in the Polyadic μμ-CalculusAuthorship / preprint / 2015PaperProtein search for multiple targets on DNAAuthorship / preprint / 2015PaperReachability Is NP-Complete Even for the Simplest Neural NetworksAuthorship / preprint / 2021PaperExistential length universalityAuthorship / preprint / 2020PaperLocal Strategy Improvement for Parity Game SolvingAuthorship / preprint / 2010PaperBuffered Simulation Games for Büchi AutomataAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)