Crea il mio profilo
Accesso pubblico
Visualizza tutto6 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenEmail verificata su cs.ru.nl
- Radu MardareProfessor, University of StrathclydeEmail verificata su strath.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail verificata su cs.mcgill.ca
- Dexter KozenProfessor of Computer Science, Cornell UniversityEmail verificata su cs.cornell.edu
- Dana ScottVisiting Scholar, UC BerkeleyEmail verificata su cs.cmu.edu
- Mathys RennelaResearcher at INRIAEmail verificata su inria.fr
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkEmail verificata su cs.aau.dk
- Kim G. LarsenDirector, Professor Aalborg UniversityEmail verificata su cs.aau.dk
- Bas WesterbaanResearch Engineer, CloudflareEmail verificata su cloudflare.com