Olivier Serre

Available identifiers

zbMath Open serre.olivierWikidataQ102165243 ScholiaQ102165243MaRDI QIDQ456182

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5874295	2023-02-07	Paper
Lower bounds for arithmetic circuits via the Hankel matrix	2021-11-24	Paper
Higher-order recursion schemes and their automata models	2021-11-12	Paper
How Good Is a Strategy in a Game with Nature?	2020-09-11	Paper
Pure Strategies in Imperfect Information Stochastic Games	2018-10-26	Paper
How Good Is a Strategy in a Game with Nature?	2018-04-23	Paper
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings	2018-04-23	Paper
Streaming Property Testing of Visibly Pushdown Languages *	2018-03-02	Paper
Two-way two-tape automata	2017-10-13	Paper
Erratum for “Randomization in Automata on Infinite Trees”	2017-07-12	Paper
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection	2017-05-16	Paper
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information	2017-02-21	Paper
Counting branches in trees using games	2016-12-22	Paper
Marking shortest paths on pushdown graphs does not preserve MSO decidability	2016-07-07	Paper
Randomization in Automata on Infinite Trees	2015-09-17	Paper
C-SHORe	2015-03-30	Paper
Pushdown module checking with imperfect information	2013-06-06	Paper
A Saturation Method for Collapsible Pushdown Systems	2012-11-01	Paper
Parity games on undirected graphs	2012-10-23	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
Qualitative Concurrent Stochastic Games with Imperfect Information	2009-07-14	Paper
Note on winning positions on pushdown games with \(\omega\)-regular conditions	2009-03-23	Paper
Tree Pattern Rewriting Systems	2008-11-20	Paper
Regularity Problems for Visibly Pushdown Languages	2008-03-19	Paper
Propositional dynamic logic with recursive programs	2007-08-23	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Games with winning conditions of high Borel complexity	2006-03-20	Paper
Automata, Languages and Programming	2005-08-24	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
Vectorial languages and linear temporal logic	2004-10-27	Paper

Research outcomes over time

This page was built for person: Olivier Serre