내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Martin TapplerGraz University of Technologyist.tugraz.at의 이메일 확인됨
- Willibald KrennSAL Silicon Austria Labssilicon-austria.com의 이메일 확인됨
- Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of Osloifi.uio.no의 이메일 확인됨
- Stefan TiranStudent, Graz, University of Technologyist.tugraz.at의 이메일 확인됨
- Edi MuškardinSillicon-Austria Labssilicon-austria.com의 이메일 확인됨
- Franz WotawaProfessor of Computer Science, Graz University of Technology, Austriaist.tugraz.at의 이메일 확인됨
- Rupert SchlickAIT Austrian Institute of Technology GmbHait.ac.at의 이메일 확인됨
- Dejan NickovicAustrian Institute of Technologyait.ac.at의 이메일 확인됨
- Meng SunProfessor, School of Mathematical Science, Peking Universitymath.pku.edu.cn의 이메일 확인됨
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Richard SchumiSingapore Management University (SMU)smu.edu.sg의 이메일 확인됨
- Andreas GriesmayerImperial College Londonarm.com의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Einar Broch JohnsenProfessor, University of Osloifi.uio.no의 이메일 확인됨
- Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 Grazsilicon-austria.com의 이메일 확인됨
- Kim G. LarsenDirector, Professor Aalborg Universitycs.aau.dk의 이메일 확인됨
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
- Franz PernkopfGraz University of Technologytugraz.at의 이메일 확인됨
- Markus TranningerGraz University of Technologytugraz.at의 이메일 확인됨
- Marcel KyasAssistant Professor, Reykjavik Universityru.is의 이메일 확인됨