自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Martin TapplerGraz University of Technology確認したメール アドレス: ist.tugraz.at
- Willibald KrennSAL Silicon Austria Labs確認したメール アドレス: silicon-austria.com
- Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of Oslo確認したメール アドレス: ifi.uio.no
- Stefan TiranStudent, Graz, University of Technology確認したメール アドレス: ist.tugraz.at
- Edi MuškardinSillicon-Austria Labs確認したメール アドレス: silicon-austria.com
- Franz WotawaProfessor of Computer Science, Graz University of Technology, Austria確認したメール アドレス: ist.tugraz.at
- Rupert SchlickAIT Austrian Institute of Technology GmbH確認したメール アドレス: ait.ac.at
- Dejan NickovicAustrian Institute of Technology確認したメール アドレス: ait.ac.at
- Meng SunProfessor, School of Mathematical Science, Peking University確認したメール アドレス: math.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 London確認したメール アドレス: arm.com
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Einar Broch JohnsenProfessor, University of Oslo確認したメール アドレス: ifi.uio.no
- Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 Graz確認したメール アドレス: silicon-austria.com
- Kim G. LarsenDirector, Professor Aalborg University確認したメール アドレス: cs.aau.dk
- Marcello BonsangueProfessor of Computer Science, Leiden University確認したメール アドレス: liacs.leidenuniv.nl
- Franz PernkopfGraz University of Technology確認したメール アドレス: tugraz.at
- Markus TranningerGraz University of Technology確認したメール アドレス: tugraz.at
- Marcel KyasAssistant Professor, Reykjavik University確認したメール アドレス: ru.is