Skapa en profil
Offentlig åtkomst
Visa alla16 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerifierad e-postadress på bc.edu
- Nickolai ZeldovichVerifierad e-postadress på csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Verifierad e-postadress på mit.edu
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonVerifierad e-postadress på wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Guy L. Steele Jr.Oracle LabsVerifierad e-postadress på oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityVerifierad e-postadress på cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityVerifierad e-postadress på cornell.edu
- Simon SpiesMPI-SWSVerifierad e-postadress på mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Amin TimanyAarhus UniversityVerifierad e-postadress på cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Michael WickUniversity of MassachusettsVerifierad e-postadress på cs.umass.edu
- Daniel HuangAssistant ProfessorVerifierad e-postadress på sfsu.edu
Följ
Joseph Tassarotti
Assistant Professor, New York University
Verifierad e-postadress på nyu.edu - Startsida