Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2442 | 1094 |
h-index | 23 | 15 |
i10-indeks | 42 | 22 |
Offentlig adgang
Se alle15 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Daniel KroeningAmazonVerificeret mail på amazon.com
- Christian SchallhartGoogleVerificeret mail på schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerificeret mail på forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonVerificeret mail på ucl.ac.uk
- Andreas HolzerUniversity of TorontoVerificeret mail på cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtVerificeret mail på thi.de
- Serdar TasiranS3, Amazon Web ServicesVerificeret mail på acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonVerificeret mail på cs.ucl.ac.uk
- Luc MarangetInriaVerificeret mail på inria.fr
- Andreas BauerUniversität AugsburgVerificeret mail på uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerificeret mail på lmu.de
- Alastair DonaldsonImperial College LondonVerificeret mail på imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyVerificeret mail på kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerificeret mail på diffblue.com
- Thomas WahlNortheastern University, Boston, USAVerificeret mail på northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenVerificeret mail på sosy.ifi.lmu.de
- Thomas LembergerLMU MunichVerificeret mail på lmu.de
- Felipe R. MonteiroAmazonVerificeret mail på amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerificeret mail på amazon.com