Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 résultats

Simplifications of Uniform Expressions Specified by Systems

Florent Koechlin , Cyril Nicaud , Pablo Rotondo
International Journal of Foundations of Computer Science, 2020, 32 (6), pp.733-760
Article dans une revue hal-04315975v1

Simplifications of Uniform Expressions Specified by Systems

Florent Koechlin , Cyril Nicaud , Pablo Rotondo
International Journal of Foundations of Computer Science, 2021, 32 (06), pp.733-760. ⟨10.1142/S0129054121420065⟩
Article dans une revue hal-04484336v1

One Drop of Non-Determinism in a Random Deterministic Automaton

Arnaud Carayol , Philippe Duchon , Florent Koechlin , Cyril Nicaud
STACS: Symposium on Theoretical Aspects of Computer Science, 2023, Hamburg, Germany. pp.19:1--19:14, ⟨10.4230/LIPIcs.STACS.2023.1910.4230/LIPIcs.STACS.2023.19⟩
Communication dans un congrès hal-04316025v1
Image document

Uniform Random Expressions Lack Expressivity

Florent Koechlin , Cyril Nicaud , Pablo Rotondo
MFCS 2019, Aug 2019, Aachen, Germany. pp.51:1-51:14, ⟨10.4230/LIPIcs.MFCS.2019.51⟩
Communication dans un congrès hal-03145930v1
Image document

Weakly-unambiguous Parikh automata and their link to holonomic series

Alin Bostan , Arnaud Carayol , Florent Koechlin , Cyril Nicaud
ICALP 2020 - 47th International Colloquium on Automata, Languages and Programming, Jul 2020, Saarbrücken, Germany. pp.114.1-114.16, ⟨10.4230/LIPIcs.ICALP.2020.114⟩
Communication dans un congrès hal-03084639v1
Image document

New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages

Florent Koechlin
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2022, Chennai, India. pp.10.4230/LIPIcs.FSTTCS.2022, ⟨10.4230/LIPIcs.FSTTCS.2022.41⟩
Communication dans un congrès hal-03944635v1
Image document

On the Degeneracy of Random Expressions Specified by Systems of Combinatorial Equations

Florent Koechlin , Cyril Nicaud , Pablo Rotondo
International Conference on Developments in Language Theory (DLT 2020), May 2020, Tampa, United States. pp.164-177, ⟨10.1007/978-3-030-48516-0_13⟩
Communication dans un congrès hal-03145943v1