Skapa en profil
Offentlig åtkomst
Visa alla18 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Mike RaineyCarnegie Mellon UniversityVerifierad e-postadress på mike-rainey.site
- Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerifierad e-postadress på cs.cmu.edu
- François PottierInria ParisVerifierad e-postadress på inria.fr
- Alan SchmittInria, IRISAVerifierad e-postadress på inria.fr
- Martin BodinInriaVerifierad e-postadress på ens-lyon.org
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyVerifierad e-postadress på fct.unl.pt
- Jean-Christophe FilliâtreCNRSVerifierad e-postadress på lri.fr
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerifierad e-postadress på imperial.ac.uk
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerifierad e-postadress på doc.ic.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Amin TimanyAarhus UniversityVerifierad e-postadress på cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityVerifierad e-postadress på nyu.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Filip SieczkowskiHeriot-Watt UniversityVerifierad e-postadress på hw.ac.uk
- Alexandre MoineInria ParisVerifierad e-postadress på inria.fr
- Samuel GruetterMITVerifierad e-postadress på mit.edu