Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 946 | 575 |
h-index | 13 | 10 |
i10-index | 14 | 10 |
Acces public
Afișați-le pe toate6 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonAdresă de e-mail confirmată pe cs.uni-saarland.de
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Santiago Zanella-BéguelinMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresă de e-mail confirmată pe rub.de
- Boris KöpfAzure Research, MicrosoftAdresă de e-mail confirmată pe microsoft.com
- Annabelle McIverMacquarie UniversityAdresă de e-mail confirmată pe mq.edu.au