Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2005 | 1120 |
h-indeks | 23 | 18 |
i10-indeks | 30 | 27 |
Dostęp publiczny
Wyświetl wszystko19 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Mike RaineyCarnegie Mellon UniversityZweryfikowany adres z mike-rainey.site
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceZweryfikowany adres z cs.cmu.edu
François PottierInria ParisZweryfikowany adres z inria.fr
Alan SchmittInria, IRISAZweryfikowany adres z inria.fr
Martin BodinInriaZweryfikowany adres z ens-lyon.org
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z cnrs.fr
Mário PereiraAssistant Professor, NOVA School of Science and TechnologyZweryfikowany adres z fct.unl.pt
Jean-Christophe FilliâtreCNRSZweryfikowany adres z lri.fr
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonZweryfikowany adres z imperial.ac.uk
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonZweryfikowany adres z doc.ic.ac.uk
Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
Amin TimanyAarhus UniversityZweryfikowany adres z cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityZweryfikowany adres z nyu.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichZweryfikowany adres z inf.ethz.ch
Filip SieczkowskiHeriot-Watt UniversityZweryfikowany adres z hw.ac.uk
Alexandre MoineInria ParisZweryfikowany adres z inria.fr
Samuel GruetterMITZweryfikowany adres z mit.edu