Skapa en profil
Offentlig åtkomst
Visa alla22 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerifierad e-postadress på mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerifierad e-postadress på informatik.uni-freiburg.de
- Siddharth KrishnaIndependent ResearcherVerifierad e-postadress på cs.nyu.edu
- Viktor KunčakEPFLVerifierad e-postadress på epfl.ch
- Martin SchaefAmazon Web ServicesVerifierad e-postadress på amazon.com
- Ruzica PiskacAssociate ProfessorVerifierad e-postadress på yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerifierad e-postadress på courant.nyu.edu
- Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityVerifierad e-postadress på cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerifierad e-postadress på amazon.com
- Zvonimir PavlinovicPhD student, New York UniversityVerifierad e-postadress på cs.nyu.edu
- martin rinardMITVerifierad e-postadress på lcs.mit.edu
- vasu singhVerifierad e-postadress på bmw.de
- Prateek MittalProfessor, Princeton UniversityVerifierad e-postadress på princeton.edu
- Anmol SinghBMW GroupVerifierad e-postadress på bmw.de
- Tim KingGoogle IncVerifierad e-postadress på google.com
- Michael WalfishProfessor of Computer Science, NYUVerifierad e-postadress på cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAISTVerifierad e-postadress på kaist.ac.kr
- Peter O'HearnLacework and University College LondonVerifierad e-postadress på ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonVerifierad e-postadress på cs.ucl.ac.uk