Mijn eigen profiel maken
Openbare toegang
Alles bekijken6 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Radu MardareProfessor, University of StrathclydeGeverifieerd e-mailadres voor strath.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityGeverifieerd e-mailadres voor cs.mcgill.ca
- Dexter KozenProfessor of Computer Science, Cornell UniversityGeverifieerd e-mailadres voor cs.cornell.edu
- Dana ScottVisiting Scholar, UC BerkeleyGeverifieerd e-mailadres voor cs.cmu.edu
- Mathys RennelaResearcher at INRIAGeverifieerd e-mailadres voor inria.fr
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkGeverifieerd e-mailadres voor cs.aau.dk
- Kim G. LarsenDirector, Professor Aalborg UniversityGeverifieerd e-mailadres voor cs.aau.dk
- Bas WesterbaanResearch Engineer, CloudflareGeverifieerd e-mailadres voor cloudflare.com