创建我的个人资料
开放获取的出版物数量
查看全部18 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Patricia JohannAppalachian State University在 appstate.edu 的电子邮件经过验证
- Kazutaka MatsudaTohoku University在 ecei.tohoku.ac.jp 的电子邮件经过验证
- Zhenjiang HuProfessor, School of Computer Science, Peking University在 pku.edu.cn 的电子邮件经过验证
- Meng WangReader in Computer Science, University of Bristol在 bristol.ac.uk 的电子邮件经过验证
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of Ljubljana在 fmf.uni-lj.si 的电子邮件经过验证
- Nate FosterProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
- Jeremy GibbonsProfessor of Computing, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Tom SchrijversProfessor of Computer Science, KU Leuven在 cs.kuleuven.be 的电子邮件经过验证
- Jürgen GieslProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的电子邮件经过验证
- João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TEC在 di.uminho.pt 的电子邮件经过验证
- João Paulo FernandesVisiting Associate Professor, NYUAD在 fe.up.pt 的电子邮件经过验证
- John P GallagherRoskilde University在 ruc.dk 的电子邮件经过验证
- Lutz StraßburgerInria在 lix.polytechnique.fr 的电子邮件经过验证
- Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of Porto在 inesctec.pt 的电子邮件经过验证
- Nuno MacedoDEI @ FEUP & HASLab @ INESC TEC在 inesctec.pt 的电子邮件经过验证
- Alcino CunhaHASLab, INESC TEC and Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
- Ralf HinzeProfessor of Software Engineering, TU Kaiserslautern在 cs.uni-kl.de 的电子邮件经过验证
- Andres LöhHaskell Consultant, Well-Typed LLP在 well-typed.com 的电子邮件经过验证
- Frank HermannProduct Owner; CARIAD在 frank-hermann.de 的电子邮件经过验证
关注
Janis Voigtländer
Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
在 uni-due.de 的电子邮件经过验证 - 首页