@STRING{igm_hdr	= {Habilitation \`a diriger des recherches} }

@STRING{igm_phddoc={Th\`ese de doctorat} }

@STRING{igm_toappear={To appear} }

@STRING{igma_elsev={Elsevier} }

@STRING{igma_ieeecsp={IEEE Computer Society Press} }

@STRING{igma_mfcs={International Symposium on Mathematical Foundations of Computer Science} }

@STRING{igma_shortlncs={LNCS} }

@STRING{igma_spver={Springer-Verlag} }

@STRING{igma_stacs={International Symposium on Theoretical Aspects of Computer Science} }

@STRING{igma_tcs= {Theoretical Computer Science} }

@STRING{igmac_cie={Conference on Computability in Europe - Computation and Logic in the Real World} }

@STRING{igmac_cpppj={International Conference on Principles and Practices of Programming in Java} }


@Article{	  IGMA_CerDur04,
  author	= {Julien Cervelle and Bruno Durand},
  title		= {{{T}ilings: recursivity and regularity}},
  journal	= igma_tcs,
  year		= {2004},
  volume	= {310},
  pages		= {469--477},
  number	= {1-3},
  month		= jan
}


@Article{	  IGMA_CerForRou07,
  author	= {Cervelle, Julien and Forax, R\'emi and Roussel, Gilles},
  title		= {{A simple implementation of grammar libraries}},
  journal	= {Computer Science and Information Systems},
  year		= {2007},
  volume	= {4},
  number	= {2},
  pages		= {65--77},
  note		= { }
}


@Article{	  IGMA_CerForMas07,
  author	= {Cervelle, Julien and Formenti, Enrico and Masson, Beno\^it},
  title		= {{From sandpiles to sand automata}},
  journal	= igma_tcs,
  publisher	= igma_elsev,
  year		= {2007},
  volume	= {381},
  number	= {1-3},
  pages		= {1--28},
  note		= { }
}


@Article{	  IGMA_coiBlaCerFor05,
  author	= {Blanchard, Fran\c cois and Cervelle, Julien and Formenti, Enrico},
  title		= {{Some results about the chaotic behavior of cellular automata}},
  journal	= igma_tcs,
  year		= {2005},
  volume	= {349},
  number	= {3},
  pages		= {318--336},
  note		= { }
}


@InCollection{	  IGMA_CerFor08,
  author	= {Cervelle, Julien and Formenti, Enrico},
  title		= {{Algorithmic Complexity and Cellular Automata}},
  igmconf	= {Encyclopedia of Complexity and System Science},
  booktitle	= {Encyclopedia of Complexity and System Science},
  publisher	= igma_spver,
  editor	= {Meyers, Robert A.},
  year		= {2009},
  igmtoappear	= {true},
  note		= { }  # igm_toappear # { }
}


@InCollection{	  IGMA_CerDenFor08,
  author	= {Cervelle, Julien and Dennunzio, Alberto and Formenti, Enrico},
  title		= {{Chaotic behavior of cellular automata}},
  igmconf	= {Encyclopedia of Complexity and System Science},
  booktitle	= {Encyclopedia of Complexity and System Science},
  publisher	= igma_spver,
  editor	= {Meyers, Robert A.},
  year		= {2009},
  igmtoappear	= {true},
  note		= { }  # igm_toappear # { }
}


@InProceedings{	  IGMA_CerDurFor01,
  author	= {Cervelle, Julien and Durand, Bruno and Formenti, Enrico},
  title		= {{Algorithmic Information Theory and Cellular Automata Dynamics}},
  booktitle	= {26th }  # igma_mfcs # { (MFCS'01)},
  igmnumconf	= {26},
  igmnumbisconf	= {th},
  igmacroconf	= {MFCS},
  igmconf	= igma_mfcs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Sgall, Jiri and Pultr, Ales and Kolman, Petr},
  year		= {2001},
  volume	= {2136},
  pages		= {248--259},
  month		= aug,
  address	= {Marianske Lazne, Czech Republic},
  pdf		= {http://igm.univ-mlv.fr/~jcervell/publi/AIT%20and%20CA%20dynamics/AIT%20and%20CA%20dynamics.pdf},
  note		= { }
}


@InProceedings{	  IGMA_CerForRou08,
  author	= {Cervelle, Julien and Forax, R\'emi and Roussel, Gilles},
  title		= {{Tatoo: a Java efficient parser generator}},
  booktitle	= { Compilers, Related Technologies and Applications (CoRTA'08)},
  igmacroconf	= {CoRTA},
  igmconf	= {Compilers, Related Technologies and Applications},
  year		= {2008},
  igmtoappear	= {true},
  igmnote	= {invited talk to be given},
  note		= {invited talk to be given }  # igm_toappear # { }
}


@InProceedings{	  IGMA_CerForRou06,
  author	= {Cervelle, Julien and Forax, R\'emi and Roussel, Gilles},
  title		= {{Tatoo: An innovative Parser Generator}},
  booktitle	= {4th }  # igmac_cpppj # { (PPPJ'06)},
  igmnumconf	= {4},
  igmnumbisconf	= {th},
  igmacroconf	= {PPPJ},
  igmconf	= igmac_cpppj,
  series	= {ACM International Conferenc Proceedings},
  editor	= {Gitzel, Ralf and Alesky, Markus and Schader, Matin and Krintz, Chandra},
  year		= {2006},
  pages		= {13--20},
  month		= aug,
  address	= {Mannheim, Germany},
  note		= { }
}


@InProceedings{	  IGMA_CerForMas05,
  author	= {Cervelle, Julien and Formenti, Enrico and Masson, Beno\^it},
  title		= {{Basic Properties for Sand Automata.}},
  booktitle	= {30th }  # igma_mfcs # { (MFCS'05)},
  igmnumconf	= {30},
  igmnumbisconf	= {th},
  igmacroconf	= {MFCS},
  igmconf	= igma_mfcs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Jedrzejowicz, Joanna and Szepietowski, Andrzej},
  year		= {2005},
  volume	= {3618},
  pages		= {192--211},
  month		= sep,
  address	= {Gdansk, Poland},
  note		= { }
}


@InProceedings{	  IGMA_CerFor03,
  author	= {Cervelle, Julien and Formenti, Enrico},
  title		= {{On Sand Automata}},
  booktitle	= {20th }  # igma_stacs # { (STACS'03)},
  igmnumconf	= {20},
  igmnumbisconf	= {th},
  igmacroconf	= {STACS},
  igmconf	= igma_stacs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Alt, Helmut and Habib, Michel},
  year		= {2003},
  volume	= {2607},
  pages		= {642--653},
  month		= feb,
  address	= {Berlin, Germany},
  note		= { }
}


@InProceedings{	  IGMA_CerDur00,
  author	= {Cervelle, Julien and Durand, Bruno},
  title		= {{Tilings : recursivity and regularity}},
  booktitle	= {17th }  # igma_stacs # { (STACS'00)},
  igmnumconf	= {17},
  igmnumbisconf	= {th},
  igmacroconf	= {STACS},
  igmconf	= igma_stacs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Reichel, Horst and Tison, Sophie},
  year		= {2000},
  volume	= {1770},
  pages		= {491--502},
  month		= feb,
  address	= {Lille, France},
  pdf		= {http://igm.univ-mlv.fr/~jcervell/publi/tilings%20recursivity%20and%20regularity/tilings%20recursivity%20and%20regularity.pdf},
  note		= { }
}


@InProceedings{	  IGMA_coiBlaCerFor03,
  author	= {Blanchard, Fran\c cois and Cervelle, Julien and Formenti, Enrico},
  title		= {{Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies}},
  booktitle	= {28th }  # igma_mfcs # { (MFCS'03)},
  igmnumconf	= {28},
  igmnumbisconf	= {th},
  igmacroconf	= {MFCS},
  igmconf	= igma_mfcs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Rovan, Branislav and Vojt\'as, Peter},
  year		= {2003},
  volume	= {2747},
  pages		= {228--238},
  month		= aug,
  address	= {Bratislava, Slovakia},
  note		= { }
}


@InProceedings{	  IGMA_CerGui07,
  author	= {Cervelle, Julien and Guillon, Pierre},
  title		= {{Towards a Rice Theorem on Traces of Cellular Automata}},
  booktitle	= {32th }  # igma_mfcs # { (MFCS'07)},
  igmnumconf	= {32},
  igmnumbisconf	= {th},
  igmacroconf	= {MFCS},
  igmconf	= igma_mfcs,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Ku\vcera, Ludek and Ku\vcera, Anton\'in},
  year		= {2007},
  volume	= {4708},
  pages		= {310--319},
  days		= {26-31},
  month		= aug,
  address	= {\vCesk\'y Krumlov, Czech Republic},
  pdf		= {http://igm.univ-mlv.fr/~pguillon/bib/trice.pdf},
  url		= {http://www.springerlink.com/content/7318354x8tk602q1/?p=312d99b60b7445b49acdabfcfe563a0b%u03C0=0},
  keywords	= {discrete-time dynamical systems, cellular automata, symbolic dynamics, formal languages, computability, decidability},
  note		= { }
}


@InProceedings{	  IGMA_CerForGui07,
  author	= {Cervelle, Julien and Formenti, Enrico and Guillon, Pierre},
  title		= {{Sofic Trace of a Cellular Automaton}},
  booktitle	= {3rd }  # igmac_cie # { (CiE'07)},
  igmnumconf	= {3},
  igmnumbisconf	= {rd},
  igmacroconf	= {CiE},
  igmconf	= igmac_cie,
  series	= igma_shortlncs,
  publisher	= igma_spver,
  editor	= {Cooper, S. Barry and L\"owe, Benedict and Sorbi, Andrea},
  year		= {2007},
  volume	= {4497},
  pages		= {152--161},
  days		= {18-23},
  month		= jun,
  address	= {Siena, Italy},
  igmrefpreprint= {hal-00135811},
  pdf		= {http://igm.univ-mlv.fr/~pguillon/bib/trace.pdf},
  url		= {http://www.springerlink.com/content/r371136036536783/?p=15347994b72748d689ae2d82c90de38d%u03C0=69},
  slides	= {http://www.mat.unisi.it/~sorbi/sito/CiETalks/guillon.pdf},
  keywords	= {discrete-time dynamical systems, cellular automata, symbolic dynamics, sofic systems, formal languages},
  note		= { hal-00135811 }
}


@InProceedings{	  IGMA_CerCreFor09,
  author	= {Cervelle, Julien and Crepinsek, Matej and Forax, R\'emi and Kosar, Tomaz and Mernik, Marjan and Roussel, Gilles},
  title		= {{On Defining Quality Based Grammar Metrics}},
  booktitle	= {2nd Workshop on Advances in Programming Languages (WAPL'09)},
  igmnumconf	= {2},
  igmnumbisconf	= {nd},
  igmacroconf	= {WAPL},
  igmconf	= {Workshop on Advances in Programming Languages},
  publisher	= igma_ieeecsp,
  year		= {2009},
  volume	= {4},
  number	= {CFP0964E},
  pages		= {651--658},
  days		= {12-14},
  month		= oct,
  lang		= {EN},
  note		= { }
}


@InProceedings{	  IGMA_CerForLoy09,
  author	= {Cervelle, Julien and Forax, R\'emi and Loyaut\'e, Gautier and Roussel, Gilles},
  title		= {{Banzai: A Java Framework for the Implementation of High-Performance Servers}},
  booktitle	= {24th Annual ACM Symposium on Applied Computing, (SAC'09)},
  igmnumconf	= {24},
  igmnumbisconf	= {th},
  igmacroconf	= {SAC},
  igmconf	= {Annual ACM Symposium on Applied Computing,},
  publisher	= {ACM},
  year		= {2009},
  pages		= {1903--1909},
  days		= {9-12},
  month		= mar,
  address	= {Honolulu, Hawaii, USA},
  lang		= {EN},
  note		= { }
}


@PhDThesis{	  IGMA_Cer02,
  author	= {Julien Cervelle},
  title		= {{{C}omplexit\'e structurelle et algorithmique des pavages et des automates cellulaires}},
  school	= {Universit\'e de provence},
  year		= {2002},
  type		= igm_phddoc,
  month		= jan,
  igmtype	= {igm_phdDoc},
  jury		= {Alain Colmerauer, Marianne Delorme, Bruno Durand, Enrico Formenti, Jean-yves Marion et Michel Morvan},
  pdf		= {http://igm.univ-mlv.fr/~jcervell/publi/these/these.pdf}
}


@PhDThesis{	  IGMA_Cer07,
  author	= {Cervelle, Julien},
  title		= {{Complexit\'e dynamique et algorithmique des automates cellulaires}},
  type		= igm_hdr,
  igmtype	= {igm_hdr},
  igmlocal	= {true},
  school	= {Universit\'e Paris Est, Marne-la-Vall'ee},
  rapporteur	= {Kari, Jarkko and Kurka, Petr},
  examinateur	= {Durand, Bruno and Formenti, Enrico and Mazoyer, Jacques and Perrin, Dominique and Roussel, Gilles and Vuillon, Laurent},
  abstract	= {Ce m\'emoire pr\'esente une synth\`ese de mes travaux sur les automates cellulaires, \'etude de leur dynamique, dont le but est de mieux comprendre la nature des comportements chaotiques observ\'es et de donner des d\'efinitions satisfaisantes d'automate cellulaire complexe.\\Nous nous int\'eressons en premier lieu \`a la complexit\'e de Kolmogorov : nous commen\c{c}ons par la d\'efinir puis donnons des propri\'et\'es classiques et leurs implications dans le cadre des
		  automates cellulaires ; ensuite nous pr\'esentons deux preuves pour illustrer son utilisation comme outil d'aide \`a la d\'emonstration ; enfin, nous montrons comment cette notion permet de donner des d\'efinitions originales qui apportent une vision nouvelle des automates cellulaires. En second lieu, nous donnons d'autres orientations concernant l'\'etude du chaos : un nouveau mod\`ele dynamique de tas de sables et l'\'etude des traces des automates cellulaires.},
  year		= {2007},
  days		= {11},
  month		= dec,
  lang		= {FR},
  note		= { Jury : , , Kari, Jarkko and Kurka, Petr, Durand, Bruno and Formenti, Enrico and Mazoyer, Jacques and Perrin, Dominique and Roussel, Gilles and Vuillon, Laurent }
}