HAL-Inria | Publications, software ... of Inria's scientists |
Gilles Dowek 1
Author
Jean-Pierre Archambault 2
Author
Emmanuel Baccelli 3
Author
Sylvie Boldo 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : sboldo
Denis Bouhineau 5
Author
Patrick Cegielski 6
Author IdHAL : patrick-cegielski
Thomas Heide Clausen 3, 7
Author Employer institution : École polytechnique IdHAL : thomas-heide-clausen ORCID : https://orcid.org/0000-0002-7400-8887
Irène Guessarian 8
Author
Stéphane Lopes 9
Author IdHAL : stephane-lopes
Laurent Mounier 10
Author Employer institution : Université Joseph Fourier - Grenoble 1
Benjamin Nguyen 9, 11
Author IdHAL : benjamin-nguyen
Franck Quessette 9
Author IdHAL : franck-quessette
Anne Rasse 10
Author
Brigitte Rozoy 4
Author Employer institution : Université Paris-Sud - Paris 11
Claude Timsit 9
Author
Thierry Viéville 12
Author
Jean-Marc Vincent 13
Correspondent author Employer institution : Université Joseph Fourier - Grenoble 1
IMAG | INRIA | UNIV-PARIS7 | LACL | LIX | X-LIX | X | UPEC | UPEC-UPEM | LIG_SIC | LIG_SIC_METAH | LIG | UMR8623 | CNRS | UVSQ | LABRI | USPC | X-DEP-INFO | VERIMAG | UNIV-BORDEAUX | UNIV-PARIS | UGA