Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3669 | 977 |
h-indeks | 32 | 17 |
i10-indeks | 64 | 34 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Arthur CharguéraudInriaZweryfikowany adres z inria.fr
- Vincent SimonetGoogle, FranceZweryfikowany adres z vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z normalesup.org
- Jonathan ProtzenkoMicrosoft ResearchZweryfikowany adres z ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityZweryfikowany adres z pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of VermontZweryfikowany adres z uvm.edu
- Didier RémyINRIAZweryfikowany adres z inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityZweryfikowany adres z cs.jhu.edu
- Xavier LeroyCollège de FranceZweryfikowany adres z college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Hongseok YangProfessor, School of Computing, KAISTZweryfikowany adres z kaist.ac.kr
- Bernhard ReusUniversity of SussexZweryfikowany adres z sussex.ac.uk
- Jean-Christophe FilliâtreCNRSZweryfikowany adres z lri.fr
- Alexandre MoineInria ParisZweryfikowany adres z inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris DiderotZweryfikowany adres z dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyZweryfikowany adres z fct.unl.pt
- Jean-Marie MadiotPrinceton UniversityZweryfikowany adres z cs.princeton.edu