Publications
Journals
Julien David and Lhouari Nourine.
A generic algorithm for sequence mining.
15 pages. Submitted to Theoretical Computer Science.
Julien David.
Average Complexity of Moore's and Hopcroft's Algorithms.
Theoretical Computer Science 2011. 16 pages.
Frederique Bassino, Julien David, and Cyril Nicaud.
Average Case Analysis of Moore's State Minimization Algorithm.
Algorithmica 2012. 20 pages. To appear.
Frederique Bassino, Julien David, and Cyril Nicaud.
Enumeration and random generation of possibly incomplete
deterministic automata.
Pure Mathematics and Applications. vol. 19(2-3). 2008. pp. 1-16.
In proceedings
Frederique Bassino, Julien David, and Andrea Sportiello.
Asymptotic Enumeration of Minimal Automata. Submitted to STACS 2012.
Julien David.
The Average Complexity of Moore's State Minimization Algorithm is O(n log log n).
In Petr Hlineny and Antonin Kucera, editors, 35th International Symposium on Mathematical Foundations of Computer Science (MFCS'10).
April 2010, volume 6281, pp 318-329.
Frederique Bassino, Julien David, and Cyril Nicaud.
On the average complexity
of Moore's state minimization algorithm.
In Susanne Albers and
Jean-Yves Marion, editors, 26th International Symposium on Theoretical
Aspects of Computer Science (STACS 2009),
Freiburg, Germany, volume 3
of LIPIcs, pp 123-124. Schloss Dagstuhl - Leibniz-Zentrum fuer Infor-
matik, Germany, 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.
PhD Thesis
Generation aleatoire d'automates et analyse d'algorithmes de minimisation.