Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Arthur CharguéraudInriaVerified email at inria.fr
Vincent SimonetGoogle, FranceVerified email at vtst.net
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Christian SkalkaAssociate Professor of Computer Science, University of VermontVerified email at uvm.edu
Didier RémyINRIAVerified email at inria.fr
Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityVerified email at cs.jhu.edu
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Bernhard ReusUniversity of SussexVerified email at sussex.ac.uk
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Alexandre MoineInria ParisVerified email at inria.fr
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org
Jean-Marie MadiotINRIAVerified email at inria.fr
Mário PereiraAssistant Professor, NOVA School of Science and TechnologyVerified email at fct.unl.pt