Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 28313 | 4975 |
h-index | 55 | 29 |
i10-index | 111 | 68 |
Acces public
Afișați-le pe toate10 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Jérôme FeretChargé de recherche, Inria ParisAdresă de e-mail confirmată pe inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- Bruno BlanchetSenior researcher, INRIA, ParisAdresă de e-mail confirmată pe inria.fr
- Liqian ChenAssociate Professor, National University of Defense Technology, ChinaAdresă de e-mail confirmată pe nudt.edu.cn
- Omer TrippAmazonAdresă de e-mail confirmată pe google.com
- Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.Adresă de e-mail confirmată pe jpmchase.com
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchAdresă de e-mail confirmată pe fahndrich.com
- Roberto GiacobazziProfessor of Computer Science, University of ArizonaAdresă de e-mail confirmată pe cs.arizona.edu
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Adresă de e-mail confirmată pe ulb.ac.be
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteAdresă de e-mail confirmată pe imdea.org
- Olivier BouissouCEA LISTAdresă de e-mail confirmată pe cea.fr
Urmăriți
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Adresă de e-mail confirmată pe cims.nyu.edu - Pagina de pornire