自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Catuscia PalamidessiInria確認したメール アドレス: lix.polytechnique.fr
- Ivan LaneseUniversity of Bologna確認したメール アドレス: unibo.it
- Gianluigi ZavattaroProfessor in Computer Science, University of Bologna確認したメール アドレス: cs.unibo.it
- Mila Dalla PredaUniversity of Verona, Italy確認したメール アドレス: univr.it
- Fabrizio MontesiProfessor of Computer Science, University of Southern Denmark確認したメール アドレス: imada.sdu.dk
- Giorgio DelzannoAssociate Professor, Università di Genova確認したメール アドレス: unige.it
- Kim MarriottProfessor, Monash University確認したメール アドレス: monash.edu
- Elena MarchioriRadboud University確認したメール アドレス: cs.ru.nl
- Krzysztof R. AptCWI fellow, CWI , The Netherlands確認したメール アドレス: cwi.nl
- Stefano BistarelliFull professor of Computer Science at University of Perugia確認したメール アドレス: unipg.it
- Francesco SantiniDipartimento Matematica e Informatica, Perugia確認したメール アドレス: dmi.unipg.it
- Dino PedreschiProfessor of Computer Science, University of Pisa確認したメール アドレス: di.unipi.it
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)確認したメール アドレス: vrain.upv.es
- Frank D. ValenciaCNRS, École Polytechnique de Paris確認したメール アドレス: lix.polytechnique.fr
- Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)確認したメール アドレス: math.unipd.it
- Daniele TuriCTO, HSS Proservice
フォロー