Chloé Rispal

15
Documents

Publications

Publications

Deposit thumbnail

Recognizability for automata

Didier Caucal , Chloé Rispal

DLT 2018, Sep 2018, Tokyo, Japan. pp.206-218, ⟨10.1007/978-3-319-98654-8_17⟩

Communication dans un congrès hal-01824290v1

Logic and Rational Languages of Words Indexed by Linear Orderings

Nicolas Bedon , Alexis Bès , Olivier Carton , Chloé Rispal

3rd International Computer Science Symposium in Russia (CSR'08), Jun 2008, Moscow, Russia, Russia. pp.76-85

Communication dans un congrès hal-00620148v1

Series-parallel languages on scattered and countable posets

Nicolas Bedon , Chloé Rispal

32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Aug 2007, Czech Republic. pp.477-488

Communication dans un congrès hal-00619874v1

Schützenberger and Eilenberg theorems for words on linear orderings

Nicolas Bedon , Chloé Rispal

9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. pp.134-145

Communication dans un congrès hal-00619873v1
Deposit thumbnail

Complementation of Rational Sets on Scattered Linear Orderings

Chloé Rispal , Olivier Carton

8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392

Communication dans un congrès hal-00620119v1
Deposit thumbnail

Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank

Olivier Carton , Chloé Rispal

6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301

Communication dans un congrès hal-00619905v1
Deposit thumbnail

The synchronized graphs trace the context-sensitive languages

Chloé Rispal

INFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. 10pp

Communication dans un congrès hal-00620118v1
Deposit thumbnail

Boolean algebras by length recognizability

Didier Caucal , Chloé Rispal

Lecture Notes in Computer Science, 11200, Springer, pp.169-185, 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?, ⟨10.1007/978-3-030-22348-9_11⟩

Chapitre d'ouvrage hal-02012291v1
Deposit thumbnail

Automates sur les ordres linéaires : Complémentation

Chloé Rispal

Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩

Thèse tel-00720658v1