Založit si vlastní profil
Veřejný přístup
Zobrazit všechny3 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Arthur CharguéraudInriaE-mailová adresa ověřena na: inria.fr
- Vincent SimonetGoogle, FranceE-mailová adresa ověřena na: vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchE-mailová adresa ověřena na: ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mailová adresa ověřena na: pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontE-mailová adresa ověřena na: uvm.edu
- Didier RémyINRIAE-mailová adresa ověřena na: inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityE-mailová adresa ověřena na: cs.jhu.edu
- Xavier LeroyCollège de FranceE-mailová adresa ověřena na: college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTE-mailová adresa ověřena na: kaist.ac.kr
- Bernhard ReusUniversity of SussexE-mailová adresa ověřena na: sussex.ac.uk
- Jean-Christophe FilliâtreCNRSE-mailová adresa ověřena na: lri.fr
- Alexandre MoineInria ParisE-mailová adresa ověřena na: inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotE-mailová adresa ověřena na: dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyE-mailová adresa ověřena na: fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityE-mailová adresa ověřena na: cs.princeton.edu