Number of documents

15

RISPAL


Journal articles6 documents

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

Conference papers7 documents

  • Didier Caucal, Chloé Rispal. Recognizability for automata. DLT 2018, Sep 2018, Tokyo, Japan. pp.206-218, ⟨10.1007/978-3-319-98654-8_17⟩. ⟨hal-01824290⟩
  • Nicolas Bedon, Alexis Bès, Olivier Carton, Chloé Rispal. Logic and Rational Languages of Words Indexed by Linear Orderings. 3rd International Computer Science Symposium in Russia (CSR'08), Jun 2008, Moscow, Russia, Russia. pp.76-85. ⟨hal-00620148⟩
  • Nicolas Bedon, Chloé Rispal. Series-parallel languages on scattered and countable posets. 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Aug 2007, Czech Republic. pp.477-488. ⟨hal-00619874⟩
  • Nicolas Bedon, Chloé Rispal. Schützenberger and Eilenberg theorems for words on linear orderings. 9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. pp.134-145. ⟨hal-00619873⟩
  • Olivier Carton, Chloé Rispal. Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank. 6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301. ⟨hal-00619905⟩
  • Chloé Rispal, Olivier Carton. Complementation of Rational Sets on Scattered Linear Orderings. 8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392. ⟨hal-00620119⟩
  • Chloé Rispal. The synchronized graphs trace the context-sensitive languages. INFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. 10pp. ⟨hal-00620118⟩

Preprints, Working Papers, ...1 document

  • Didier Caucal, Chloé Rispal. Boolean algebras by length recognizability. 2019. ⟨hal-02012291⟩

Theses1 document

  • Chloé Rispal. Automates sur les ordres linéaires : Complémentation. Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨tel-00720658⟩