내 프로필 만들기
공개 액세스
모두 보기자료 40개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Ufuk TopcuThe University of Texas at Austinutexas.edu의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Hadas Kress-GazitCornell Universitycornell.edu의 이메일 확인됨
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austriaiaik.tugraz.at의 이메일 확인됨
- Robert KönighoferGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Hans-Jörg PeterSiemens EDAsiemens.com의 이메일 확인됨
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAumich.edu의 이메일 확인됨
- Scott NiekumAssociate Professor, University of Massachusetts Amherstcs.umass.edu의 이메일 확인됨
- Mohammed AlshiekhResearcher at University of Texas at Austinutexas.edu의 이메일 확인됨
- Vasumathi Ramancds.caltech.edu의 이메일 확인됨
- Stavros TripakisAssociate Professor, Northeastern Universitynortheastern.edu의 이메일 확인됨
- Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨
- Michael GerkeSchloss Dagstuhl - Leibniz-Zentrum für Informatikdagstuhl.de의 이메일 확인됨
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campuscispa.saarland의 이메일 확인됨
- Robert MattmüllerUniversity of Freiburg, Germanyrobert-mattmueller.de의 이메일 확인됨
- Kai Weng Wong (Catherine Wong)Cornell Universitycornell.edu의 이메일 확인됨
- Min WenGooglegoogle.com의 이메일 확인됨
- Leander TentrupSaarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Adam WalkerNICTA/UNSWnicta.com.au의 이메일 확인됨