自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Niki VazouIMDEA Software Institute確認したメール アドレス: cs.umd.edu
- Dimitrios VytiniotisDeepMind確認したメール アドレス: google.com
- Simon Peyton JonesEpic Games確認したメール アドレス: epicgames.com
- Westley WeimerProfessor Computer Science, University of Michigan確認したメール アドレス: umich.edu
- Gabrielle AllenUniversity of Wyoming確認したメール アドレス: uwyo.edu
- John LaunchburyChief Scientist, Galois確認したメール アドレス: galois.com
- Erik SchnetterPerimeter Institute for Theoretical Physics確認したメール アドレス: perimeterinstitute.ca
- Frank LöfflerFriedrich Schiller University Jena, Germany確認したメール アドレス: uni-jena.de
- Lee PikeAWS Automated Reasoning確認したメール アドレス: amazon.com
- Trevor ElliottFastly確認したメール アドレス: stripe.com
- Zhigang ZhuHerbert G. Kayser Professor of Computer Science, CUNY City College and Graduate Center確認したメール アドレス: cs.ccny.cuny.edu
- Wai L. KhooPh.D.確認したメール アドレス: gradcenter.cuny.edu
- David RideoutUniversity of California, San Diego確認したメール アドレス: math.ucsd.edu
- Steven R. BrandtLouisiana State University確認したメール アドレス: cct.lsu.edu