自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Mohammad Amin AlipourUniversity of Houston確認したメール アドレス: cs.uh.edu
- Rahul GopinathThe University of Sydney確認したメール アドレス: gopinath.org
- Carlos JensenAssociate Professor School of EECS, Oregon State University確認したメール アドレス: eecs.orst.edu
- Iftekhar AhmedAssistant Professor, University of California, Irvine確認したメール アドレス: uci.edu
- Josselin FeistTrail of Bits確認したメール アドレス: trailofbits.com
- Gerard HolzmannNimble Research確認したメール アドレス: nimbleresearch.com
- Willem VisserComputer Science Division, Stellenbosch University確認したメール アドレス: cs.sun.ac.za
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory確認したメール アドレス: jpl.nasa.gov
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- John RegehrProfessor, School of Computing, University of Utah確認したメール アドレス: cs.utah.edu
- Weng-Keen WongProfessor of Computer Science, Oregon State University確認したメール アドレス: eecs.oregonstate.edu
- Ofer StrichmanTechnion, Haifa, Israel確認したメール アドレス: ie.technion.ac.il
- Darko MarinovUniversity of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
- Yang ChenSchool of Computing, University of Utah確認したメール アドレス: cs.utah.edu
- Arpit ChristiWeber State University確認したメール アドレス: weber.edu
- Eric EideUniversity of Utah Kahlert School of Computing確認したメール アドレス: cs.utah.edu
- Jervis PintoOregon State University確認したメール アドレス: eecs.oregonstate.edu
- Doron A. PeledProfessor Of Computer Science, Bar Ilan University確認したメール アドレス: cs.biu.ac.il
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University確認したメール アドレス: cs.columbia.edu
フォロー
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
確認したメール アドレス: nau.edu - ホームページ