Skapa en profil
Offentlig åtkomst
Visa alla21 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Xavier RivalDirecteur de Recherche, INRIAVerifierad e-postadress på inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerifierad e-postadress på cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRVerifierad e-postadress på lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisVerifierad e-postadress på inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisVerifierad e-postadress på inria.fr
- Laure GonnordUniversity of Lyon - LIPVerifierad e-postadress på ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagVerifierad e-postadress på imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesVerifierad e-postadress på univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerifierad e-postadress på univ-grenoble-alpes.fr
- Julien HenryMathworksVerifierad e-postadress på mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPVerifierad e-postadress på univ-lyon1.fr
- George KarpenkovVERIMAGVerifierad e-postadress på metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Hang YUVerimagVerifierad e-postadress på inf.ethz.ch
- Francesco AlbertiEolo SpAVerifierad e-postadress på eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifierad e-postadress på diffblue.com
- Tim KingGoogle IncVerifierad e-postadress på google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerifierad e-postadress på cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchVerifierad e-postadress på cs.stanford.edu