Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 825 | 339 |
h-index | 14 | 11 |
i10-index | 16 | 11 |
Nyilvános hozzáférés
Összes megtekintése8 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceE-mail megerősítve itt: irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayE-mail megerősítve itt: lsv.fr
- Romain BrenguierUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolE-mail megerősítve itt: liverpool.ac.uk
- Christel BaierTU DresdenE-mail megerősítve itt: tu-dresden.de
- Erich GrädelRWTH Aachen UniversityE-mail megerősítve itt: logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mail megerősítve itt: colorado.edu
- Aistis ©imaitisUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mail megerősítve itt: bbk.ac.uk
- Vojtěch ForejtDifflblueE-mail megerősítve itt: diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mail megerősítve itt: comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriE-mail megerősítve itt: missouri.edu
Követés
Michael Ummels
Researcher, German Aerospace Center
E-mail megerősítve itt: logic.rwth-aachen.de