Založit si vlastní profil
Veřejný přístup
Zobrazit všechny18 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Mike RaineyCarnegie Mellon UniversityE-mailová adresa ověřena na: mike-rainey.site
- Umut A. AcarCarnegie Mellon University, Department of Computer ScienceE-mailová adresa ověřena na: cs.cmu.edu
- François PottierInria ParisE-mailová adresa ověřena na: inria.fr
- Alan SchmittInria, IRISAE-mailová adresa ověřena na: inria.fr
- Martin BodinInriaE-mailová adresa ověřena na: ens-lyon.org
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Mário PereiraAssistant Professor, NOVA School of Science and TechnologyE-mailová adresa ověřena na: fct.unl.pt
- Jean-Christophe FilliâtreCNRSE-mailová adresa ověřena na: lri.fr
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonE-mailová adresa ověřena na: doc.ic.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Amin TimanyAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityE-mailová adresa ověřena na: nyu.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Filip SieczkowskiHeriot-Watt UniversityE-mailová adresa ověřena na: hw.ac.uk
- Alexandre MoineInria ParisE-mailová adresa ověřena na: inria.fr
- Samuel GruetterMITE-mailová adresa ověřena na: mit.edu