Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1984 | 1095 |
h-indeks | 23 | 18 |
i10-indeks | 30 | 26 |
Dostęp publiczny
Wyświetl wszystko18 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 normalesup.org
- 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