Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 12490 | 932 |
h-indeks | 49 | 13 |
i10-indeks | 110 | 20 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLZweryfikowany adres z uva.nl
- Jos BaetenZweryfikowany adres z cwi.nl
- Jörg EndrullisVU University AmsterdamZweryfikowany adres z endrullis.de
- Vincent van OostromZweryfikowany adres z javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterZweryfikowany adres z mcs.le.ac.uk
- Zena AriolaUniversity of OregonZweryfikowany adres z cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceZweryfikowany adres z vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityZweryfikowany adres z ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Zweryfikowany adres z cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckZweryfikowany adres z uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgZweryfikowany adres z informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamZweryfikowany adres z uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayZweryfikowany adres z lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamZweryfikowany adres z vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsZweryfikowany adres z cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityZweryfikowany adres z cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Catuscia PalamidessiInriaZweryfikowany adres z lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkZweryfikowany adres z york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuZweryfikowany adres z utu.fi