Založit si vlastní profil
Veřejný přístup
Zobrazit všechny16 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupE-mailová adresa ověřena na: bc.edu
- Nickolai ZeldovichE-mailová adresa ověřena na: csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)E-mailová adresa ověřena na: mit.edu
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonE-mailová adresa ověřena na: wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Guy L. Steele Jr.Oracle LabsE-mailová adresa ověřena na: oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityE-mailová adresa ověřena na: cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityE-mailová adresa ověřena na: cornell.edu
- Simon SpiesMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Amin TimanyAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Michael WickUniversity of MassachusettsE-mailová adresa ověřena na: cs.umass.edu
- Daniel HuangAssistant ProfessorE-mailová adresa ověřena na: sfsu.edu
Sledovat
Joseph Tassarotti
Assistant Professor, New York University
E-mailová adresa ověřena na: nyu.edu - Domovská stránka