Graph explorer

Research map

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

Olivier Serre
Map detail
Olivier Serre6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOlivier SerreAOlivier SerreResearcherQualitative Concurrent Stochastic Games with Imperfect InformationWQualitative Concurrent ...preprint / 2011Reasoning about strategies on collapsible pushdown arenas with imperfect informationWReasoning about strateg...preprint / 2020Counting Branches in Trees Using GamesWCounting Branches in Tr...preprint / 2015Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical PropertiesWHigher-Order Recursion ...preprint / 2021Streaming Property Testing of Visibly Pushdown LanguagesWStreaming Property Test...preprint / 2015
Person5 links

Olivier Serre

Researcher