自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ouri WolfsonProfessor of Computer Science, University of Illinois, Chicago, Fellow ACM, Fellow IEEE, Fellow AAAS確認したメール アドレス: uic.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Clement YuProfessor of Computer Science, University of Illinois at Chicago確認したメール アドレス: cs.uic.edu
- Mahesh ViswanathanUniversity of Illinois, Urbana-Champaign確認したメール アドレス: illinois.edu
- Rohit ChadhaUniversity of Missouri確認したメール アドレス: missouri.edu
- VN VenkatakrishnanProfessor of Computer Science, University of Illinois at Chicago確認したメール アドレス: uic.edu
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Pierre WolperProfessor of Computer Science, Université de Liège, Belgium確認したメール アドレス: ulg.ac.be
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメール アドレス: cs.wisc.edu
- Miloš ŽefranProfessor of Electrical and Computer Engineering, University of Illinois at Chicago確認したメール アドレス: uic.edu
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M University確認したメール アドレス: cse.tamu.edu
- Patrice GodefroidLacework確認したメール アドレス: lacework.net
- Sriram RajamaniMicrosoft Research 確認したメール アドレス: microsoft.com
- Parosh AbdullaProfessor of Computer Science, Uppsala University確認したメール アドレス: it.uu.se
- Stefan KieferProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Philip S. YuProfessor of Computer Science, University of Illinons at Chicago確認したメール アドレス: cs.uic.edu
- Lenore D. ZuckUniversity of Illinois, Chicago
フォロー
Aravinda Prasad Sistla
Professor of Computer Science, University of Illinois at Chicago
確認したメール アドレス: uic.edu - ホームページ