自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Cédric FournetMicrosoft Research確認したメール アドレス: microsoft.com
- Luca CardelliUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Karthikeyan BhargavanINRIA確認したメール アドレス: inria.fr
- Johannes BorgströmAssociate professor in computing science, Uppsala University確認したメール アドレス: it.uu.se
- Giorgio Ghelli確認したメール アドレス: di.unipi.it
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz確認したメール アドレス: cs.ucsc.edu
- Simon Peyton JonesEpic Games確認したメール アドレス: epicgames.com
- Alan JeffreyRoblox確認したメール アドレス: roblox.com
- Charles SuttonGoogle, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Claudio RussoMicrosoft Research Ltd確認したメール アドレス: microsoft.com
- Aditya NoriMicrosoft Research確認したメール アドレス: microsoft.com
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College London確認したメール アドレス: doc.ic.ac.uk
- Thore GraepelGlobal Lead Computational Science, AI & ML at Altos Labs and Chair of Machine Learning, UCL確認したメール アドレス: ucl.ac.uk
- Sriram RajamaniMicrosoft Research 確認したメール アドレス: microsoft.com
- Jan JürjensUniversität Koblenz-Landau, Germany確認したメール アドレス: jurjens.de
- Silvano Dal ZilioResearcher, LAAS-CNRS確認したメール アドレス: laas.fr
- Don SymeMicrosoft Research確認したメール アドレス: microsoft.com
- Gavin BiermanOracle確認したメール アドレス: oracle.com
- Witold CharatonikProfessor of Computer Science, University of Wrocław確認したメール アドレス: cs.uni.wroc.pl
- Daniel TarlowResearch Scientist, Google DeepMind - Montreal確認したメール アドレス: cs.toronto.edu