Crea il mio profilo
Accesso pubblico
Visualizza tutto3 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Arthur CharguéraudInriaEmail verificata su inria.fr
- Vincent SimonetGoogle, FranceEmail verificata su vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchEmail verificata su ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail verificata su pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontEmail verificata su uvm.edu
- Didier RémyINRIAEmail verificata su inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityEmail verificata su cs.jhu.edu
- Xavier LeroyCollège de FranceEmail verificata su college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTEmail verificata su kaist.ac.kr
- Bernhard ReusUniversity of SussexEmail verificata su sussex.ac.uk
- Jean-Christophe FilliâtreCNRSEmail verificata su lri.fr
- Alexandre MoineInria ParisEmail verificata su inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotEmail verificata su dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyEmail verificata su fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityEmail verificata su cs.princeton.edu