- 3
- 1
- 1
Olivier Serre
5
Documents
Identifiants chercheurs
- olivier-serre
- 0000-0001-5936-240X
- IdRef : 089054407
Présentation
Publications
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Games on Graphspp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩
Ouvrages
hal-04273394v1
|
|
Lower Bounds for Arithmetic Circuits via the Hankel MatrixComputational Complexity, 2021, 30 (2), ⟨10.1007/s00037-021-00214-1⟩
Article dans une revue
hal-03383188v1
|
|
Alternating Tree Automata with Qualitative SemanticsACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue
hal-02533936v1
|
|
Lower Bounds for Arithmetic Circuits via the Hankel Matrix37th 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
|
|
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information33rd 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
|