创建我的个人资料
开放获取的出版物数量
查看全部3 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Juergen DingelSchool of Computing, Queen's University, Canada在 cs.queensu.ca 的电子邮件经过验证
- Karen RudieProfessor, Electrical and Computer Engineering, Queen's University在 queensu.ca 的电子邮件经过验证
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Zeng (Connie) QiuFord Motor Company在 umich.edu 的电子邮件经过验证
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
- Yue MengMassachusetts Institute of Technology在 mit.edu 的电子邮件经过验证
- Chuchu FanWilson Assistant Professor of Aeronautics and Astronautics at MIT在 mit.edu 的电子邮件经过验证
- Andrzej WąsowskiProfessor, IT University of Copenhagen, Denmark在 itu.dk 的电子邮件经过验证
- Philipp BergerPhD Student at RWTH Aachen University在 cs.rwth-aachen.de 的电子邮件经过验证
- Necmiye OzayEECS, University of Michigan在 umich.edu 的电子邮件经过验证
- Liren YangSchool of AI & Automation, Huazhong UST在 hust.edu.cn 的电子邮件经过验证
- Dawei SunUniversity of Illinois Urbana-Champaign在 illinois.edu 的电子邮件经过验证
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität München在 in.tum.de 的电子邮件经过验证
- Wang XiaoResearch assistant, Technical University of Munich在 tum.de 的电子邮件经过验证
- Emdad AhmedVisiting Assistant Professor of Computer Science, Miami Universiry在 miamioh.edu 的电子邮件经过验证
- Yousaf RahmanFord Motor Company在 ford.com 的电子邮件经过验证
- Stefan SchuppFormal Verification @Apple