Get my own profile
Public access
View all7 articles
1 article
available
not available
Based on funding mandates
Co-authors
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
David PichardieProfessor, ENS Rennes, FranceVerified email at inria.fr
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Gordon StewartAssistant Professor, Ohio UniversityVerified email at ohio.edu
Frédéric BessonInriaVerified email at inria.fr
Christian FerdinandVerified email at absint.com
Jacques-Henri JourdanUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-surVerified email at normalesup.org
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
Andy KingKent PortcullisVerified email at kent.ac.uk
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Jan VitekNortheastern UniversityVerified email at neu.edu