Skapa en profil
Offentlig åtkomst
Visa alla7 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Xavier LeroyCollège de FranceVerifierad e-postadress på college-de-france.fr
- David PichardieProfessor, ENS Rennes, FranceVerifierad e-postadress på inria.fr
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerifierad e-postadress på princeton.edu
- Frédéric BessonInriaVerifierad e-postadress på inria.fr
- Christian FerdinandVerifierad e-postadress på absint.com
- Gilles BartheMPI-SP and IMDEA Software InstituteVerifierad e-postadress på mpi-sp.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Gordon StewartBedRock Systems, Inc.Verifierad e-postadress på bedrocksystems.com
- Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerifierad e-postadress på inria.fr
- Jan VitekNortheastern UniversityVerifierad e-postadress på neu.edu
- Andy KingKent PortcullisVerifierad e-postadress på kent.ac.uk
- Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerifierad e-postadress på cs.arizona.edu