Empreinte digitale
- 1 Profils similaires
-
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