自分のプロフィールを作成
オープン アクセス
すべて表示8 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Dan GrossmanComputer Science, University of Washington確認したメール アドレス: cs.washington.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Karl CraryCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- David WalkerPrinceton University確認したメール アドレス: cs.princeton.edu
- Aleksandar NanevskiIMDEA Software Institute確認したメール アドレス: imdea.org
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Fred SchneiderCS Dept, Cornell University確認したメール アドレス: cs.cornell.edu
- Gang TanProfessor of computer science and engineering, Penn State University確認したメール アドレス: cse.psu.edu
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Amal AhmedNortheastern University確認したメール アドレス: ccs.neu.edu
- Gregory MalechaBedRock Systems, Inc確認したメール アドレス: bedrocksystems.com
- Matthew FluetRochester Institute of Technology確認したメール アドレス: cs.rit.edu
- Matt WelshGoogle確認したメール アドレス: mdw.la
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel University確認したメール アドレス: drexel.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group確認したメール アドレス: bc.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Ryan WisneskyConexus AI確認したメール アドレス: wisnesky.net
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas at確認したメール アドレス: utdallas.edu
- Ryan NewtonMIT, Indiana University, Facebook確認したメール アドレス: indiana.edu
- Stephen McCamantAssociate Professor, University of Minnesota確認したメール アドレス: cs.umn.edu