Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2433 | 1084 |
indice h | 23 | 15 |
indice i10 | 41 | 21 |
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
- Jade AlglaveARM and University College LondonAdresse e-mail validée de ucl.ac.uk
- Andreas HolzerUniversity of TorontoAdresse e-mail validée de cs.toronto.edu
- 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
- Luc MarangetInriaAdresse e-mail validée de inria.fr
- 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
- 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