Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2434 | 1087 |
h-indeks | 23 | 15 |
i10-indeks | 41 | 21 |
Dostęp publiczny
Wyświetl wszystko15 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Daniel KroeningAmazonZweryfikowany adres z amazon.com
- Christian SchallhartGoogleZweryfikowany adres z schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienZweryfikowany adres z forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonZweryfikowany adres z ucl.ac.uk
- Andreas HolzerUniversity of TorontoZweryfikowany adres z cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtZweryfikowany adres z thi.de
- Serdar TasiranS3, Amazon Web ServicesZweryfikowany adres z acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonZweryfikowany adres z cs.ucl.ac.uk
- Luc MarangetInriaZweryfikowany adres z inria.fr
- Andreas BauerUniversität AugsburgZweryfikowany adres z uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyZweryfikowany adres z lmu.de
- Alastair DonaldsonImperial College LondonZweryfikowany adres z imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyZweryfikowany adres z kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexZweryfikowany adres z diffblue.com
- Thomas WahlNortheastern University, Boston, USAZweryfikowany adres z northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenZweryfikowany adres z sosy.ifi.lmu.de
- Thomas LembergerLMU MunichZweryfikowany adres z lmu.de
- Felipe R. MonteiroAmazonZweryfikowany adres z amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSZweryfikowany adres z amazon.com