Mijn eigen profiel maken
Openbare toegang
Alles bekijken3 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Jade AlglaveARM and University College LondonGeverifieerd e-mailadres voor ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsGeverifieerd e-mailadres voor st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Didier RémyINRIAGeverifieerd e-mailadres voor inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Shaked FlurCambridge UniversityGeverifieerd e-mailadres voor cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- Scott OwensUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor unibo.it
- Michael TautschnigQueen Mary University of LondonGeverifieerd e-mailadres voor qmul.ac.uk
- ali sezginUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Qin MaUniversity of LuxembourgGeverifieerd e-mailadres voor uni.lu
- Paul McKenneySoftware Engineer, FacebookGeverifieerd e-mailadres voor meta.com
- Alan SchmittInria, IRISAGeverifieerd e-mailadres voor inria.fr
- Louis MandelIBM ResearchGeverifieerd e-mailadres voor us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonGeverifieerd e-mailadres voor ucl.ac.uk