Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2436 | 1087 |
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