Mijn eigen profiel maken
Openbare toegang
Alles bekijken9 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteGeverifieerd e-mailadres voor imdea.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityGeverifieerd e-mailadres voor pps.univ-paris-diderot.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Geverifieerd e-mailadres voor mpi-sws.org
- Matthieu SozeauResarcher, Inria Paris and PPSGeverifieerd e-mailadres voor inria.fr
- Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de GoiásGeverifieerd e-mailadres voor inf.ufg.br
- Fabio Mascarenhassama.comGeverifieerd e-mailadres voor sama.com
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAMGeverifieerd e-mailadres voor ciencias.unam.mx
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETGeverifieerd e-mailadres voor unc.edu.ar
- Francisco TruccoUniversity of GroningenGeverifieerd e-mailadres voor rug.nl
- Ignacio TiraboschiPhD Student, ENS Paris - INRIAGeverifieerd e-mailadres voor inria.fr
- RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro PretoGeverifieerd e-mailadres voor ufop.edu.br