Crea il mio profilo
Accesso pubblico
Visualizza tutto21 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Xavier RivalDirecteur de Recherche, INRIAEmail verificata su inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityEmail verificata su cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APREmail verificata su lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisEmail verificata su inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisEmail verificata su inria.fr
- Laure GonnordUniversity of Lyon - LIPEmail verificata su ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagEmail verificata su imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesEmail verificata su univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagEmail verificata su univ-grenoble-alpes.fr
- Julien HenryMathworksEmail verificata su mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPEmail verificata su univ-lyon1.fr
- George KarpenkovVERIMAGEmail verificata su metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail verificata su cs.uni-saarland.de
- Hang YUVerimagEmail verificata su inf.ethz.ch
- Francesco AlbertiEolo SpAEmail verificata su eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail verificata su diffblue.com
- Tim KingGoogle IncEmail verificata su google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSEmail verificata su cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchEmail verificata su cs.stanford.edu