Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 363 | 177 |
h-индекс | 9 | 4 |
i10-индекс | 9 | 2 |
Публичен достъп
Преглед на всички6 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
- Stijn de GouwAssistant Professor, Open University, The NetherlandsПотвърден имейл адрес: ou.nl
- Mohammad Mahdi JaghooriDockmeh, CWIПотвърден имейл адрес: cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGПотвърден имейл адрес: ing.com
- Chetan NagarajagowdaCWIПотвърден имейл адрес: cwi.nl
- Sadegh AliakbaryShahid Beheshti UniversityПотвърден имейл адрес: sbu.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityПотвърден имейл адрес: liacs.leidenuniv.nl