Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 12488 | 930 |
Índice h | 49 | 13 |
Índice i10 | 110 | 20 |
Acesso público
Ver todos4 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLE-mail confirmado em uva.nl
- Jos BaetenE-mail confirmado em cwi.nl
- Jörg EndrullisVU University AmsterdamE-mail confirmado em endrullis.de
- Vincent van OostromE-mail confirmado em javakade.nl
- Fer-Jan de VriesDepartment of Computer Science, University of LeicesterE-mail confirmado em mcs.le.ac.uk
- Zena AriolaUniversity of OregonE-mail confirmado em cs.uoregon.edu
- Dimitri HendriksVU University Amsterdam, Department of Computer ScienceE-mail confirmado em vu.nl
- Henk BarendregtFaculty of Science, Radboud UniversityE-mail confirmado em ru.nl
- Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.E-mail confirmado em cmp.uea.ac.uk
- Aart MiddeldorpUniversity of InnsbruckE-mail confirmado em uibk.ac.at
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgE-mail confirmado em informatik.uni-oldenburg.de
- Inge BethkeInformatics Institute, University of AmsterdamE-mail confirmado em uva.nl
- Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayE-mail confirmado em lix.polytechnique.fr
- Femke van RaamsdonkVU University AmsterdamE-mail confirmado em vu.nl
- Krzysztof R. AptCWI fellow, CWI , The NetherlandsE-mail confirmado em cwi.nl
- John-Jules Meyeremeritus Utrecht UniversityE-mail confirmado em cs.uu.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail confirmado em cwi.nl
- Catuscia PalamidessiInriaE-mail confirmado em lix.polytechnique.fr
- Detlef PlumpDepartment of Computer Science, University of YorkE-mail confirmado em york.ac.uk
- Aleksi SaarelaAcademy Research Fellow, University of TurkuE-mail confirmado em utu.fi