Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
- Xavier LeroyCollège de FranceVerified email at college-de-france.fr
- Jérôme VouillonCNRS, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
- Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya UniversityVerified email at math.nagoya-u.ac.jp
- Didier RémyINRIAVerified email at inria.fr
- Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
- Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
- Olivier HermantCRI, MINES ParisTechVerified email at inria.fr
- Pierre HalmagrandTotalEnergies Gas & Power LimitedVerified email at tgptrading.com
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
- Gilles MullerSenior Research Scientist, INRIAVerified email at inria.fr
- Daniel RickettsPhD Student, University of California, San DiegoVerified email at cs.ucsd.edu
- Rene Rydhof HansenAalborg UniversityVerified email at cs.aau.dk
- Julien BrunelONERAVerified email at onera.fr
- Julia L. LawallVerified email at diku.edu
- Tomer LibalUniversity of LuxembourgVerified email at uni.lu
- Blandine DoligezCNRS - Université Lyon 1Verified email at univ-lyon1.fr
- Heinz RichnerProfessor emeritus of Biology, University of Bern, SwitzerlandVerified email at iee.unibe.ch
- Charles MorissetReader in Security, Newcastle UniversityVerified email at ncl.ac.uk
- Guillaume BuryR&D Engineer, OCamlProVerified email at ocamlpro.com
- Manuel MaarekHeriot-Watt UniversityVerified email at hw.ac.uk