Mijn eigen profiel maken
Openbare toegang
Alles weergeven17 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
Thomas HenzingerIST AustriaGeverifieerd e-mailadres voor ist.ac.at
Sorin LernerProfessor, CSE Dept, UC San DiegoGeverifieerd e-mailadres voor cs.ucsd.edu
Niki VazouIMDEA Software InstituteGeverifieerd e-mailadres voor cs.umd.edu
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyGeverifieerd e-mailadres voor lmu.de
Ravi ChughUniversity of ChicagoGeverifieerd e-mailadres voor cs.uchicago.edu
Grégoire SutreResearch Fellow, CNRS, University of BordeauxGeverifieerd e-mailadres voor labri.fr
Eric L SeidelBloombergGeverifieerd e-mailadres voor seidel.io
Westley WeimerProfessor Computer Science, University of MichiganGeverifieerd e-mailadres voor umich.edu
Deian StefanUC San DiegoGeverifieerd e-mailadres voor eng.ucsd.edu
Charles KillianSoftware Engineer, Google, and Adjunct Professor of Computer Science, Purdue UniversityGeverifieerd e-mailadres voor google.com
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoGeverifieerd e-mailadres voor ucsd.edu
Hovav ShachamProfessor of Computer Science, The University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
Amin VahdatGoogleGeverifieerd e-mailadres voor cs.ucsd.edu
Steven SwansonUniversity of California, San DiegoGeverifieerd e-mailadres voor eng.ucsd.edu
Dongseok JangPhD Student of University of California, San DiegoGeverifieerd e-mailadres voor cs.ucsd.edu
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor ucsd.edu
Adam ChlipalaMIT CSAILGeverifieerd e-mailadres voor csail.mit.edu
Laura (Grupp) CaulfieldSenior Developer, MicrosoftGeverifieerd e-mailadres voor microsoft.com
Ameen AkelMicron Technology, Inc.Geverifieerd e-mailadres voor micron.com
Ranjit Jhala
Professor of Computer Science, UC San Diego
Geverifieerd e-mailadres voor cs.ucsd.edu - Homepage