Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2434 | 1085 |
h-index | 23 | 15 |
i10-index | 41 | 21 |
Nyilvános hozzáférés
Összes megtekintése15 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Daniel KroeningAmazonE-mail megerősítve itt: amazon.com
- Christian SchallhartGoogleE-mail megerősítve itt: schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonE-mail megerősítve itt: ucl.ac.uk
- Andreas HolzerUniversity of TorontoE-mail megerősítve itt: cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtE-mail megerősítve itt: thi.de
- Serdar TasiranS3, Amazon Web ServicesE-mail megerősítve itt: acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonE-mail megerősítve itt: cs.ucl.ac.uk
- Luc MarangetInriaE-mail megerősítve itt: inria.fr
- Andreas BauerUniversität AugsburgE-mail megerősítve itt: uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyE-mail megerősítve itt: lmu.de
- Alastair DonaldsonImperial College LondonE-mail megerősítve itt: imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyE-mail megerősítve itt: kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail megerősítve itt: diffblue.com
- Thomas WahlNortheastern University, Boston, USAE-mail megerősítve itt: northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenE-mail megerősítve itt: sosy.ifi.lmu.de
- Thomas LembergerLMU MunichE-mail megerősítve itt: lmu.de
- Felipe R. MonteiroAmazonE-mail megerősítve itt: amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mail megerősítve itt: amazon.com