Crea el meu perfil
Accés públic
Mostra-ho tot21 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Xavier RivalDirecteur de Recherche, INRIACorreu electrònic verificat a inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityCorreu electrònic verificat a cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRCorreu electrònic verificat a lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisCorreu electrònic verificat a inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisCorreu electrònic verificat a inria.fr
- Laure GonnordUniversity of Lyon - LIPCorreu electrònic verificat a ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagCorreu electrònic verificat a imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesCorreu electrònic verificat a univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagCorreu electrònic verificat a univ-grenoble-alpes.fr
- Julien HenryMathworksCorreu electrònic verificat a mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPCorreu electrònic verificat a univ-lyon1.fr
- George KarpenkovVERIMAGCorreu electrònic verificat a metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusCorreu electrònic verificat a cs.uni-saarland.de
- Hang YUVerimagCorreu electrònic verificat a inf.ethz.ch
- Francesco AlbertiEolo SpACorreu electrònic verificat a eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesCorreu electrònic verificat a normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexCorreu electrònic verificat a diffblue.com
- Tim KingGoogle IncCorreu electrònic verificat a google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSCorreu electrònic verificat a cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchCorreu electrònic verificat a cs.stanford.edu
Segueix
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Correu electrònic verificat a univ-grenoble-alpes.fr - Pàgina d'inici