自分のプロフィールを作成
オープン アクセス
すべて表示162 件の論文
6 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Krishnendu ChatterjeeProfessor, IST Austria確認したメール アドレス: ist.ac.at
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Luca de AlfaroProfessor, UC Santa Cruz確認したメール アドレス: acm.org
- Christoph M. KirschProfessor of Computer Sciences, University of Salzburg確認したメール アドレス: cs.uni-salzburg.at
- Orna KupfermanProfessor of Computer Science, The Hebrew University確認したメール アドレス: cs.huji.ac.il
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germany確認したメール アドレス: lmu.de
- Laurent DoyenCNRS - LMF, ENS Paris-Saclay確認したメール アドレス: lsv.fr
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)確認したメール アドレス: univista-isg.com
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.確認したメール アドレス: ulb.ac.be
- Sriram RajamaniMicrosoft Research 確認したメール アドレス: microsoft.com
- Howard Wong-ToiGoogle, Inc.確認したメール アドレス: google.com
- Shaz QadeerSoftware Engineer, Meta確認したメール アドレス: meta.com
- Joseph SifakisReseracher at Verimag laboratory, Grenoble確認したメール アドレス: imag.fr
- Costas CourcoubetisProfessor in SDS, CUHK Shenzhen確認したメール アドレス: cuhk.edu.cn
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Jasmin FisherProfessor of Computational Biology, UCL Cancer Institute確認したメール アドレス: ucl.ac.uk
- Dejan NickovicAustrian Institute of Technology確認したメール アドレス: ait.ac.at
- Barbara JobstmannScientist at EPFL確認したメール アドレス: epfl.ch
- Arjun RadhakrishnaMicrosoft確認したメール アドレス: microsoft.com
- Nir PitermanProfessor in Computer Science, University of Gothenburg, Sweden確認したメール アドレス: gu.se