Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Arthur CharguéraudInriaVerifierad e-postadress på inria.fr
- Vincent SimonetGoogle, FranceVerifierad e-postadress på vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchVerifierad e-postadress på ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontVerifierad e-postadress på uvm.edu
- Didier RémyINRIAVerifierad e-postadress på inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityVerifierad e-postadress på cs.jhu.edu
- Xavier LeroyCollège de FranceVerifierad e-postadress på college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTVerifierad e-postadress på kaist.ac.kr
- Bernhard ReusUniversity of SussexVerifierad e-postadress på sussex.ac.uk
- Jean-Christophe FilliâtreCNRSVerifierad e-postadress på lri.fr
- Alexandre MoineInria ParisVerifierad e-postadress på inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerifierad e-postadress på dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyVerifierad e-postadress på fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityVerifierad e-postadress på cs.princeton.edu