Olivier Serre - RankMe

60 papers A* 8A 4B 3C 1Journal 34Unranked 7

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Games on Graphs. CoRR Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	J	`jnl`	Collapsible Pushdown Parity Games. ACM Trans. Comput. Log. Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2021	J	`jnl`	Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties. ACM Trans. Comput. Log. Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre
2021	—	`ch.`	Higher-order recursion schemes and their automata models. Handbook of Automata Theory (II.) Arnaud Carayol, Olivier Serre
2021	J	`jnl`	Lower Bounds for Arithmetic Circuits via the Hankel Matrix. Comput. Complex. Nathanaël Fijalkow, Guillaume Lagarde, Pierre Ohlmann, Olivier Serre
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	J	`jnl`	Collapsible Pushdown Parity Games. CoRR Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2020	J	`jnl`	Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties. CoRR Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre
2020	J	`jnl`	How Good Is a Strategy in a Game With Nature? CoRR Arnaud Carayol, Olivier Serre
2020	J	`jnl`	How Good Is a Strategy in a Game with Nature? ACM Trans. Comput. Log. Arnaud Carayol, Olivier Serre
2020	A	`conf`	Lower Bounds for Arithmetic Circuits via the Hankel Matrix. STACS Nathanaël Fijalkow, Guillaume Lagarde, Pierre Ohlmann, Olivier Serre
2020	J	`jnl`	Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR Bastien Maubert, Aniello Murano, Olivier Serre
2018	J	`jnl`	Emptiness of Stack Automata is NEXPTIME-complete: A Correction. CoRR Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2018	J	`jnl`	Lower bounds for arithmetic circuits via the Hankel matrix. Electron. Colloquium Comput. Complex. Nathanaël Fijalkow, Guillaume Lagarde, Pierre Ohlmann, Olivier Serre
2018	J	`jnl`	Pure Strategies in Imperfect Information Stochastic Games. Fundam. Informaticae Arnaud Carayol, Christof Löding, Olivier Serre
2017	J	`jnl`	C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation. CoRR Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2017	J	`jnl`	Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log. Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2017	J	`jnl`	Counting branches in trees using games. Inf. Comput. Arnaud Carayol, Olivier Serre
2017	C	`conf`	Two-Way Two-Tape Automata. DLT Olivier Carton, Léo Exibard, Olivier Serre
2017	J	`jnl`	Two-way Two-tape Automata. CoRR Olivier Carton, Léo Exibard, Olivier Serre
2016	A*	`conf`	Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings. LICS Arnaud Carayol, Christof Löding, Olivier Serre
2016	J	`jnl`	Marking shortest paths on pushdown graphs does not preserve MSO decidability. Inf. Process. Lett. Arnaud Carayol, Olivier Serre
2016	A	`conf`	Streaming Property Testing of Visibly Pushdown Languages. ESA Nathanaël François, Frédéric Magniez, Michel de Rougemont, Olivier Serre
2015	J	`jnl`	Counting Branches in Trees Using Games. CoRR Arnaud Carayol, Axel Haddad, Olivier Serre
2015	J	`jnl`	Erratum for "Randomization in Automata on Infinite Trees". ACM Trans. Comput. Log. Arnaud Carayol, Axel Haddad, Olivier Serre
2015	A*	`conf`	How Good Is a Strategy in a Game with Nature? LICS Arnaud Carayol, Olivier Serre
2015	J	`jnl`	Marking Shortest Paths On Pushdown Graphs Does Not Preserve MSO Decidability. CoRR Arnaud Carayol, Olivier Serre
2015	—	`book`	Playing with Trees and Logic. Olivier Serre
2015	J	`jnl`	Pure Strategies in Imperfect Information Stochastic Games. CoRR Arnaud Carayol, Christof Löding, Olivier Serre
2015	J	`jnl`	Streaming Property Testing of Visibly Pushdown Languages. CoRR Nathanaël François, Frédéric Magniez, Michel de Rougemont, Olivier Serre
2015	J	`jnl`	Streaming Property Testing of Visibly Pushdown Languages. Electron. Colloquium Comput. Complex. Nathanaël François, Frédéric Magniez, Olivier Serre, Michel de Rougemont
2014	J	`jnl`	Randomization in Automata on Infinite Trees. ACM Trans. Comput. Log. Arnaud Carayol, Axel Haddad, Olivier Serre
2013	A	`conf`	C-SHORe: a collapsible approach to higher-order verification. ICFP Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2013	—	`conf`	Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. FSTTCS Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre
2013	J	`jnl`	Introduction. Tech. Sci. Informatiques Dietmar Berwanger, Olivier Serre
2013	J	`jnl`	Pushdown module checking with imperfect information. Inf. Comput. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi
2012	—	`conf`	A Saturation Method for Collapsible Pushdown Systems. ICALP (2) Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2012	A*	`conf`	Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. LICS Arnaud Carayol, Olivier Serre
2012	J	`jnl`	Parity games on undirected graphs. Inf. Process. Lett. Dietmar Berwanger, Olivier Serre
2011	A*	`conf`	Qualitative Tree Languages. LICS Arnaud Carayol, Axel Haddad, Olivier Serre
2010	A*	`conf`	Recursion Schemes and Logical Reflection. LICS Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre
2009	J	`jnl`	Qualitative Concurrent Games with Imperfect Information CoRR Vincent Gripon, Olivier Serre
2009	—	`conf`	Qualitative Concurrent Stochastic Games with Imperfect Information. ICALP (2) Vincent Gripon, Olivier Serre
2008	A*	`conf`	Collapsible Pushdown Automata and Recursion Schemes. LICS Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2008	B	`conf`	Tree Pattern Rewriting Systems. ATVA Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
2008	A*	`conf`	Winning Regions of Higher-Order Pushdown Games. LICS Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre
2008	—	`conf`	µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
2007	J	`jnl`	Propositional dynamic logic with recursive programs. J. Log. Algebraic Methods Program. Christof Löding, Carsten Lutz, Olivier Serre
2006	J	`jnl`	Games with winning conditions of high Borel complexity. Theor. Comput. Sci. Olivier Serre
2006	B	`conf`	Parity Games Played on Transition Graphs of One-Counter Processes. FoSSaCS Olivier Serre
2006	B	`conf`	Propositional Dynamic Logic with Recursive Programs. FoSSaCS Christof Löding, Olivier Serre
2006	A	`conf`	Regularity Problems for Visibly Pushdown Languages. STACS Vince Bárány, Christof Löding, Olivier Serre
2004	—	`—`	Contribution à l'étude des jeux sur des graphes de processus à pile. (Contribution to pushdown games studies). Olivier Serre
2004	A*	`conf`	Games with Winning Conditions of High Borel Complexity. ICALP Olivier Serre
2004	J	`jnl`	Vectorial languages and linear temporal logic. Theor. Comput. Sci. Olivier Serre
2004	—	`conf`	Visibly Pushdown Games. FSTTCS Christof Löding, P. Madhusudan, Olivier Serre
2003	J	`jnl`	Note on winning positions on pushdown games with [omega]-regular conditions. Inf. Process. Lett. Olivier Serre
2003	—	`conf`	Pushdown Games with Unboundedness and Regular Conditions. FSTTCS Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz
2002	—	`conf`	Vectorial Languages and Linear Temporal Logic. IFIP TCS Olivier Serre