自分のプロフィールを作成
オープン アクセス
すべて表示14 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Gerard HolzmannNimble Research確認したメール アドレス: nimbleresearch.com
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory確認したメール アドレス: jpl.nasa.gov
- Anca MuschollLaBRI, Univ. of Bordeaux確認したメール アドレス: labri.fr
- Saddek BensalemUniversité Grenoble Alpes, VERIMAG確認したメール アドレス: univ-grenoble-alpes.fr
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaign確認したメール アドレス: illinois.edu
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University確認したメール アドレス: cs.columbia.edu
- Marius MineaAssociate Professor, Politehnica University of Timisoara確認したメール アドレス: cs.upt.ro
- Pierre WolperProfessor of Computer Science, Université de Liège, Belgium確認したメール アドレス: ulg.ac.be
- Shmuel KatzComputer Science確認したメール アドレス: cs.technion.ac.il
- Orna GrumbergProfessor of Computer Science, Technion確認したメール アドレス: cs.technion.ac.il
- Husnu YenigunProfessor of Computer Science, Sabanci University確認したメール アドレス: sabanciuniv.edu
- Sven ScheweProfessor of Computer Science, University of Liverpool確認したメール アドレス: liverpool.ac.uk
- Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)確認したメール アドレス: ipipan.waw.pl
- Hongyang QuResearch Fellow, University of Sheffield確認したメール アドレス: sheffield.ac.uk
- Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel University確認したメール アドレス: ti.informatik.uni-kiel.de
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University確認したメール アドレス: nau.edu
- Edith ElkindUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Kousha EtessamiUniversity of Edinburgh確認したメール アドレス: inf.ed.ac.uk
フォロー