Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2430 | 1081 |
Índice h | 23 | 15 |
Índice i10 | 41 | 21 |
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
- Jade AlglaveARM and University College LondonDirección de correo verificada de ucl.ac.uk
- Andreas HolzerUniversity of TorontoDirección de correo verificada de cs.toronto.edu
- 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
- Luc MarangetInriaDirección de correo verificada de inria.fr
- 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
- 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