Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Jos BaetenVerified email at cwi.nl
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de
Vincent van OostromVerified email at javakade.nl
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Verified email at cmp.uea.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at
Inge BethkeInformatics Institute, University of AmsterdamVerified email at uva.nl
Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Detlef PlumpDepartment of Computer Science, University of YorkVerified email at york.ac.uk
Aleksi SaarelaAcademy Research Fellow, University of TurkuVerified email at utu.fi
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester