Olivier Serre

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Olivier Serre est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

1 Profils similaires

20 Contribution à une conférence
18 Article
2 Chapitre
1 Commentaire/débat

Alternating Tree Automata with Qualitative Semantics
Berthon, R., Fijalkow, N., Filiot, E., Guha, S., Maubert, B., Murano, A., Pinault, L., Pinchinat, S., Rubin, S. & Serre, O., 1 janv. 2021, Dans: ACM Transactions on Computational Logic. 22, 1, 7.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Collapsible Pushdown Parity Games
Broadbent, C. H., Carayol, A., Hague, M., Murawski, A. S., Ong, C. H. L. & Serre, O., 1 juin 2021, Dans: ACM Transactions on Computational Logic. 22, 3, 3457214.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
Broadbent, C. H., Carayol, A., Ong, C. H. L. & Serre, O., 15 mai 2021, Dans: ACM Transactions on Computational Logic. 22, 2, 12.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Lower Bounds for Arithmetic Circuits via the Hankel Matrix
Fijalkow, N., Lagarde, G., Ohlmann, P. & Serre, O., 1 déc. 2021, Dans: Computational Complexity. 30, 2, 14.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
How Good Is a Strategy in a Game with Nature?
Carayol, A. & Serre, O., 1 mai 2020, Dans: ACM Transactions on Computational Logic. 21, 3, 21.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Lower bounds for arithmetic circuits via the Hankel matrix
Fijalkow, N., Lagarde, G., Ohlmann, P. & Serre, O., 1 mars 2020, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020. Paul, C. & Blaser, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-STACS-2020-24. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 154).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Pure Strategies in Imperfect Information Stochastic Games
Carayol, A., Löding, C. & Serre, O., 1 janv. 2018, Dans: Fundamenta Informaticae. 160, 4, p. 361-384 24 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Collapsible pushdown automata and recursion schemes
Hague, M., Murawski, A. S., Luke Ong, C. H. & Serre, O., 1 août 2017, Dans: ACM Transactions on Computational Logic. 18, 3, 25.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Counting branches in trees using games
Carayol, A. & Serre, O., 1 févr. 2017, Dans: Information and Computation. 252, p. 221-242 22 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Two-way two-tape automata
Carton, O., Exibard, L. & Serre, O., 1 janv. 2017, Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings. Charlier, E., Leroy, J. & Rigo, M. (eds.). Springer Verlag, p. 147-159 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10396 LNCS).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert