Accéder directement au contenu

Olivier Serre

5
Documents
Identifiants chercheurs

Présentation

Publications

nathanael-fijalkow
Image document

Games on Graphs

 Nathanaël Fijalkow , Nathalie Bertrand , Patricia Bouyer , Romain Brenguier , Arnaud Carayol
pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩
Ouvrages hal-04273394v1
Image document

Lower Bounds for Arithmetic Circuits via the Hankel Matrix

 Nathanaël Fijalkow , Guillaume Lagarde , Pierre Ohlmann , Olivier Serre
Computational Complexity, 2021, 30 (2), ⟨10.1007/s00037-021-00214-1⟩
Article dans une revue hal-03383188v1
Image document

Alternating Tree Automata with Qualitative Semantics

 Raphaël Berthon , Nathanaël Fijalkow , Emmanuel Filiot , Shibashis Guha , Bastien Maubert
ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue hal-02533936v1
Image document

Lower Bounds for Arithmetic Circuits via the Hankel Matrix

 Nathanaël Fijalkow , Guillaume Lagarde , Pierre Ohlmann , Olivier Serre
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Mar 2020, Montpellier, France. pp.24:1-24:17, ⟨10.4230/LIPIcs.STACS.2020.24⟩
Communication dans un congrès hal-02440692v1
Image document

Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

 Nathanaël Fijalkow , Sophie Pinchinat , Olivier Serre
33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. pp.13, ⟨10.4230/LIPIcs.FSTTCS.2013.299⟩
Communication dans un congrès hal-01260682v2