自分のプロフィールを作成
オープン アクセス
すべて表示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