Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 825 | 339 |
h-індекс | 14 | 11 |
i10-індекс | 16 | 11 |
Доступні для всіх
Переглянути всі8 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceПідтверджена електронна адреса в irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayПідтверджена електронна адреса в lsv.fr
- Romain BrenguierUniversity of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolПідтверджена електронна адреса в liverpool.ac.uk
- Christel BaierTU DresdenПідтверджена електронна адреса в tu-dresden.de
- Erich GrädelRWTH Aachen UniversityПідтверджена електронна адреса в logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderПідтверджена електронна адреса в colorado.edu
- Aistis ŠimaitisUniversity of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonПідтверджена електронна адреса в bbk.ac.uk
- Vojtěch ForejtDifflblueПідтверджена електронна адреса в diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordПідтверджена електронна адреса в comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriПідтверджена електронна адреса в missouri.edu
Підписатись
Michael Ummels
Researcher, German Aerospace Center
Підтверджена електронна адреса в logic.rwth-aachen.de