Založit si vlastní profil
Veřejný přístup
Zobrazit všechny21 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Xavier RivalDirecteur de Recherche, INRIAE-mailová adresa ověřena na: inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityE-mailová adresa ověřena na: cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRE-mailová adresa ověřena na: lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisE-mailová adresa ověřena na: inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisE-mailová adresa ověřena na: inria.fr
- Laure GonnordUniversity of Lyon - LIPE-mailová adresa ověřena na: ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagE-mailová adresa ověřena na: imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- Julien HenryMathworksE-mailová adresa ověřena na: mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPE-mailová adresa ověřena na: univ-lyon1.fr
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mailová adresa ověřena na: cs.uni-saarland.de
- George KarpenkovVERIMAGE-mailová adresa ověřena na: metaworld.me
- Hang YUVerimagE-mailová adresa ověřena na: inf.ethz.ch
- Francesco AlbertiEolo SpAE-mailová adresa ověřena na: eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mailová adresa ověřena na: diffblue.com
- Tim KingGoogle IncE-mailová adresa ověřena na: google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSE-mailová adresa ověřena na: cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchE-mailová adresa ověřena na: cs.stanford.edu
Sledovat
David Monniaux
Researcher in computer science, CNRS, VERIMAG
E-mailová adresa ověřena na: univ-grenoble-alpes.fr - Domovská stránka