创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
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 的电子邮件经过验证