建立我自己的個人學術檔案
公開取用
查看全部25 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit Leuven在 cs.kuleuven.be 的電子郵件地址已通過驗證
- Dominique DevrieseKU Leuven在 kuleuven.be 的電子郵件地址已通過驗證
- Leo StefanescoMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Leon GondelmanPost-doctoral researcher, Aarhus University, Denmark在 cs.au.dk 的電子郵件地址已通過驗證
- Simon Oddershede GregersenPostdoctoral fellow, New York University在 nyu.edu 的電子郵件地址已通過驗證
- Aïna Linn GeorgesAarhus University在 mpi-sws.org 的電子郵件地址已通過驗證
- Alix TrieuANSSI在 ssi.gouv.fr 的電子郵件地址已通過驗證
- Abel NietoGroq在 groq.com 的電子郵件地址已通過驗證
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的電子郵件地址已通過驗證
- Rodolphe LepigreMPI-SWS在 mpi-sws.org 的電子郵件地址已通過驗證
- Marianna RapoportUniversity of Waterloo在 uwaterloo.ca 的電子郵件地址已通過驗證
- Sander HuyghebaertVrije Universiteit Brussel在 vub.be 的電子郵件地址已通過驗證
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的電子郵件地址已通過驗證
- Arthur CharguéraudInria在 inria.fr 的電子郵件地址已通過驗證
- Joseph TassarottiAssistant Professor, New York University在 nyu.edu 的電子郵件地址已通過驗證
- Matthieu SozeauResarcher, Inria Paris and PPS在 inria.fr 的電子郵件地址已通過驗證
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.在 tudelft.nl 的電子郵件地址已通過驗證