Fingerprint
Dive into the research topics where Olivier Serre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
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 Jan 2021, In: ACM Transactions on Computational Logic. 22, 1, 7.Research output: Contribution to journal › Article › peer-review
Open Access -
Collapsible Pushdown Parity Games
Broadbent, C. H., Carayol, A., Hague, M., Murawski, A. S., Ong, C. H. L. & Serre, O., 1 Jun 2021, In: ACM Transactions on Computational Logic. 22, 3, 3457214.Research output: Contribution to journal › Article › peer-review
Open Access -
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
Broadbent, C. H., Carayol, A., Ong, C. H. L. & Serre, O., 15 May 2021, In: ACM Transactions on Computational Logic. 22, 2, 12.Research output: Contribution to journal › Article › peer-review
Open Access -
Lower Bounds for Arithmetic Circuits via the Hankel Matrix
Fijalkow, N., Lagarde, G., Ohlmann, P. & Serre, O., 1 Dec 2021, In: Computational Complexity. 30, 2, 14.Research output: Contribution to journal › Article › peer-review
Open Access -
How Good Is a Strategy in a Game with Nature?
Carayol, A. & Serre, O., 1 May 2020, In: ACM Transactions on Computational Logic. 21, 3, 21.Research output: Contribution to journal › Article › peer-review
Open Access -
Lower bounds for arithmetic circuits via the Hankel matrix
Fijalkow, N., Lagarde, G., Ohlmann, P. & Serre, O., 1 Mar 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Pure Strategies in Imperfect Information Stochastic Games
Carayol, A., Löding, C. & Serre, O., 1 Jan 2018, In: Fundamenta Informaticae. 160, 4, p. 361-384 24 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Collapsible pushdown automata and recursion schemes
Hague, M., Murawski, A. S., Luke Ong, C. H. & Serre, O., 1 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, 25.Research output: Contribution to journal › Article › peer-review
-
Counting branches in trees using games
Carayol, A. & Serre, O., 1 Feb 2017, In: Information and Computation. 252, p. 221-242 22 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Two-way two-tape automata
Carton, O., Exibard, L. & Serre, O., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access