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.

Laure Daviaud
SearchCollections
Map detail
Laure Daviaud7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLaure DaviaudALaure DaviaudResearcherThe Strahler number of a parity gameWThe Strahler number of ...preprint / 2020Identities in Upper Triangular Tropical Matrix Semigroups and the Bicyclic MonoidWIdentities in Upper Tri...preprint / 2020When is Containment Decidable for Probabilistic Automata?WWhen is Containment Dec...preprint / 2020Alternating Weak Automata from Universal TreesWAlternating Weak Automa...preprint / 2019A pseudo-quasi-polynomial algorithm for solving mean-payoff parity gamesWA pseudo-quasi-polynomi...preprint / 2018Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity gamesWUniversal trees grow in...preprint / 2018
Person6 links

Laure Daviaud

Researcher

PaperThe Strahler number of a parity gameAuthorship / preprint / 2020PaperIdentities in Upper Triangular Tropical Matrix Semigroups and the Bicyclic MonoidAuthorship / preprint / 2020PaperWhen is Containment Decidable for Probabilistic Automata?Authorship / preprint / 2020PaperAlternating Weak Automata from Universal TreesAuthorship / preprint / 2019PaperA pseudo-quasi-polynomial algorithm for solving mean-payoff parity gamesAuthorship / preprint / 2018PaperUniversal trees grow inside separating automata: Quasi-polynomial lower bounds for parity gamesAuthorship / preprint / 2018

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)