Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 231 | 65 |
indeks-h | 10 | 5 |
indeks-i10 | 10 | 1 |
Akses publik
Lihat semua4 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETEmail yang diverifikasi di famaf.unc.edu.ar
- Daniel GeblerVU University AmsterdamEmail yang diverifikasi di vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail yang diverifikasi di cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of MontrealEmail yang diverifikasi di iro.umontreal.ca
- Gerardo RubinoInria/IrisaEmail yang diverifikasi di inria.fr
- Bruno TuffinInriaEmail yang diverifikasi di inria.fr
- Héctor CancelaUniversidad de la RepublicaEmail yang diverifikasi di fing.edu.uy
- Martin SteffenUniversity of OsloEmail yang diverifikasi di ifi.uio.no
- Raúl E. MontiUniversity of TwenteEmail yang diverifikasi di utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail yang diverifikasi di win.tue.nl
- Jurriaan RotRadboud UniversityEmail yang diverifikasi di cs.ru.nl
- Filippo BonchiCNRS ENS-LyonEmail yang diverifikasi di ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl