自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Mike DoddsGalois Inc.確認したメール アドレス: galois.com
- Gavin BiermanOracle確認したメール アドレス: oracle.com
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Richard BornatProfessor of Computer Programming, Middlesex University確認したメール アドレス: bornat.me.uk
- Dino DistefanoMeta and Queen Mary University of London確認したメール アドレス: eecs.qmul.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus University確認したメール アドレス: itu.dk
- Peter O'HearnLacework and University College London確認したメール アドレス: ucl.ac.uk
- Thomas Dinsdale-YoungAarhus University確認したメール アドレス: d-y.me.uk
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College London確認したメール アドレス: imperial.ac.uk
- Sylvan ClebschMicrosoft Research確認したメール アドレス: microsoft.com
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Matko BotincanComputer Scientist確認したメール アドレス: cam.ac.uk
- Alexey GotsmanIMDEA Software Institute確認したメール アドレス: imdea.org
- James NobleCreative Research & Programming確認したメール アドレス: acm.org
- Hongseok YangProfessor, School of Computing, KAIST確認したメール アドレス: kaist.ac.kr
- Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of Technology確認したメール アドレス: stevens.edu
- Colin S. GordonAssociate Professor of Computer Science, Drexel University確認したメール アドレス: drexel.edu
- Christoph HaaseUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org