自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Marcello BonsangueProfessor of Computer Science, Leiden University確認したメール アドレス: liacs.leidenuniv.nl
- Alexandra SilvaCornell University確認したメール アドレス: cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University of確認したメール アドレス: utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Filippo BonchiCNRS ENS-Lyon確認したメール アドレス: ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden University確認したメール アドレス: liacs.nl
- Catuscia PalamidessiInria確認したメール アドレス: lix.polytechnique.fr
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of Groningen確認したメール アドレス: rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Marjan SirjaniMälardalen University確認したメール アドレス: mdh.se
- Davide SangiorgiProfessor of Computer Science, University of Bologna確認したメール アドレス: cs.unibo.it
- Jurriaan RotRadboud University確認したメール アドレス: cs.ru.nl
- Joost WinterUniversity of Warsaw確認したメール アドレス: mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of Technology確認したメール アドレス: win.tue.nl
- Enric Cosme LlópezUniversitat de València確認したメール アドレス: uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de València確認したメール アドレス: uv.es
- Prakash PanangadenProfessor of Computer Science, McGill University確認したメール アドレス: cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking University確認したメール アドレス: math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)確認したメール アドレス: ist.tugraz.at