Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 824 | 283 |
h-indeks | 16 | 6 |
i10-indeks | 23 | 2 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Marjan SirjaniMälardalen UniversityZweryfikowany adres z mdh.se
- Silvia OlabarriagaAmsterdam University Medical Centers, University of AmsterdamZweryfikowany adres z amc.uva.nl
- Boris BleijlevensGenmab UtrechtZweryfikowany adres z genmab.com
- Tom ChothiaUniversity of BirminghamZweryfikowany adres z cs.bham.ac.uk
- Shayan ShahandAcademic Medical Center, University of AmsterdamZweryfikowany adres z amc.uva.nl
- Amin ShaliUniversity of Texas, AustinZweryfikowany adres z cs.utexas.edu
- Wang YiProfessor of Embedded Systems, Uppsala UniversityZweryfikowany adres z it.uu.se
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonZweryfikowany adres z kcl.ac.uk
- Christel BaierTU DresdenZweryfikowany adres z tu-dresden.de
- Einar Broch JohnsenProfessor, University of OsloZweryfikowany adres z ifi.uio.no
- Behrooz NobakhtLIACS, CWIZweryfikowany adres z liacs.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaZweryfikowany adres z cs.unibo.it
- Farhad ArbabProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.nl
- Andreas GriesmayerImperial College LondonZweryfikowany adres z arm.com
- Ramtin KhosraviAssistant Prof., University of TehranZweryfikowany adres z ut.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.leidenuniv.nl