Mijn eigen profiel maken
Openbare toegang
Alles bekijken21 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Xavier RivalDirecteur de Recherche, INRIAGeverifieerd e-mailadres voor inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityGeverifieerd e-mailadres voor cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRGeverifieerd e-mailadres voor lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisGeverifieerd e-mailadres voor inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisGeverifieerd e-mailadres voor inria.fr
- Laure GonnordUniversity of Lyon - LIPGeverifieerd e-mailadres voor ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagGeverifieerd e-mailadres voor imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- Julien HenryMathworksGeverifieerd e-mailadres voor mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPGeverifieerd e-mailadres voor univ-lyon1.fr
- George KarpenkovVERIMAGGeverifieerd e-mailadres voor metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusGeverifieerd e-mailadres voor cs.uni-saarland.de
- Hang YUVerimagGeverifieerd e-mailadres voor inf.ethz.ch
- Francesco AlbertiEolo SpAGeverifieerd e-mailadres voor eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesGeverifieerd e-mailadres voor normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexGeverifieerd e-mailadres voor diffblue.com
- Tim KingGoogle IncGeverifieerd e-mailadres voor google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSGeverifieerd e-mailadres voor cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchGeverifieerd e-mailadres voor cs.stanford.edu