Chloé Rispal

Publications

Article dans une revue (6)

Schützenberger and Eilenberg theorems for words on linear orderings Nicolas Bedon,Chloé Rispal Journal of Computer and System Sciences, 2012, 78 (2), pp.517-536. ⟨10.1016/j.jcss.2011.06.003⟩ Article dans une revue hal-00790098v1
Series-parallel languages on scattered and countable posets Nicolas Bedon,Chloé Rispal Theoretical Computer Science, 2011, 412 (22), pp.2356-2369 Article dans une revue hal-00790113v1
Logic and Rational Languages of Words Indexed by Linear Orderings. Nicolas Bedon,Alexis Bès,Olivier Carton,Chloé Rispal Theory of Computing Systems, 2010, 46 (4), pp.737-760 Article dans une revue hal-00790136v1
Complementation of Rational sets on Scattered Linear Orderings of Finite Rank Olivier Carton,Chloé Rispal Theoretical Computer Science, 2007, 382 (2), pp.109-119. ⟨10.1016/j.tcs.2007.03.008⟩ Article dans une revue hal-00619538v1
Families of automata characterizing context-sensitive languages Christophe Morvan,Chloé Rispal Acta Informatica, 2005, 41, pp.293-314. ⟨10.1007/s00236-004-0160-0⟩ Article dans une revue inria-00525422v1
Complementation of Rational Sets on Countable Scattered Linear Orderings Chloé Rispal,Olivier Carton International Journal of Foundations of Computer Science, 2005, 16 (4), pp.767-786. ⟨10.1007/978-3-540-30550-7_32⟩ Article dans une revue hal-00160985v1

Communication dans un congrès (7)

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
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
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
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

Chapitre d'ouvrage (1)

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

Thèse (1)

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