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.

Michael Luttenberger
SearchCollections
Map detail
Michael Luttenberger10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael LuttenbergerAMichael LuttenbergerResearcherPractical Synthesis of Reactive Systems from LTL Specifications via Parity GamesWPractical Synthesis of ...preprint / 2019Strategy Iteration using Non-Deterministic Strategies for Solving Parity GamesWStrategy Iteration usin...preprint / 2012An Extension of Parikh's Theorem beyond IdempotenceWAn Extension of Parikh'...preprint / 2013Equivalence of Linear Tree Transducers with Output in the Free GroupWEquivalence of Linear T...preprint / 2020On the Balancedness of Tree-to-word TransducersWOn the Balancedness of ...preprint / 2020Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational ComplexityWFinite Automata for the...preprint / 2014Computing the Least Fixed Point of Positive Polynomial SystemsWComputing the Least Fix...preprint / 2010Space-efficient scheduling of stochastically generated tasksWSpace-efficient schedul...preprint / 2010Parikh's Theorem: A simple and direct automaton constructionWParikh's Theorem: A sim...preprint / 2011
Person9 links

Michael Luttenberger

Researcher

PaperPractical Synthesis of Reactive Systems from LTL Specifications via Parity GamesAuthorship / preprint / 2019PaperStrategy Iteration using Non-Deterministic Strategies for Solving Parity GamesAuthorship / preprint / 2012PaperAn Extension of Parikh's Theorem beyond IdempotenceAuthorship / preprint / 2013PaperEquivalence of Linear Tree Transducers with Output in the Free GroupAuthorship / preprint / 2020PaperOn the Balancedness of Tree-to-word TransducersAuthorship / preprint / 2020PaperFinite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational ComplexityAuthorship / preprint / 2014PaperComputing the Least Fixed Point of Positive Polynomial SystemsAuthorship / preprint / 2010PaperSpace-efficient scheduling of stochastically generated tasksAuthorship / preprint / 2010

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)