自分のプロフィールを作成
オープン アクセス
すべて表示19 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", Italy確認したメール アドレス: unina.it
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Krishnendu ChatterjeeProfessor, IST Austria確認したメール アドレス: ist.ac.at
- B. Thomas AdlerFacebook, Inc.確認したメール アドレス: alumni.caltech.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente確認したメール アドレス: utwente.nl
- Vishwanath RamanPrivacy Architect, Oasis Labs確認したメール アドレス: oasislabs.com
- Stefano MoretPrincipal Investigator & Group Leader, ETH Zurich確認したメール アドレス: ethz.ch
- Marco L. Della VedovaSenior Lecturer at Chalmers University of Technology確認したメール アドレス: chalmers.se
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.確認したメール アドレス: nvidia.com
- axel legayUCLouvain確認したメール アドレス: uclouvain.be
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, Italy確認したメール アドレス: polito.it
- Eliana PastorPolitecnico di Torino確認したメール アドレス: polito.it
- Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
- J.J. Garcia-Luna-AcevesProfessor & CERC, University of Toronto; Distinguished Professor Emeritus, UC Santa Cruz確認したメール アドレス: soe.ucsc.edu
- Molly Can ZhangUniversity of California Santa Cruz確認したメール アドレス: ucsc.edu
- Andrea BiancoPolitecnico di Torino - Department of Electronics and Telecommunications確認したメール アドレス: polito.it
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science確認したメール アドレス: glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk