Skapa en profil
Offentlig åtkomst
Visa alla6 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Radu MardareProfessor, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerifierad e-postadress på cs.mcgill.ca
- Dexter KozenProfessor of Computer Science, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
- Dana ScottVisiting Scholar, UC BerkeleyVerifierad e-postadress på cs.cmu.edu
- Mathys RennelaResearcher at INRIAVerifierad e-postadress på inria.fr
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerifierad e-postadress på cs.aau.dk
- Kim G. LarsenDirector, Professor Aalborg UniversityVerifierad e-postadress på cs.aau.dk
- Bas WesterbaanResearch Engineer, CloudflareVerifierad e-postadress på cloudflare.com