自分のプロフィールを作成
オープン アクセス
すべて表示34 件の論文
8 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- axel legayUCLouvain確認したメール アドレス: uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)確認したメール アドレス: laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan University確認したメール アドレス: cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern University確認したメール アドレス: northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris Cité確認したメール アドレス: irif.fr
- Natarajan ShankarSRI International Computer Science Laboratory確認したメール アドレス: csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft確認したメール アドレス: csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Andreas GriesmayerImperial College London確認したメール アドレス: arm.com
- Grigore RosuUniversity of Illinois at Urbana Champaign確認したメール アドレス: illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTC確認したメール アドレス: istc.cnr.it
- Barbara JobstmannScientist at EPFL確認したメール アドレス: epfl.ch
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- matthew hennessyProfessor of Computer Science確認したメール アドレス: cs.tcd.ie
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk