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.

Philippe Schnoebelen
SearchCollections
Map detail
Philippe Schnoebelen13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPhilippe SchnoebelenAPhilippe SchnoebelenResearcherOn flat lossy channel machinesWOn flat lossy channel m...preprint / 2020Multiply-Recursive Upper Bounds with Higman's LemmaWMultiply-Recursive Uppe...preprint / 2011Toward a Compositional Theory of Leftist Grammars and TransformationsWToward a Compositional ...preprint / 2010Solving Stochastic Büchi Games on Infinite Arenas with a Finite AttractorWSolving Stochastic Büch...preprint / 2013The Power of Well-Structured SystemsWThe Power of Well-Struc...preprint / 2014Decidability in the logic of subsequences and supersequencesWDecidability in the log...preprint / 2015Generalized Post Embedding ProblemsWGeneralized Post Embedd...preprint / 2014Verifying nondeterministic probabilistic channel systems against $ω$-regular linear-time propertiesWVerifying nondeterminis...preprint / 2006On Reachability for Unidirectional Channel Systems Extended with Regular TestsWOn Reachability for Uni...preprint / 2015On the state complexity of closures and interiors of regular languages with subwords and superwordsWOn the state complexity...preprint / 2015The Power of Priority Channel SystemsWThe Power of Priority C...preprint / 2014On the index of Simon's congruence for piecewise testabilityWOn the index of Simon's...preprint / 2014
Person12 links

Philippe Schnoebelen

Researcher

PaperOn flat lossy channel machinesAuthorship / preprint / 2020PaperMultiply-Recursive Upper Bounds with Higman's LemmaAuthorship / preprint / 2011PaperToward a Compositional Theory of Leftist Grammars and TransformationsAuthorship / preprint / 2010PaperSolving Stochastic Büchi Games on Infinite Arenas with a Finite AttractorAuthorship / preprint / 2013PaperThe Power of Well-Structured SystemsAuthorship / preprint / 2014PaperDecidability in the logic of subsequences and supersequencesAuthorship / preprint / 2015PaperGeneralized Post Embedding ProblemsAuthorship / preprint / 2014PaperVerifying nondeterministic probabilistic channel systems against ωω-regular linear-time propertiesAuthorship / preprint / 2006

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)