自分のプロフィールを作成
オープン アクセス
すべて表示12 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)確認したメール アドレス: lmf.cnrs.fr
- Marino MiculanUniversity of Udine, Italy確認したメール アドレス: uniud.it
- Marco PeressottiUniversity of Southern Denmark確認したメール アドレス: imada.sdu.dk
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICET確認したメール アドレス: unc.edu.ar
- Etienne LozesUniversité Côte d'Azur確認したメール アドレス: univ-cotedazur.fr
- Christoph HaaseUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Bartosz BednarczykUniwersytet Wrocławski & TU Dresden確認したメール アドレス: cs.uni.wroc.pl
- Zahra HadizadehUniversité Paris Cité確認したメール アドレス: etu.u-paris.fr
- Michael BenediktProfessor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Angelo MontanariProfessor of Computer Science, Univ. of Udine確認したメール アドレス: uniud.it
- Luca GeattiUniversity of Udine確認したメール アドレス: uniud.it
- Amaury PoulyCNRS/IRIF確認したメール アドレス: irif.fr
- Guillermo A. PérezAssociate Professor, University of Antwerp確認したメール アドレス: uantwerp.be