Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2493 | 1151 |
Índice h | 23 | 15 |
Índice i10 | 43 | 23 |
Acceso público
Ver todo15 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Daniel KroeningAmazonDirección de correo verificada de amazon.com
Christian SchallhartGoogleDirección de correo verificada de schallhart.net
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienDirección de correo verificada de forsyte.tuwien.ac.at
Andreas HolzerUniversity of TorontoDirección de correo verificada de cs.toronto.edu
Jade AlglaveARM and University College LondonDirección de correo verificada de ucl.ac.uk
Stefan KugeleTechnische Hochschule IngolstadtDirección de correo verificada de thi.de
Serdar TasiranS3, Amazon Web ServicesDirección de correo verificada de acm.org
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
Andreas BauerUniversität AugsburgDirección de correo verificada de uni-a.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyDirección de correo verificada de lmu.de
Alastair DonaldsonImperial College LondonDirección de correo verificada de imperial.ac.uk
Luc MarangetInriaDirección de correo verificada de inria.fr
Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
Tom MelhamProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexDirección de correo verificada de diffblue.com
Thomas WahlNortheastern University, Boston, USADirección de correo verificada de northeastern.edu
Matthias DanglLudwig-Maximilians-Universität MünchenDirección de correo verificada de sosy.ifi.lmu.de
Thomas LembergerLMU MunichDirección de correo verificada de lmu.de
Felipe R. MonteiroAmazonDirección de correo verificada de amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSDirección de correo verificada de amazon.com