Nombre de documents

15

RISPAL


Article dans une revue6 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〉

Communication dans un congrès7 documents

  • Didier Caucal, Chloé Rispal. Recognizability for automata. DLT 2018, Sep 2018, Tokyo, Japan. 22nd International Conference on Developments in Language Theory, 11088, pp.206-218, 2018, LNCS. 〈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. Springer-Verlag, 5010, pp.76-85, 2008, LNCS. 〈hal-00620148〉
  • Nicolas Bedon, Chloé Rispal. Series-parallel languages on scattered and countable posets. Kucera L. and Kucera A. 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Aug 2007, Czech Republic. Springer-Verlag, 4708, pp.477-488, 2007, LNCS. 〈hal-00619874〉
  • Nicolas Bedon, Chloé Rispal. Schützenberger and Eilenberg theorems for words on linear orderings. De Felice C. and Restivo A. 9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. 3572, pp.134-145, 2005, LNCS. 〈hal-00619873〉
  • Chloé Rispal, Olivier Carton. Complementation of Rational Sets on Scattered Linear Orderings. 8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. Springer-Verlag, 3340, pp.381-392, 2004, LNCS. 〈hal-00620119〉
  • Olivier Carton, Chloé Rispal. Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank. Farach-Colton Martin. 6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. Springer-Verlag, 2976, pp.292-301, 2004, LNCS. 〈hal-00619905〉
  • Chloé Rispal. The synchronized graphs trace the context-sensitive languages. Kucera Antonin and Mayr Richard. INFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. Elsevier, 68, 10pp., 2003, Electronic Notes in Theoretical Computer Science. 〈hal-00620118〉

Pré-publication, Document de travail1 document

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

Thèse1 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〉