Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 87 | 43 |
h-indeks | 6 | 5 |
i10-indeks | 4 | 0 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
1 artykuł
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
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGZweryfikowany adres z ing.com
- Nikolaos BezirgiannisZweryfikowany adres z cwi.nl
- Behrooz NobakhtLIACS, CWIZweryfikowany adres z liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyZweryfikowany adres z win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityZweryfikowany adres z sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyZweryfikowany adres z sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinZweryfikowany adres z ucd.ie
Obserwuj
Keyvan Azadbakht
PhD in Computer Science, Leiden University
Brak zweryfikowanego adresu e-mail