自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Dave ClarkeIndependent確認したメール アドレス: storytel.com
- Tobias WrigstadProfessor of Computer Science, Uppsala University確認したメール アドレス: it.uu.se
- Einar Broch JohnsenProfessor, University of Oslo確認したメール アドレス: ifi.uio.no
- Elias CastegrenAssistant Professor, Uppsala University確認したメール アドレス: it.uu.se
- ludovic henrioCNRS確認したメール アドレス: ens-lyon.fr
- Ehsan KhamespanahPostdoc, Reykjavik University確認したメール アドレス: ru.is
- Reiner HähnleProfessor of Computer Science, Technical University of Darmstadt確認したメール アドレス: cs.tu-darmstadt.de
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, ING確認したメール アドレス: ing.com
- Marjan SirjaniMälardalen University確認したメール アドレス: mdh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of Oslo確認したメール アドレス: ifi.uio.no
- Huu Phuc VoPhD candidate, Uppsala University確認したメール アドレス: it.uu.se
- James NobleCreative Research & Programming確認したメール アドレス: acm.org
- Isaac Oscar GarianoVictoria University of Wellington確認したメール アドレス: ecs.vuw.ac.nz
- Sophia DrossopoulouProfessor, Imperial College London確認したメール アドレス: imperial.ac.uk
- Michael HomerVictoria University of Wellington確認したメール アドレス: ecs.vuw.ac.nz