Crea el meu perfil
Accés públic
Mostra-ho tot14 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityCorreu electrònic verificat a informatik.uni-freiburg.de
- Corneliu PopeeaTechnische Universität MünchenCorreu electrònic verificat a model.in.tum.de
- Byron CookProfessor of Computer Science, UCL, AmazonCorreu electrònic verificat a cs.ucl.ac.uk
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaCorreu electrònic verificat a tecnico.ulisboa.pt
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Juan Antonio Navarro PérezGoogleCorreu electrònic verificat a google.com
- Boris KöpfAzure Research, MicrosoftCorreu electrònic verificat a microsoft.com
- Tewodros A BeyeneTechnical University of MunichCorreu electrònic verificat a model.in.tum.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyCorreu electrònic verificat a lmu.de
- Sergey GrebenshchikovTechnische Universität MünchenCorreu electrònic verificat a in.tum.de
- Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamCorreu electrònic verificat a ucsd.edu
- Viorica Sofronie-StokkermansProfessor, University of KoblenzCorreu electrònic verificat a uni-koblenz.de
- Arie GurfinkelUniversity of WaterlooCorreu electrònic verificat a uwaterloo.ca
- Moshe Y. VardiRice UniversityCorreu electrònic verificat a cs.rice.edu
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityCorreu electrònic verificat a cispa.saarland
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinCorreu electrònic verificat a cs.utexas.edu
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Correu electrònic verificat a iist.unu.edu
- Mooly SagivTel Aviv UniversityCorreu electrònic verificat a acm.org
- Sumit GulwaniPartner Research Manager, MicrosoftCorreu electrònic verificat a microsoft.com
Segueix