Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 2429 | 1080 |
h-rodyklė | 23 | 15 |
i10-rodyklė | 41 | 21 |
Viešas pasiekiamumas
Peržiūrėti viską15 straipsnių
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Daniel KroeningAmazonPatvirtintas el. paštas amazon.com
- Christian SchallhartGooglePatvirtintas el. paštas schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPatvirtintas el. paštas forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonPatvirtintas el. paštas ucl.ac.uk
- Andreas HolzerUniversity of TorontoPatvirtintas el. paštas cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtPatvirtintas el. paštas thi.de
- Serdar TasiranS3, Amazon Web ServicesPatvirtintas el. paštas acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonPatvirtintas el. paštas cs.ucl.ac.uk
- Luc MarangetInriaPatvirtintas el. paštas inria.fr
- Andreas BauerUniversität AugsburgPatvirtintas el. paštas uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyPatvirtintas el. paštas lmu.de
- Alastair DonaldsonImperial College LondonPatvirtintas el. paštas imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyPatvirtintas el. paštas kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPatvirtintas el. paštas diffblue.com
- Thomas WahlNortheastern University, Boston, USAPatvirtintas el. paštas northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenPatvirtintas el. paštas sosy.ifi.lmu.de
- Thomas LembergerLMU MunichPatvirtintas el. paštas lmu.de
- Felipe R. MonteiroAmazonPatvirtintas el. paštas amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSPatvirtintas el. paštas amazon.com