Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 231 | 65 |
h-indeks | 10 | 5 |
i10-indeks | 10 | 1 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETZweryfikowany adres z famaf.unc.edu.ar
- Daniel GeblerVU University AmsterdamZweryfikowany adres z vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaZweryfikowany adres z cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of MontrealZweryfikowany adres z iro.umontreal.ca
- Gerardo RubinoInria/IrisaZweryfikowany adres z inria.fr
- Bruno TuffinInriaZweryfikowany adres z inria.fr
- Héctor CancelaUniversidad de la RepublicaZweryfikowany adres z fing.edu.uy
- Martin SteffenUniversity of OsloZweryfikowany adres z ifi.uio.no
- Raúl E. MontiUniversity of TwenteZweryfikowany adres z utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyZweryfikowany adres z win.tue.nl
- Jurriaan RotRadboud UniversityZweryfikowany adres z cs.ru.nl
- Filippo BonchiCNRS ENS-LyonZweryfikowany adres z ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyZweryfikowany adres z tue.nl