自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Corneliu PopeeaTechnische Universität München確認したメール アドレス: model.in.tum.de
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Juan Antonio Navarro PérezGoogle確認したメール アドレス: google.com
- Boris KöpfAzure Research, Microsoft確認したメール アドレス: microsoft.com
- Tewodros A BeyeneTechnical University of Munich確認したメール アドレス: model.in.tum.de
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germany確認したメール アドレス: lmu.de
- Sergey GrebenshchikovTechnische Universität München確認したメール アドレス: in.tum.de
- Klaus v. GleissenthallAssistant Professor, Vrije Universiteit Amsterdam確認したメール アドレス: ucsd.edu
- Viorica Sofronie-StokkermansProfessor, University of Koblenz確認したメール アドレス: uni-koblenz.de
- Arie GurfinkelUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.saarland
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at Austin確認したメール アドレス: cs.utexas.edu
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)確認したメール アドレス: iist.unu.edu
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Sumit GulwaniPartner Research Manager, Microsoft確認したメール アドレス: microsoft.com