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.

Christof Löding
SearchCollections
Map detail
Christof Löding9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristof LödingAChristof LödingResearcherAmbiguity, Weakness, and Regularity in Probabilistic Büchi AutomataWAmbiguity, Weakness, an...preprint / 2020New Optimizations and Heuristics for Determinization of Büchi AutomataWNew Optimizations and H...preprint / 2019Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-SchuppWDeterminization of Büch...preprint / 2019Decision Problems for Deterministic Pushdown Automata on Infinite WordsWDecision Problems for D...preprint / 2014Abstract Learning Frameworks for SynthesisWAbstract Learning Frame...preprint / 2016Synthesis from Weighted Specifications with Partial Domains over Finite WordsWSynthesis from Weighted...preprint / 2021Modeling and Verification of Infinite Systems with ResourcesWModeling and Verificati...preprint / 2013On Equivalence and Uniformisation Problems for Finite TransducersWOn Equivalence and Unif...preprint / 2016
Person8 links

Christof Löding

Researcher

PaperAmbiguity, Weakness, and Regularity in Probabilistic Büchi AutomataAuthorship / preprint / 2020PaperNew Optimizations and Heuristics for Determinization of Büchi AutomataAuthorship / preprint / 2019PaperDeterminization of Büchi Automata: Unifying the Approaches of Safra and Muller-SchuppAuthorship / preprint / 2019PaperDecision Problems for Deterministic Pushdown Automata on Infinite WordsAuthorship / preprint / 2014PaperAbstract Learning Frameworks for SynthesisAuthorship / preprint / 2016PaperSynthesis from Weighted Specifications with Partial Domains over Finite WordsAuthorship / preprint / 2021PaperModeling and Verification of Infinite Systems with ResourcesAuthorship / preprint / 2013PaperOn Equivalence and Uniformisation Problems for Finite TransducersAuthorship / preprint / 2016

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)