Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 2442 | 1093 |
H-indeks | 23 | 15 |
i10-indeks | 42 | 22 |
Javni pristup
Prikaži sve15 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Daniel KroeningAmazonPotvrđena adresa e-pošte na amazon.com
- Christian SchallhartGooglePotvrđena adresa e-pošte na schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPotvrđena adresa e-pošte na forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonPotvrđena adresa e-pošte na ucl.ac.uk
- Andreas HolzerUniversity of TorontoPotvrđena adresa e-pošte na cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtPotvrđena adresa e-pošte na thi.de
- Serdar TasiranS3, Amazon Web ServicesPotvrđena adresa e-pošte na acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonPotvrđena adresa e-pošte na cs.ucl.ac.uk
- Luc MarangetInriaPotvrđena adresa e-pošte na inria.fr
- Andreas BauerUniversität AugsburgPotvrđena adresa e-pošte na uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyPotvrđena adresa e-pošte na lmu.de
- Alastair DonaldsonImperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyPotvrđena adresa e-pošte na kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPotvrđena adresa e-pošte na diffblue.com
- Thomas WahlNortheastern University, Boston, USAPotvrđena adresa e-pošte na northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenPotvrđena adresa e-pošte na sosy.ifi.lmu.de
- Thomas LembergerLMU MunichPotvrđena adresa e-pošte na lmu.de
- Felipe R. MonteiroAmazonPotvrđena adresa e-pošte na amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSPotvrđena adresa e-pošte na amazon.com