自分のプロフィールを作成
オープン アクセス
すべて表示16 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group確認したメール アドレス: bc.edu
- Nickolai Zeldovich確認したメール アドレス: csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)確認したメール アドレス: mit.edu
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-Madison確認したメール アドレス: wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Guy L. Steele Jr.Oracle Labs確認したメール アドレス: oracle.com
- Gang TanProfessor of computer science and engineering, Penn State University確認したメール アドレス: cse.psu.edu
- Greg MorrisettDean and Professor, Cornell University確認したメール アドレス: cornell.edu
- Simon SpiesMPI-SWS確認したメール アドレス: mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Amin TimanyAarhus University確認したメール アドレス: cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Michael WickUniversity of Massachusetts確認したメール アドレス: cs.umass.edu
- Daniel HuangAssistant Professor確認したメール アドレス: sfsu.edu