Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 12492 | 934 |
Índice h | 49 | 13 |
Índice i10 | 110 | 20 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLDirección de correo verificada de uva.nl
- Jos BaetenDirección de correo verificada de cwi.nl
- Jörg EndrullisVU University AmsterdamDirección de correo verificada de endrullis.de
- Vincent van OostromDirección de correo verificada de javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterDirección de correo verificada de mcs.le.ac.uk
- Zena AriolaUniversity of OregonDirección de correo verificada de cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceDirección de correo verificada de vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityDirección de correo verificada de ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Dirección de correo verificada de cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgDirección de correo verificada de informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamDirección de correo verificada de uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayDirección de correo verificada de lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamDirección de correo verificada de vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsDirección de correo verificada de cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityDirección de correo verificada de cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
- Catuscia PalamidessiInriaDirección de correo verificada de lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkDirección de correo verificada de york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuDirección de correo verificada de utu.fi