Crea il mio profilo
Accesso pubblico
Visualizza tutto22 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsEmail verificata su mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
- Siddharth KrishnaIndependent ResearcherEmail verificata su cs.nyu.edu
- Viktor KunčakEPFLEmail verificata su epfl.ch
- Martin SchaefAmazon Web ServicesEmail verificata su amazon.com
- Ruzica PiskacAssociate ProfessorEmail verificata su yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSEmail verificata su courant.nyu.edu
- Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityEmail verificata su cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail verificata su amazon.com
- Zvonimir PavlinovicPhD student, New York UniversityEmail verificata su cs.nyu.edu
- martin rinardMITEmail verificata su lcs.mit.edu
- vasu singhEmail verificata su bmw.de
- Prateek MittalProfessor, Princeton UniversityEmail verificata su princeton.edu
- Anmol SinghBMW GroupEmail verificata su bmw.de
- Tim KingGoogle IncEmail verificata su google.com
- Michael WalfishProfessor of Computer Science, NYUEmail verificata su cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAISTEmail verificata su kaist.ac.kr
- Peter O'HearnLacework and University College LondonEmail verificata su ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk