自分のプロフィールを作成
オープン アクセス
すべて表示26 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ramana KumarDeepMind確認したメール アドレス: cl.cam.ac.uk
- Scott OwensUniversity of Kent確認したメール アドレス: kent.ac.uk
- Yong Kiam TanInstitute for Infocomm Research, Singapore確認したメール アドレス: cs.cmu.edu
- Michael NorrishAustralian National University確認したメール アドレス: anu.edu.au
- Francesco Zappa NardelliFacebook確認したメール アドレス: fb.com
- Susmit SarkarProfessor of Computer Science, University of St Andrews確認したメール アドレス: st-andrews.ac.uk
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Jade AlglaveARM and University College London確認したメール アドレス: ucl.ac.uk
- Johannes Åman PohjolaUniversity of New South Wales確認したメール アドレス: unsw.edu.au
- Tom RidgeIndependent確認したメール アドレス: tom-ridge.com
- Ralph-Johan BackProfessor of Computer Science, Åbo Akademi確認したメール アドレス: abo.fi
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Gerwin KleinProofcraft and UNSW確認したメール アドレス: unsw.edu.au
- Zachary TatlockUniversity of Washington確認したメール アドレス: cs.washington.edu
- Eva DarulovaUppsala University確認したメール アドレス: it.uu.se
- Samin IshtiaqRiverlane確認したメール アドレス: riverlane.com
- Rose BohrerAssistant Professor, Worcester Polytechnic Institute確認したメール アドレス: wpi.edu
- Stefan MitschSchool of Computing, DePaul University確認したメール アドレス: depaul.edu
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Hira Taqdees SyedaApplied Sceintist II, Amazon Web Services確認したメール アドレス: amazon.com