Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2430 | 1081 |
Índice h | 23 | 15 |
Índice i10 | 41 | 21 |
Acesso público
Ver tudo15 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Daniel KroeningAmazonEmail confirmado em amazon.com
- Christian SchallhartGoogleEmail confirmado em schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail confirmado em forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonEmail confirmado em ucl.ac.uk
- Andreas HolzerUniversity of TorontoEmail confirmado em cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtEmail confirmado em thi.de
- Serdar TasiranS3, Amazon Web ServicesEmail confirmado em acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonEmail confirmado em cs.ucl.ac.uk
- Luc MarangetInriaEmail confirmado em inria.fr
- Andreas BauerUniversität AugsburgEmail confirmado em uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyEmail confirmado em lmu.de
- Alastair DonaldsonImperial College LondonEmail confirmado em imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyEmail confirmado em kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail confirmado em diffblue.com
- Thomas WahlNortheastern University, Boston, USAEmail confirmado em northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenEmail confirmado em sosy.ifi.lmu.de
- Thomas LembergerLMU MunichEmail confirmado em lmu.de
- Felipe R. MonteiroAmazonEmail confirmado em amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail confirmado em amazon.com