Olivier Serre

From MaRDI portal
Person:456182

Available identifiers

zbMath Open serre.olivierWikidataQ102165243 ScholiaQ102165243MaRDI QIDQ456182

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58742952023-02-07Paper
Lower bounds for arithmetic circuits via the Hankel matrix2021-11-24Paper
Higher-order recursion schemes and their automata models2021-11-12Paper
How Good Is a Strategy in a Game with Nature?2020-09-11Paper
Pure Strategies in Imperfect Information Stochastic Games2018-10-26Paper
How Good Is a Strategy in a Game with Nature?2018-04-23Paper
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings2018-04-23Paper
Streaming Property Testing of Visibly Pushdown Languages *2018-03-02Paper
Two-way two-tape automata2017-10-13Paper
Erratum for “Randomization in Automata on Infinite Trees”2017-07-12Paper
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection2017-05-16Paper
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information2017-02-21Paper
Counting branches in trees using games2016-12-22Paper
Marking shortest paths on pushdown graphs does not preserve MSO decidability2016-07-07Paper
Randomization in Automata on Infinite Trees2015-09-17Paper
C-SHORe2015-03-30Paper
Pushdown module checking with imperfect information2013-06-06Paper
A Saturation Method for Collapsible Pushdown Systems2012-11-01Paper
Parity games on undirected graphs2012-10-23Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science2009-08-06Paper
Qualitative Concurrent Stochastic Games with Imperfect Information2009-07-14Paper
Note on winning positions on pushdown games with \(\omega\)-regular conditions2009-03-23Paper
Tree Pattern Rewriting Systems2008-11-20Paper
Regularity Problems for Visibly Pushdown Languages2008-03-19Paper
Propositional dynamic logic with recursive programs2007-08-23Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Games with winning conditions of high Borel complexity2006-03-20Paper
Automata, Languages and Programming2005-08-24Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
Vectorial languages and linear temporal logic2004-10-27Paper

Research outcomes over time

This page was built for person: Olivier Serre