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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Olivier Serre