Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 363 | 177 |
h-rodyklė | 9 | 4 |
i10-rodyklė | 9 | 2 |
Viešas pasiekiamumas
Peržiūrėti viską6 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Patvirtintas el. paštas cwi.nl
- Stijn de GouwAssistant Professor, Open University, The NetherlandsPatvirtintas el. paštas ou.nl
- Mohammad Mahdi JaghooriDockmeh, CWIPatvirtintas el. paštas cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGPatvirtintas el. paštas ing.com
- Chetan NagarajagowdaCWIPatvirtintas el. paštas cwi.nl
- Sadegh AliakbaryShahid Beheshti UniversityPatvirtintas el. paštas sbu.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl