Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2433 | 1084 |
Índice h | 23 | 15 |
Índice i10 | 41 | 21 |
Acesso público
Ver todos15 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Daniel KroeningAmazonE-mail confirmado em amazon.com
- Christian SchallhartGoogleE-mail confirmado em schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail confirmado em forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonE-mail confirmado em ucl.ac.uk
- Andreas HolzerUniversity of TorontoE-mail confirmado em cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtE-mail confirmado em thi.de
- Serdar TasiranS3, Amazon Web ServicesE-mail confirmado em acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonE-mail confirmado em cs.ucl.ac.uk
- Luc MarangetInriaE-mail confirmado em inria.fr
- Andreas BauerUniversität AugsburgE-mail confirmado em uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyE-mail confirmado em lmu.de
- Alastair DonaldsonImperial College LondonE-mail confirmado em imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyE-mail confirmado em kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail confirmado em diffblue.com
- Thomas WahlNortheastern University, Boston, USAE-mail confirmado em northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenE-mail confirmado em sosy.ifi.lmu.de
- Thomas LembergerLMU MunichE-mail confirmado em lmu.de
- Felipe R. MonteiroAmazonE-mail confirmado em amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mail confirmado em amazon.com