Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2433 | 1084 |
h-indeks | 23 | 15 |
i10-indeks | 41 | 21 |
Offentlig tilgang
Vis alle15 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Daniel KroeningAmazonVerifisert e-postadresse på amazon.com
- Christian SchallhartGoogleVerifisert e-postadresse på schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifisert e-postadresse på forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonVerifisert e-postadresse på ucl.ac.uk
- Andreas HolzerUniversity of TorontoVerifisert e-postadresse på cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtVerifisert e-postadresse på thi.de
- Serdar TasiranS3, Amazon Web ServicesVerifisert e-postadresse på acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonVerifisert e-postadresse på cs.ucl.ac.uk
- Luc MarangetInriaVerifisert e-postadresse på inria.fr
- Andreas BauerUniversität AugsburgVerifisert e-postadresse på uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerifisert e-postadresse på lmu.de
- Alastair DonaldsonImperial College LondonVerifisert e-postadresse på imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyVerifisert e-postadresse på kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifisert e-postadresse på diffblue.com
- Thomas WahlNortheastern University, Boston, USAVerifisert e-postadresse på northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenVerifisert e-postadresse på sosy.ifi.lmu.de
- Thomas LembergerLMU MunichVerifisert e-postadresse på lmu.de
- Felipe R. MonteiroAmazonVerifisert e-postadresse på amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerifisert e-postadresse på amazon.com