Universite Paris Est - Marne-la-Vallee

Publications

Journals

  • Frederique Bassino, Julien David, and Cyril Nicaud. Average Case Analysis of Moore's State Minimization Algorithm.
    July 2009. 18 pages. submitted
  • Frederique Bassino, Julien David, and Cyril Nicaud. Enumeration and random generation of possibly incomplete deterministic automata.
    Pure Mathematics and Applications. 16 pages. to appear.

    • In proceedings

  • Frederique Bassino, Julien David, and Cyril Nicaud. On the average complexity of Moore's state minimization algorithm.
    Symposium on Theoretical Aspects of Computer Science, STACS 2009
  • Frederique Bassino, Julien David, and Cyril Nicaud. Random generation of possibly incomplete deterministic automata.
    GASCom : Generation Aleatoire de Structure Combinatoire. June 2008. pp. 31-40.
  • Julien David. REGAL: une bibliotheque pour la generation des automates deterministes.
    MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication(MAJECSTIC'07). 2007. pp 161-170
    Note: in French
  • Frederique Bassino, Julien David, and Cyril Nicaud. REGAL: a library to randomly and exhaustively generate automata.
    In, Jan Holub, Jan Zdarek, editors, 12th International Conference on Implementation and Application of Automata (CIAA'07). vol. 4783. LNCS. Prague, Czech Republic. July 2007. pp. 303-305.Springer-Verlag.

    • Posters

  • Frederique Bassino, Julien David, and Cyril Nicaud. REGAL: a library to randomly and exhaustively generate automata.
    Presented at CIAA'07. Prague, Czech Republic. July 2007.