Pierre Guillon

Thesis

• Automates cellulaires : dynamiques, simulations, traces. PhD thesis. Université Paris-Est. 2008. Jury : Julien Cervelle, Enrico Formenti, Nataša Jonoska, Luciano Margara, Marie-Pierre Béal, Valérie Berthé and Jacques Mazoyer (152 pp.).

In peer-reviewed international journals

• Sand Automata as Cellular Automata. with Alberto Dennunzio and Benoît Masson. Theoretical Computer Science. 410 (38-40). September 2009. pp. 3962–3974.
• Gene Maps Linearization using Genomic Rearrangement Distances. with Guillaume Blin, Éric Blais, Danny Hermelin, Mathieu Blanchette and Nadia El-Mabrouk. Journal of Computational Biology. 14 (4). May 2007. pp. 394–407.

In proceedings of peer-reviewed international conferences

• Revisiting the Rice Theorem of Cellular Automata. with Gaétan Richard. To appear in 27th International Symposium on Theoretical Aspects of Computer Science (STACS'10). LIPIcs. Nancy, France. March 2010. Schloss Dagstuhl.
• Ultimate Trace of Cellular Automata. with Julien Cervelle and Enrico Formenti. To appear in 27th International Symposium on Theoretical Aspects of Computer Science (STACS'10). LIPIcs. Nancy, France. March 2010. Schloss Dagstuhl.
• Traced Communication Complexity of Cellular Automata. with Eric Goles and Ivan Rapaport. In, Pedro P.B. de Oliveira and Jarkko Kari, editors, 15th International Workshop on Cellular Automata and Discrete Complex Systems (Automata'09). São José dos Campos, Brazil. October 2009.
• Topological Properties of Sand Automata as Cellular Automata. with Alberto Dennunzio and Benoît Masson. In, Bruno Durand, editor, 1st Symposium on Cellular Automata (JAC'08). Uzès, France. April 2008. pp. 216–227. MCCME Publishing House. Note: hal-00274003
• Nilpotency and Limit Sets of Cellular Automata. with Gaétan Richard. In, Edward Ochmański and Jerzy Tyszkiewicz, editors, 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08). vol. 5162. LNCS. Toruń, Poland. August 2008. pp. 375–386. Springer Berlin / Heidelberg.
• Stable Dynamics of Sand Automata. with Alberto Dennunzio and Benoît Masson. In, Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri and Luke Ong, editors, 5th IFIP Conference on Theoretical Computer Science (TCS'08). vol. 273. International Federation for Information Processing. Milano, Italy. September 2008. pp. 157–169. Springer Boston.
• Towards a Rice Theorem on Traces of Cellular Automata. with Julien Cervelle. In, Ludek Kučera and Antonín Kučera, editors, 32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07). vol. 4708. LNCS. Český Krumlov, Czech Republic. August 2007. pp. 310–319. Springer-Verlag.
• Sofic Trace of a Cellular Automaton. with Julien Cervelle and Enrico Formenti. In, S. Barry Cooper, Benedict Löwe and Andrea Sorbi, editors, 3rd Conference on Computability in Europe - Computation and Logic in the Real World (CiE'07). vol. 4497. LNCS. Siena, Italy. June 2007. pp. 152–161.Springer-Verlag. Note: hal-00135811
• Inferring Gene Orders from Gene Maps using the Breakpoint Distance. with Guillaume Blin, Éric Blais, Mathieu Blanchette and Nadia El-Mabrouk. In, Guillaume Bourque and Nadia El-Mabrouk, editors, 4th Annual RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG'06). vol. 4205. LNBI. Montréal, Quebec. September 2006. pp. 99–112. Springer-Verlag.

Submitted

• Zigzags in Turing Machines. with Anahí Gajardo.

In preparation

• Asymptotic Set of Discrete Dynamical Systems. with Gaétan Richard.
• Generalized Systems of Finite Type.
• Traced Communication Complexity of Cellular Automata. with Eric Goles and Ivan Rapaport.
• Turing Machines, Languages, Equicontinuity. with Anahí Gajardo.