Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2493 | 1151 |
indice h | 23 | 15 |
indice i10 | 43 | 23 |
Accès public
Tout afficher15 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Daniel KroeningAmazonAdresse e-mail validée de amazon.com
Christian SchallhartGoogleAdresse e-mail validée de schallhart.net
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienAdresse e-mail validée de forsyte.tuwien.ac.at
Andreas HolzerUniversity of TorontoAdresse e-mail validée de cs.toronto.edu
Jade AlglaveARM and University College LondonAdresse e-mail validée de ucl.ac.uk
Stefan KugeleTechnische Hochschule IngolstadtAdresse e-mail validée de thi.de
Serdar TasiranS3, Amazon Web ServicesAdresse e-mail validée de acm.org
Byron CookProfessor of Computer Science, UCL, AmazonAdresse e-mail validée de cs.ucl.ac.uk
Andreas BauerUniversität AugsburgAdresse e-mail validée de uni-a.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyAdresse e-mail validée de lmu.de
Alastair DonaldsonImperial College LondonAdresse e-mail validée de imperial.ac.uk
Luc MarangetInriaAdresse e-mail validée de inria.fr
Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyAdresse e-mail validée de kit.edu
Tom MelhamProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresse e-mail validée de diffblue.com
Thomas WahlNortheastern University, Boston, USAAdresse e-mail validée de northeastern.edu
Matthias DanglLudwig-Maximilians-Universität MünchenAdresse e-mail validée de sosy.ifi.lmu.de
Thomas LembergerLMU MunichAdresse e-mail validée de lmu.de
Felipe R. MonteiroAmazonAdresse e-mail validée de amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSAdresse e-mail validée de amazon.com