Crea il mio profilo
Accesso pubblico
Visualizza tutto16 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupEmail verificata su bc.edu
- Nickolai ZeldovichEmail verificata su csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Email verificata su mit.edu
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonEmail verificata su wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Guy L. Steele Jr.Oracle LabsEmail verificata su oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityEmail verificata su cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityEmail verificata su cornell.edu
- Simon SpiesMPI-SWSEmail verificata su mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Amin TimanyAarhus UniversityEmail verificata su cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Michael WickUniversity of MassachusettsEmail verificata su cs.umass.edu
- Daniel HuangAssistant ProfessorEmail verificata su sfsu.edu
Segui