Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 2433 | 1084 |
h-индекс | 23 | 15 |
i10-индекс | 41 | 21 |
Публичен достъп
Преглед на всички15 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Daniel KroeningAmazonПотвърден имейл адрес: amazon.com
- Christian SchallhartGoogleПотвърден имейл адрес: schallhart.net
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienПотвърден имейл адрес: forsyte.tuwien.ac.at
- Jade AlglaveARM and University College LondonПотвърден имейл адрес: ucl.ac.uk
- Andreas HolzerUniversity of TorontoПотвърден имейл адрес: cs.toronto.edu
- Stefan KugeleTechnische Hochschule IngolstadtПотвърден имейл адрес: thi.de
- Serdar TasiranS3, Amazon Web ServicesПотвърден имейл адрес: acm.org
- Byron CookProfessor of Computer Science, UCL, AmazonПотвърден имейл адрес: cs.ucl.ac.uk
- Luc MarangetInriaПотвърден имейл адрес: inria.fr
- Andreas BauerUniversität AugsburgПотвърден имейл адрес: uni-a.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyПотвърден имейл адрес: lmu.de
- Alastair DonaldsonImperial College LondonПотвърден имейл адрес: imperial.ac.uk
- Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyПотвърден имейл адрес: kit.edu
- Tom MelhamProfessor of Computer Science, University of OxfordПотвърден имейл адрес: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexПотвърден имейл адрес: diffblue.com
- Thomas WahlNortheastern University, Boston, USAПотвърден имейл адрес: northeastern.edu
- Matthias DanglLudwig-Maximilians-Universität MünchenПотвърден имейл адрес: sosy.ifi.lmu.de
- Thomas LembergerLMU MunichПотвърден имейл адрес: lmu.de
- Felipe R. MonteiroAmazonПотвърден имейл адрес: amazon.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSПотвърден имейл адрес: amazon.com