Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 4607 | 1239 |
h-index | 31 | 18 |
i10-index | 58 | 31 |
Acces public
Afișați-le pe toate21 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Xavier RivalDirecteur de Recherche, INRIAAdresă de e-mail confirmată pe inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityAdresă de e-mail confirmată pe cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APRAdresă de e-mail confirmată pe lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisAdresă de e-mail confirmată pe inria.fr
- Bruno BlanchetSenior researcher, INRIA, ParisAdresă de e-mail confirmată pe inria.fr
- Laure GonnordUniversity of Lyon - LIPAdresă de e-mail confirmată pe ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, VerimagAdresă de e-mail confirmată pe imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- Julien HenryMathworksAdresă de e-mail confirmată pe mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIPAdresă de e-mail confirmată pe univ-lyon1.fr
- George KarpenkovVERIMAGAdresă de e-mail confirmată pe metaworld.me
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
- Hang YUVerimagAdresă de e-mail confirmată pe inf.ethz.ch
- Francesco AlbertiEolo SpAAdresă de e-mail confirmată pe eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresă de e-mail confirmată pe diffblue.com
- Tim KingGoogle IncAdresă de e-mail confirmată pe google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSAdresă de e-mail confirmată pe cs.utah.edu
- Nikolaj BjornerMicrosoft ResearchAdresă de e-mail confirmată pe cs.stanford.edu
Urmăriți
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Adresă de e-mail confirmată pe univ-grenoble-alpes.fr - Pagina de pornire