Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteVerifierad e-postadress på imdea.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Matthieu SozeauResarcher, Inria Paris and PPSVerifierad e-postadress på inria.fr
- Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de GoiásVerifierad e-postadress på inf.ufg.br
- Fabio Mascarenhassama.comVerifierad e-postadress på sama.com
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAMVerifierad e-postadress på ciencias.unam.mx
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerifierad e-postadress på unc.edu.ar
- Francisco TruccoUniversity of GroningenVerifierad e-postadress på rug.nl
- Ignacio TiraboschiPhD Student, ENS Paris - INRIAVerifierad e-postadress på inria.fr
- RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro PretoVerifierad e-postadress på ufop.edu.br