• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

HAGIYA Masami  萩谷 昌己

ORCIDConnect your ORCID iD *help
… Alternative Names

笹田 耕一  ササダ コウイチ

萩谷 昌巳  ハギヤ マサミ

HAGINO Masaya  萩谷 昌己

Less
Researcher Number 30156252
External Links
Affiliation (based on the past Project Information) *help 2022: 東京大学, Beyond AI 研究推進機構, 特任研究員
2014 – 2021: 東京大学, 大学院情報理工学系研究科, 教授
2011 – 2016: 東京大学, 情報理工学(系)研究科, 教授
2012 – 2013: 東京大学, 情報理工学系研究科, 教授
2012: 東京大学, 大学院情報理工学系研究科, 教授 … More
2001 – 2011: The University of Tokyo, Graduate School of Information Science and Technology, Professor, 大学院・情報理工学系研究科, 教授
2006 – 2008: 東京大学, 情報工学(系)研究科, 教授
2007: The University of Tokyo, Graduate School of Information Science and Technology, Professor
2006: 東京大学, 情報理工学研究科, 教授
2005 – 2006: 東京大学, 大学院情報理工学系研究科, 教授
2003: 東京大学, 大学院・理学研究科, 教授
1998 – 2000: 東京大学, 理学系研究科, 教授
1995 – 2000: The University of Tokyo, Graduate School of Science, Professor, 大学院・理学系研究科, 教授
1999: 東京大学, 大学院理学研究科, 教授
1997 – 1999: 東京大学, 大学院・理学研究科, 教授
1997: 東京大学, 理学研究科, 教授
1996: Univ.of Tokyo, Grad.School of Sci., Prof., 大学院理学研究系, 教授
1996: Tokyo University, 理学部, 教授
1995: 東京大学, 大学院・工学系研究科, 教授
1995: 東京大学, 大学院・理学研究系, 教授
1995: 東京大学, 理学系研究科, 教授
1994: 東京大学, 大学院・理学系研究科, 助教授
1994: 東京大学, 理学部, 助教授
1992: 東京大学, 理学部, 助教授
1989 – 1991: 京都大学, 数理解析研究所, 助教授
1986 – 1988: 京都大学, 数理解析研究所, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Science and Engineering / Science and Engineering / Basic Section 62030:Learning support system-related / Software / Information science, computer engineering, and related fields / Fundamental theory of informatics / Intelligent informatics / Intelligent informatics / Software / Media informatics/Database / Bioinformatics/Life informatics … More
Except Principal Investigator
… More Science and Engineering / Informatics / Software / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) / Software / Bioinformatics/Life informatics / Fundamental theory of informatics / Nanomaterials/Nanobioscience / Intelligent informatics / Computer system/Network Less
Keywords
Principal Investigator
ナノバイオ / DNAコンピュータ / 定理証明 / 分子ロボティクス / 知能ロボティクス / ナノマシン / 自己組織化 / 仕様記述・検証 / ソフトウェアテスト / model checking … More / モデル検査 / theorem proving / 制約 / 機械学習 / ソフトウェアモデル検査 / 合成生物学 / 様相論理 / 分子コンピューティング / 生態生命情報学 / バイオテクノロジー / 生体生命情報学 / Computer Based Testing / 記号実行 / プログラミング言語 / 情報教育 / プログラミング教育 / MQTT / IoT / モデルベーステスト / ソフトウェア検証 / 仕様記述 / DNAコンピュータ / 群ロボット / 分子ロボット / modal logic / termination analysis / static analysis / shape analysis / 停止性解析 / 静的解析 / シェイプ解析 / security / concurrent garbage / graph search / abstract interpretation / Verification / 並行ゴミ集め / セキュリティ / 並列ゴミ集め / グラフ探索 / 抽象解釈 / 検証 / term rewriting / computer algebra / hypertext / constraint / document editing / user-interface / タクティク / 項書き換え / 数式処理 / ハイパーテキスト / 文書編集 / ユーザインタフェース / automated deduction / functional programming / induction / machine learning / typed lambda-calculus / type theory / ユーザ・インタフェース / 帰納推論 / 算術制約 / 型付きλ計算 / 自動演繹 / 関数プログラミング / 帰納法 / 型付き入計算 / 型理論 / ナノ材料 / ソフトコンピューティング / ナオ材料 / ゲルオートマトン / ゲル反応拡散場 / ゲルアクチュエータ / DNAデバイス / 自動合成 / 進化計算 / 抽象化 / グラフ書き換え系 / DNA デバイス / プロセス計算 / 推論アルゴリズム / 論理 / 探索 / クラウドコンピューティング / 仕様記述・仕様検証 / オントロジー / データベース / 分子計算 / オープンサイエンス / 自動設計 / 3次元ナノ構造 / DNAコンピューティング / アゾベンゼン / 三次元ナノ構造体 / DNAナノテクノロジー / AFM測定 / 分子システム / 三次元ナノ構造 / DNAナノテク / DNA計算 / 多重集合書き換え / 様相理論 / グラフ書き換え / システム生物学 / ハイブリッド・システム / セル・オートマトン … More
Except Principal Investigator
モデル検査 / 線形論理 / 証明検証系 / 形式的手法 / Type Theory / Displacement WPCR / Whiplash PCR / 実時間システム / 時相論理 / グラフ書き換え / 抽象モデル検査 / 形式的仕様 / プログラミング言語 / タイプ理論 / thermodynamics / mis-hybridization / back-hybridization / Tag-Antitag system / PWPCR / DNA computing / model checking / 関数型言語 / 人工知能 / Linear Logic / プログラム意味論 / プログラム検証 / 様相論理 / 実行可能仕様言語 / ソフトウェア検証 / チェックポインティング / Hybridization Error / DNA Computing / 証明論 / 形式検証 / 形式仕様 / セルオートマトン / 時間ペトリネット / 時間付きオートマトン / 時間付き多重集合書き換え / 直観主義論理 / 例による証明 / 仕様記述・検証 / ソフトウエア学 / アルゴリズム / ソフトウェア / Java / liveness / software / Langnagl / Executable Specification / Distributed System / Knowledge-representation / Real-time Process-control / Formal Program Specification / Tense Logic / Modal Logic / ユーザ・インターフェース / ソフトウェアの仕様 / ハイパ-テキスト / 分散オペレ-ティング・システム / 実行可能仕様 / プロセス制御 / 論理プログラミング / 分散システム / 知識表現 / 実時間制御システム / 形式的プログラム仕様 / 時制論理 / LISP generalizatin of programs fuctional language / type theory / intuitionistic predicate calculus / Program synthesis / 型付関数型言語 / 定理の証明 / マルチウィンドウシステム / プログラムの一般化 / LISP / 型論理 / 直観主義述語論理 / プログラム合成 / molecular memory / parallel computing / nanotechnology / nanodevice / molecular computer / DNA computer / 分子メモリ / 並列計算 / ナノテクノロジー / ナノデバイス / 分子コンピュータ / DNAコンピュータ / PNA-mediated Whiplash PCR / Tag-Antitag System / DNA-based Computing / DNA Melting / Helix-Coil Transition / Statistical Thermodynamics / ハイブリダイゼーション・エラー / タグ-アンチタグ系 / DNAチップ / DNAコンピューティング / 融解 / ヘリックス-コイル転移 / 統計熱力学 / statistical thermodynamics / strand displacement / efficiency / Biomolecular Computing / deduction / knowledge acquisition / logic / philosophy of science / knowledge discovery / 分散計算環境 / 古典論理 / モデル・チェッキング / 環境計算 / 数理論理学 / 演繹 / 知識獲得 / 論理学 / 科学哲学 / 知識発見 / Real Time System / Formal Verification / Formal specification / Proof Theroy / Programming Language / Functional Language / 情報科学の論理 / 形式的プログラム検証 / プログラム言語理論 / linear logic / term rewriting system / functional logic programming / temporal logic / reactive system / verification / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / ソフトウェア仕様記述 / 発展的ソフトウェア / 項書き換え系 / 関数論理型プログラミング / リアクティブシステム / 検証 / 健全並列化 / 発展的プログラミング機構 / Knowledge / Logical system / Learning / Theorem Prover / Intelligent Programming / Reasoning / Artificial Intelligence / 認識システム / 知能プログラミング / 並列分散処理 / 定理証明 / 計算言語論 / 学習 / 高次推論原理 / Proof Theory / Intuitionistic Logic / Concurrency / Program Semantics / Program Verification / Programming Languages / Constructive Proof / プログラム言語 / 直観主義理論 / 線形理論 / 平行計算 / 構成的証明 / Constraint Hierarchv / Local Propagation / Interactive Penumbrae / Pen computing / Algorithm Animation / Visualization / Programming-by-Examples / Declarative GUI / 制約解消系 / 宣言的アニメーション / 制約階層 / 局所伝搬法 / 層状半影 / ペンコンピューティング / アルゴリズムアニメーション / 視覚化 / 例示プログラミング / 宣言的GUI / 微分方程式の数値解法 / 境界要素法 / 誤差解析 / 数値計算 / 数式処理 / ホモトピー法 / 固有値問題 / 代数方程式 / 計算機代数 / モジュラー・プログラミング / 実時間プロセス制御 / ネットワークソフトウェア / 実行時検証 / 実環境モデル検査 / コード抽出 / 型推論 / Coq / ディペンダブル・コンピューティング / 定理証明支援系 / 分散シミュレーション / ハイパフォーマンス・コンピューティング / TCP最適化 / 超遠距離インターネット / 分散協調システム / Ruby / ハイパーフォーマンスコンピューティング / 超並列問題記述 / ハイパフォーマンスコンピューティング / ネットワーク / 高生産性言語 / 計算機システム / 仮想計算機 / 超分散 / 多体システム / 構成的材料工学 / ハイブリッドシステム / 構成的生物学 / 構成的アプローチ / 計算機科学 / 自然計算 / Automation / Readout / Real Time PCR / TAT system / Efficiency / Readout method / TAT System / Crossover / Displacement Whiplash PCR / Genetic Program / 論理的手法 / グラフ探索 / ソフトウェア開発 / 形式的検証 / 理論情報科学 / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / 構成的プログラミング / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / アルゴリズム・アニメ-ション / 構成的数学体系RPT / 並列プロセス計算σー計算 / 並列プログラミング / 型理論ATTT / 論理と証明 / プログラム・モデル / 分散アルゴリズム / 並列アルゴリズム / 高階ユニフィケ-ション / 例によるプログラミング / 構成的数学体系 / 実行の論理 / プログラムの論理と証明 Less
  • Research Projects

    (48 results)
  • Research Products

    (354 results)
  • Co-Researchers

    (103 People)
  •  Automatic generation of programming questions by symbolic executionPrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 62030:Learning support system-related
    • Research Institution
      The University of Tokyo
  •  Learning by Molecular Robot SwarmPrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Challenging Research (Exploratory)
    • Research Field
      Information science, computer engineering, and related fields
    • Research Institution
      The University of Tokyo
  •  分子ロボティクスの支援と広報Principal Investigator

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2017
    • Research Category
      Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
    • Research Institution
      The University of Tokyo
  •  Testing and model checking of IoT protocolsPrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  Liveness verification in software model checking

    • Principal Investigator
      Tanabe Yoshinori
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tsurumi University
  •  Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking

    • Principal Investigator
      Yamamoto Mitsuharu
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Chiba University
  •  Modular software verification with a proof assistant

    • Principal Investigator
      TANABE Yoshinori
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tsurumi University
      National Institute of Informatics
  •  Development of Molecular Robots equipped with sensors and intelligenceArea Organizer

    • Area Organizer
      萩谷 昌己
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
  •  Support and publicity of molecular roboticsPrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  Motion generation based on cooperation of structured gel and chemical reaction fieldPrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  Software model checking methods for cloud computing middlewarePrincipal Investigator

    • Principal Investigator
      Hagiya Masami
    • Project Period (FY)
      2011 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo
  •  Model Checking Network Applications using Distributed Checkpointing

    • Principal Investigator
      YAMAMOTO Mitsuharu
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Chiba University
  •  Automatic Synthesis of Process Calculus Using AbstractionPrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      2011 – 2012
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      The University of Tokyo
  •  Highly productive software environment based on Ruby for parallel and distributed computing systems

    • Principal Investigator
      HIRAKI Kei
    • Project Period (FY)
      2009 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Computer system/Network
    • Research Institution
      The University of Tokyo
  •  オープンサイエンスの分析と基盤的ソフトウェアの構築Principal Investigator

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2009 – 2010
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Media informatics/Database
    • Research Institution
      The University of Tokyo
  •  Communication Backtracking by Virtual Machines and Applications to Model Checking

    • Principal Investigator
      YAMAMOTO Mitsuharu
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Chiba University
  •  Molecular combination dial and nano-cagePrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Bioinformatics/Life informatics
    • Research Institution
      The University of Tokyo
  •  Displacement WPCR for protein evolution via high-efficiency invitro genetic programming

    • Principal Investigator
      ROSE John Anthony
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Bioinformatics/Life informatics
    • Research Institution
      Ritsumeikan Asia Pacific University
  •  計算機科学における離散と連続に関する調査と新しい展開

    • Principal Investigator
      山下 雅史
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Kyushu University
  •  Abstraction from Graphs to Multisets Using Temporal LogicPrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      2006 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Tokyo
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      山本 光晴
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      山本 光晴
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

    • Principal Investigator
      岡田 光弘
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Keio University
  •  n vitro Genetic Programmin

    • Principal Investigator
      ROSE John Anthony
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Bioinformatics/Life informatics
    • Research Institution
      The University of Tokyo
  •  Study on hairpin DNA molecular device for autonomous molecular computer

    • Principal Investigator
      SUYAMA Akira
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Nanomaterials/Nanobioscience
    • Research Institution
      University of Tokyo
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      山本 光晴
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  形態変化する分子を用いた並行計算と分散計算Principal Investigator

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2002 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  ハイブリッド・セル・オートマトンを用いた生物系と化学系の解析と検証Principal Investigator

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2002 – 2006
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  分子プログラミングPrincipal Investigator

    • Principal Investigator
      萩谷 昌己
    • Project Period (FY)
      2002 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
  •  抽象モデル検査のためのグラフ探索アルゴリズムの形式化と検証

    • Principal Investigator
      YAMAMOTO Mitsuharu
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (C)
    • Review Section
      Science and Engineering
    • Research Institution
      Chiba University
  •  Abstract Model Cheking and Its ApplicationsPrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Applications of Type Theory and Linear Logic to Programming Language Theory

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Logic of Knowledge Discovery

    • Principal Investigator
      SATO Masahiko
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kyoto University
  •  タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Research on Theoretical Aspects of Evolutionary Software

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  Document Editing Environment for Problem Solving from the Viewpoint of Collaboration between Humans and ComputersPrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Application of type theory and linear logic for Programming Languages

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      Keio University
  •  A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.

    • Principal Investigator
      HARAO Masateru
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyushu Institute of Technology
  •  Advanced User Interface Construction via Multiple Visual Examples

    • Principal Investigator
      MATSUOKA Satoshi
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Graduate School of Information Science and Engineering, Tokyo Institute of Technology
      The University of Tokyo
  •  Type Theory and its Application to Machine LearningPrincipal Investigator

    • Principal Investigator
      HAGIYA Masami
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Tokyo
  •  高機能高品質ソフトウエアの基礎理論に関する研究

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  高機能高品質ソフトウェアの基礎理論

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  高機能高品質ソフトウエアの基礎理論

    • Principal Investigator
      ITO Takayasu
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  Modal Logic and its Applications to Real-Time Systems and A. I.

    • Principal Investigator
      NAKAJIMA Reiji
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  •  計算機代数と代数方程式の数値解法

    • Principal Investigator
      一松 信
    • Project Period (FY)
      1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto University
  •  計算機代数の基礎研究

    • Principal Investigator
      一松 信
    • Project Period (FY)
      1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Kyoto University
  •  実時間制御システム・ソフトウェアの開発環境

    • Principal Investigator
      NAKAJIMA Reiji
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  •  Studies of Inference mechanism in intelligent information processing

    • Principal Investigator
      TAKASU Satoru
    • Project Period (FY)
      1985 – 1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Other

All Journal Article Presentation Book

  • [Book] コンピューティング―原理とその展開―2015

    • Author(s)
      川合慧・萩谷昌己
    • Total Pages
      256
    • Publisher
      一般財団法人 放送大学教育振興会
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Book] 自然計算へのいざない2015

    • Author(s)
      小林聡・萩谷昌己・横森貴
    • Total Pages
      210
    • Publisher
      近代科学社
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Book] 自然計算へのいざない2015

    • Author(s)
      小林聡,萩谷昌己,横森貴
    • Total Pages
      210
    • Publisher
      近代科学社
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Book] 岩波科学ライブラリー(DNAロボット生命のしかけで創る分子機械)2008

    • Author(s)
      萩谷昌己・西川明男
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Book] DNAロボット生命のしかけで創る分子機械2008

    • Author(s)
      萩谷昌己・西川明男
    • Total Pages
      109
    • Publisher
      岩波科学ライブラリー153
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Book] 岩波科学ライブラリ2007

    • Author(s)
      西川明男, 萩谷昌己
    • Publisher
      『DNAマシン----分子が動く, 計算する』
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Book] 岩波科学ライブラリ 執筆中

    • Author(s)
      西川明男, 萩谷昌己
    • Publisher
      DNAマシン-分子が動く,計算する
    • Data Source
      KAKENHI-PROJECT-14085202
  • [Book] 岩波科学ライブラリ 執筆中

    • Author(s)
      西川明男, 萩谷昌己
    • Publisher
      DNAマシン-分子が動く,計算する
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] ビジュアルプログラミングによるプログラミング試験について2023

    • Author(s)
      田辺良則,萩谷昌己
    • Journal Title

      情報処理学会研究報告コンピュータと教育

      Volume: 2023-CE-168 Pages: 1-7

    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Journal Article] Automatic Scoring in Programming Examinations for Beginners2022

    • Author(s)
      Yoshinori Tanabe, Masami Hagiya
    • Journal Title

      Knowledge-Based Software Engineering: 2022 - Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering

      Volume: LAIS 30 Pages: 127-139

    • DOI

      10.1007/978-3-031-17583-1_10

    • ISBN
      9783031175824, 9783031175831
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Journal Article] 初級者を対象としたプログラミング試験のためのシステムについて2022

    • Author(s)
      田辺良則, 萩谷昌己
    • Journal Title

      信学技報

      Volume: 121 Pages: 7-11

    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Journal Article] 試験問題の自動採点が行えるプログラミング言語の検討2021

    • Author(s)
      田辺良則, 萩谷昌己
    • Journal Title

      信学技報

      Volume: 120 Pages: 48-53

    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Journal Article] ネットワークシミュレータを組み込んだモデルベーステスト環境2021

    • Author(s)
      福田昂祐,田辺良則,萩谷昌己
    • Journal Title

      信学技報

      Volume: 120 Pages: 13-18

    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] 情報教育課程の設計指針と大学入学試験2021

    • Author(s)
      萩谷昌己
    • Journal Title

      日本情報科教育学会誌

      Volume: 14 Pages: 5-12

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Journal Article] Self-stabilizing Distributed Algorithms by Gellular Automata2021

    • Author(s)
      Taiga Hongu, Masami Hagiya
    • Journal Title

      Complex Systems

      Volume: 30(2)

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Journal Article] Model-Based Testing for MQTT Applications2020

    • Author(s)
      Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
    • Journal Title

      Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering

      Volume: 19 Pages: 47-59

    • DOI

      10.1007/978-3-030-53949-8_5

    • ISBN
      9783030539481, 9783030539498
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] Self-stabilizing Distributed Algorithms by Gellular Automata2020

    • Author(s)
      Taiga Hongu, Masami Hagiya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12286 Pages: 86-98

    • DOI

      10.1007/978-3-030-61588-8_7

    • ISBN
      9783030615871, 9783030615888
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Journal Article] Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers2020

    • Author(s)
      Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      Softw. Test. Verification Reliab.

      Volume: 30 Issue: 7-8

    • DOI

      10.1002/stvr.1720

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020

    • Author(s)
      Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
    • Journal Title

      電子情報通信学会信学技報

      Volume: vol. 119, no. 392 Pages: 37-42

    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] Turing-Completeness of Asynchronous Non-Camouflage Cellular Automata2020

    • Author(s)
      Tatsuya Yamashita, Teijiro Isoka, Ferdinand Peper, Ibuki Kawamatad, Masami Hagiya
    • Journal Title

      Information and Computation

      Volume: 出版予定 Pages: 104539-104539

    • DOI

      10.1016/j.ic.2020.104539

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Journal Article] Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants2019

    • Author(s)
      Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, and Toshinori Saito
    • Journal Title

      Sustainable ICT, Education and Learning - IFIP TC3 WG3.4 in collaboration with other TC3 WGs (SUZA2019)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K00109
  • [Journal Article] モデルベーステストツールModbatによるIoTソフトウェア検証に向けて2019

    • Author(s)
      田辺弘太郎,田辺良則,萩谷昌己
    • Journal Title

      電子情報通信学会信学技報

      Volume: vol. 118, no. 425 Pages: 9-14

    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] Self-stabilizing Gellular Automata2019

    • Author(s)
      Tatsuya Yamashita, Akira Yagawa, Masami Hagiya
    • Journal Title

      UCNC 2019: Unconventional Computation and Natural Computation, Lecture Notes in Computer Science

      Volume: 11493 Pages: 272-285

    • DOI

      10.1007/978-3-030-19311-9_21

    • ISBN
      9783030193102, 9783030193119
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Journal Article] Model-based Network Fault Injection for IoT Protocols2019

    • Author(s)
      Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
    • Journal Title

      14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2019)

      Volume: Volume 1 Pages: 201-209

    • DOI

      10.5220/0007618102010209

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Journal Article] Simulating Population Protocols by Gellular Automata2018

    • Author(s)
      Tatsuya Yamashita and Masami Hagiya
    • Journal Title

      2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)

      Volume: 57 Pages: 1579-1585

    • DOI

      10.23919/sice.2018.8492697

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Journal Article] On the Persistency of Gellular Automata, Andrew Adamatzky (eds) Reversibility and Universality2018

    • Author(s)
      Masami Hagiya and Katsunobu Imai
    • Journal Title

      Emergence, Complexity and Computation

      Volume: 30 Pages: 373-383

    • DOI

      10.1007/978-3-319-73216-9_18

    • ISBN
      9783319732152, 9783319732169
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K19961, KAKENHI-WRAPUP-17H06071
  • [Journal Article] Turing-Completeness of Asynchronous Non-camouflage Cellular Automata, AUTOMATA 20172017

    • Author(s)
      Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, and Masami Hagiya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10248 Pages: 187-199

    • DOI

      10.1007/978-3-319-58631-1_15

    • ISBN
      9783319586304, 9783319586311
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K19961, KAKENHI-WRAPUP-17H06071, KAKENHI-PROJECT-15H01715
  • [Journal Article] Evolutionary optimization of self-assembly in a swarm of bio-micro-robots2017

    • Author(s)
      Nathanael Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredeche
    • Journal Title

      The Genetic and Evolutionary Computation Conference

      Volume: - Pages: 59-66

    • DOI

      10.1145/3071178.3071289

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961, KAKENHI-WRAPUP-17H06071, KAKENHI-PROJECT-15H01715
  • [Journal Article] Turing-Completeness of Asynchronous Non-Camouflage Cellular Automata2017

    • Author(s)
      T. Yamashita, T. Isokawa, F. Peper, I. Kawamata, M. Hagiya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 印刷中

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Model-based API Testing of Apache ZooKeeper2017

    • Author(s)
      Cyrille Valentin Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto
    • Journal Title

      10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

      Volume: 印刷中

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] Molecular computers for molecular robots as hybrid systems2016

    • Author(s)
      Masami Hagiya, Nathanael Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi
    • Journal Title

      Theoretical Computer Science

      Volume: 未定 Pages: 4-20

    • DOI

      10.1016/j.tcs.2015.11.002

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104003, KAKENHI-PLANNED-24104005
  • [Journal Article] Discrete DNA Reaction-Diffusion Model for Implementing Simple Cellular Automaton2016

    • Author(s)
      Teijiro Isokawa, Ferdinand Pepper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, Masami Hagiya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9726 Pages: 168-181

    • DOI

      10.1007/978-3-319-41312-9_14

    • ISBN
      9783319413112, 9783319413129
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA2016

    • Author(s)
      T. Isokawa, F. Peper, I. Kawamata, N. Matsui, S. Murata, M. Hagiya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9726 Pages: 182-195

    • DOI

      10.1007/978-3-319-41312-9_15

    • ISBN
      9783319413112, 9783319413129
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Modbat を用いた Apache ZooKeeper のモデルベーステストにおける探索アルゴリズムの改善2016

    • Author(s)
      坂西一暁,Cyrille Artho,田辺良則,萩谷昌己
    • Journal Title

      ソフトウェア工学の基礎

      Volume: 23 Pages: 253-254

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K00109
  • [Journal Article] Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automaton2016

    • Author(s)
      Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi
    • Journal Title

      CANDAR

      Volume: - Pages: 215-221

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] MQTT 実装のモデルベーステスト2016

    • Author(s)
      米山惇,Cyrille Artho,田辺良則,萩谷昌己
    • Journal Title

      ソフトウェア工学の基礎

      Volume: 23 Pages: 249-250

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K00109
  • [Journal Article] Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automaton2016

    • Author(s)
      Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata
    • Journal Title

      The Fourth International Symposium on Computing and Networking

      Volume: - Pages: 215-221

    • DOI

      10.1109/candar.2016.0046

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005, KAKENHI-PROJECT-15H01715
  • [Journal Article] Runtime Monitoring for Concurrent Systems2016

    • Author(s)
      Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, and Mitsuharu Yamamoto
    • Journal Title

      Runtime Verification - 16th International Conference, (RV 2016)

      Volume: LNCS 10012 Pages: 386-403

    • DOI

      10.1007/978-3-319-46982-9_24

    • ISBN
      9783319469812, 9783319469829
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] Implementation of Turing Machine Using DNA Strand Displacement2016

    • Author(s)
      M. Hagiya, W. Yahiro
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10071 Pages: 161-172

    • DOI

      10.1007/978-3-319-49001-4_13

    • ISBN
      9783319490007, 9783319490014
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Java Pathfinder on Android Devices2016

    • Author(s)
      Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe
    • Journal Title

      ACM SIGSOFT Software Engineering Notes

      Volume: 41(6) Issue: 6 Pages: 1-5

    • DOI

      10.1145/3011286.3011292

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] Cardinality of UDP Transmission Outcomes2015

    • Author(s)
      Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
    • Journal Title

      Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications

      Volume: 2015 Pages: 120-134

    • DOI

      10.1007/978-3-319-25942-0_8

    • ISBN
      9783319259413, 9783319259420
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata2015

    • Author(s)
      Shaoyu Wang, Katsunobu Imai, and Masami Hagiya
    • Journal Title

      Third International Symposium on Computing and Networking

      Volume: - Pages: 442-448

    • DOI

      10.1109/candar.2015.97

    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Software Model Checking of UDP-based Distributed Applications2015

    • Author(s)
      Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
    • Journal Title

      International Journal of Networking and Computing

      Volume: 5 Issue: 2 Pages: 373-402

    • DOI

      10.15803/ijnc.5.2_373

    • NAID

      130005091737

    • ISSN
      2185-2839, 2185-2847
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Journal Article] GRT at the SBST 2015 Tool Competition2015

    • Author(s)
      Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      Proc 8th IEEE/ACM International Workshop on Search-Based Software Testing

      Volume: 2015 Pages: 48-51

    • DOI

      10.1109/sbst.2015.19

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Using Checkpointing and Virtualization for Fault Injection2015

    • Author(s)
      Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
    • Journal Title

      International Journal of Networking and Computing

      Volume: 5 Issue: 2 Pages: 347-372

    • DOI

      10.15803/ijnc.5.2_347

    • NAID

      130005091738

    • ISSN
      2185-2839, 2185-2847
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Software Model Checking of UDP-based Distributed Applications2015

    • Author(s)
      Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
    • Journal Title

      International Journal of Networking and Computing

      Volume: 5 Pages: 373-402

    • NAID

      130005091737

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Journal Article] Molecular robots with sensors and intelligence2014

    • Author(s)
      Hagiya M, Konagaya A, Kobayashi S, Saito H, Murata S.
    • Journal Title

      Acc Chem Res

      Volume: 47 Issue: 6 Pages: 1681-1690

    • DOI

      10.1021/ar400318d

    • Peer Reviewed
    • Data Source
      KAKENHI-ORGANIZER-24104001, KAKENHI-PLANNED-24104003, KAKENHI-PLANNED-24104005, KAKENHI-PLANNED-24104002
  • [Journal Article] On DNA-Based Gellular Automata2014

    • Author(s)
      Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8553 Pages: 177-189

    • DOI

      10.1007/978-3-319-08123-6_15

    • ISBN
      9783319081229, 9783319081236
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] A Knoppix-based demonstration environment for JPF2014

    • Author(s)
      Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
    • Journal Title

      ACM SIGSOFT Software Engineering Notes

      Volume: 39 Issue: 1 Pages: 1-5

    • DOI

      10.1145/2557833.2560574

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Journal Article] On the Composition of Signals in Gellular Automata2014

    • Author(s)
      Shaoyu Wang, Katsunobu Imai, and Masami Hagiya
    • Journal Title

      Second International Symposium on Computing and Networking (CANDAR)

      Volume: - Pages: 499-502

    • DOI

      10.1109/candar.2014.71

    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Enforcing delays in DNA computing systems2014

    • Author(s)
      Nathanael Aubert, Yannick Rondelez, Teruo Fujii, and Masami Hagiya
    • Journal Title

      Natural Computing

      Volume: 13 Issue: 4 Pages: 559-572

    • DOI

      10.1007/s11047-014-9450-9

    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] 検証済みのコードによるCoqからScalaへのコード抽出2014

    • Author(s)
      逸見 港, 田辺 良則, 今井 宜洋, 萩谷 昌己
    • Journal Title

      第31回日本ソフトウェア学会大会論文集

      Volume: 2014

    • NAID

      40020582402

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25330096
  • [Journal Article] Modular Software Model Checking for Distributed Systems2014

    • Author(s)
      Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, and Koichi Takahashi
    • Journal Title

      IEEE Transactions on Software Engineering

      Volume: - Issue: 5 Pages: 483-501

    • DOI

      10.1109/tse.2013.49

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
  • [Journal Article] Using Checkpointing and Virtualization for Fault Injection2014

    • Author(s)
      Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
    • Journal Title

      Proc. Second International Symposium on Computing and Networking

      Volume: 2014 Pages: 144-150

    • DOI

      10.1109/candar.2014.45

    • NAID

      130005091738

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Software Model Checking of UDP-based Distributed Applications2014

    • Author(s)
      Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      Proc. Second International Symposium on Computing and Networking

      Volume: 2014 Pages: 96-105

    • DOI

      10.1109/candar.2014.66

    • NAID

      130005091737

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
  • [Journal Article] Modbat: A Model-Based API Tester for Event-Driven Systems2013

    • Author(s)
      Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto
    • Journal Title

      Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science

      Volume: 8244 Pages: 112-128

    • DOI

      10.1007/978-3-319-03077-7_8

    • ISBN
      9783319030760, 9783319030777
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
  • [Journal Article] Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication2013

    • Author(s)
      Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
    • Journal Title

      28th IEEE/ACM International Conference on Automated Software Engineering

      Volume: - Pages: 169-179

    • DOI

      10.1109/ase.2013.6693077

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
  • [Journal Article] Towards Co-evolution of Information, Life and Artificial Life, Natural Computing and Beyond2013

    • Author(s)
      Masami Hagiya, Ibuki Kawamata
    • Journal Title

      Proceedings in Information and Communications

      Volume: 6 Pages: 39-48

    • DOI

      10.1007/978-4-431-54394-7_4

    • ISBN
      9784431543930, 9784431543947
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-11J09247, KAKENHI-PROJECT-23650066, KAKENHI-PLANNED-24104005
  • [Journal Article] Molecular Robotics: A New Paradigm for Artifacts2013

    • Author(s)
      S. Murata
    • Journal Title

      New Generation Computing

      Volume: 31 Issue: 1 Pages: 27-45

    • DOI

      10.1007/s00354-012-0121-z

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22220001, KAKENHI-PROJECT-22500010, KAKENHI-PLANNED-24104002, KAKENHI-PLANNED-24104003, KAKENHI-ORGANIZER-24104001, KAKENHI-PLANNED-24104004, KAKENHI-PLANNED-24104005
  • [Journal Article] Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors2013

    • Author(s)
      Nathanael Aubert, Quang Huy Dinh, Masami Hagiya, Teruo Fujii, Hitoshi Iba, Nicolas Bredeche, and Yannick Rondelez
    • Journal Title

      ECAL

      Volume: - Pages: 1143-1150

    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Journal Article] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano and Masami Hagiya
    • Journal Title

      Computational Methods in Systems Biology, 10th International Conference CMSB 2012,Lecture Notes in Bioinformatics,

      Volume: Vol.7605 Pages: 187-206

    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures2012

    • Author(s)
      Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
    • Journal Title

      Nanotechnology (IEEE-NANO), 2012 12th IEEE Conference on

      Volume: 1 Pages: 1-6

    • DOI

      10.1109/nano.2012.6321946

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650066, KAKENHI-PLANNED-24104005
  • [Journal Article] Ruby 用マルチ仮想マシンによる並列処理の実現2012

    • Author(s)
      笹田耕一, 卜部昌平, 松本行弘, 平木敬
    • Journal Title

      情報処理学会論文誌 (PRO)

      Volume: Vol.5, no.2 Pages: 25-42

    • NAID

      40019257016

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21220001
  • [Journal Article] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
    • Journal Title

      Lecture Notes in Bioinformatics

      Volume: 7605 Pages: 187-206

    • DOI

      10.1007/978-3-642-33636-2_12

    • ISBN
      9783642336355, 9783642336362
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-11J09247, KAKENHI-PROJECT-23650066, KAKENHI-PLANNED-24104005
  • [Journal Article] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures,2012

    • Author(s)
      Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
    • Journal Title

      IEEE NANO 2012

      Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] Computational soundness of indistinguishability properties without computable parsing2012

    • Author(s)
      Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
    • Journal Title

      The 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Lecture Notes in Computer Science

      Volume: 7232 Pages: 63-79

    • DOI

      10.1007/978-3-642-29101-2_5

    • ISBN
      9783642291005, 9783642291012
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Journal Article] Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications2011

    • Author(s)
      Kosuke Ono, Yoichi Hirai, Masami Hagiya Natsuko Noda
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7041 Pages: 350-365

    • DOI

      10.1007/978-3-642-24690-6_24

    • ISBN
      9783642246890, 9783642246906
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-11J06978, KAKENHI-PROJECT-21500006, KAKENHI-PROJECT-23240003
  • [Journal Article] DNA-based Crosstalk Nanorobot Mimicking Amoeba Type of Slime Funguses2011

    • Author(s)
      Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa
    • Journal Title

      IEEE NANO (未定,採録決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Model checking distributed systems by combining caching and process checkpointing2011

    • Author(s)
      Watcharin Leungwattanakit
    • Journal Title

      26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)

      Volume: 1 Pages: 103-112

    • DOI

      10.1109/ase.2011.6100043

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21500006, KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
  • [Journal Article] Abstraction of DNA Graph Structures for Efficient Enumeration and Simulation2011

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya
    • Journal Title

      The 2011 International Conference on Parallel and Distributed Processing, Techniques and Applications

      Volume: 2011 Pages: 800-806

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] Tunable synthetic phenotypic diversification on Waddington's landscape through autonomous signaling2011

    • Author(s)
      Ryoji Sekine, Masayuki Yamamura, Shotaro Ayukawa, Kana Ishimatsu,Satoru Akama, Masahiro Takinoue,Masami Hagiya, and Daisuke Kiga:
    • Journal Title

      Proceedings of the National Academy of Sciences of the United States of America

      Volume: Vol.108 Pages: 17969-17973

    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] 実用的なRuby用AOTコンパイラ2011

    • Author(s)
      芝哲史, 笹田耕一, 卜部昌平, 松本行弘, 稲葉真理, 平木敬
    • Journal Title

      情報処理学会論文誌プログラミング(PRO)

      Volume: vol.4, no.1 Pages: 90-108

    • NAID

      110008616667

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21220001
  • [Journal Article] Abstraction of DNA Graph Structures for Efficient Enumeration and Simulation2011

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya
    • Journal Title

      The 2011 International Conference on Parallel and Distributed Processing,Techniques and Applications (PDPTA'11), Technical Session on Mathematical Modeling and Problem Solving

      Pages: 800-806

    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] Design of Molecular-Based Network Robots - Toward the Environmental Control2011

    • Author(s)
      Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
    • Journal Title

      IEEE NANO 2011

      Volume: 2011 Pages: 313-318

    • DOI

      10.1109/nano.2011.6144361

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] Tunable synthetic phenotypic diversification on Waddington's landscape through autonomous signaling2011

    • Author(s)
      Sekine, R., Yamamura, M., Ayukawa, S., Ishimatsu, K., Akama, S., Takinoue, M., Hagiya, M., Kiga, D.
    • Journal Title

      Proc.Natl.Acad.Sci.U.S.A.

      Volume: 108 Issue: 44 Pages: 17969-17973

    • DOI

      10.1073/pnas.1105901108

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-09J09649, KAKENHI-PLANNED-23119005, KAKENHI-PROJECT-23300084, KAKENHI-PROJECT-23650066, KAKENHI-PROJECT-23650069, KAKENHI-PROJECT-23680031, KAKENHI-PLANNED-23119008
  • [Journal Article] Design of Molecular-Based Network Robots -Toward the Environmental Control2011

    • Author(s)
      Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
    • Journal Title

      IEEE NANO 2011

      Pages: 313-318

    • Data Source
      KAKENHI-PROJECT-23650066
  • [Journal Article] DNA-based Crosstalk Nanorobot Mimicking Amoeba Type of Slime Funguses2011

    • Author(s)
      Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa
    • Journal Title

      IEEE NANO 2010

      Volume: 掲載確定(印刷中(掲載確定))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Robust and photo-controllable DNA capsules using azobenzenes2010

    • Author(s)
      Fumiaki Tanaka, Toshio Mochizuki, Xingguo Liang, Hiroyuki Asanuma, Shukichi Tanaka, Katsuyuki Suzuki, Shinichi Kitamura, Akio Nishikawa, Kumiko Ui-Tei, Masami Hagiya
    • Journal Title

      Nano Letters Vol.10(9)

      Pages: 3560-3565

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] 情報ど"生命"が創発しあう時代---合成生物学の背景にある知の力学2010

    • Author(s)
      萩谷昌己
    • Journal Title

      科学

      Volume: 80(7) Pages: 743-746

    • Data Source
      KAKENHI-PROJECT-21650018
  • [Journal Article] Robust and photo-controllable DNA capsules using azobenzenes2010

    • Author(s)
      Fumiaki Tanaka, Toshio Mochizuki, Xingguo Liang, Hiroyuki Asanuma, Shukichi Tanaka, Katsuyuki Suzuki, Shin'ichi Kitamura, Akio Nishikawa, Kumiko Ui-Tei, Masami Hagiya
    • Journal Title

      Nano Letters

      Volume: 10(9) Pages: 3560-3565

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010

    • Author(s)
      Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Construction of a genetic AND gate under a new standard for assembly of genetic parts2010

    • Author(s)
      Shotaro Ayukawa, Akio Kobayashi, Yusaku Nakashima, Hidemasa Takagi, Shogo Hamada, Masahiko Uchiyama, Katsuyuki Yugi, Satoshi Murata, Yasubumi Sakakibara, Masami Hagiya, Masayuki Yamamura, Daisuke Kiga.
    • Journal Title

      BMC Genomics

      Volume: 11(Supp14)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010

    • Author(s)
      Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      IFIP Advances in Information and Communication Technology

      Volume: 329 Pages: 90-101

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Model Checking of Concurrent Algorithms : From Java to C2010

    • Author(s)
      Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      IFIP Advances in Information and Communication Technology Vol.329

      Pages: 90-101

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Towards DNA Comparator: The Machine That Compares DNA Concentrations2009

    • Author(s)
      Fumiaki Tanaka, Takashi Tsuda, and Masami Hagiya
    • Journal Title

      The 14th International Meeting on DNA Computing, Lecture Notes in Computer Science 5347

      Pages: 11-20

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Cache-based Model Checking of Networked Applications : From Linear to Branching Time2009

    • Author(s)
      Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      24th IEEE/ACM International Conference on Automated Software Engineering

      Pages: 447-458

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Cache-based Model Checking of Networked Applicattions : From Linear to Branching Time2009

    • Author(s)
      Cyrille Artho, Watcharin Leung wattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      24th IEEE/ACM International Conference on Automated Software Engineering

      Pages: 447-458

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Towards DNA Comparator : The Machine That Compares DNA Concentrations2009

    • Author(s)
      Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya
    • Journal Title

      The 14th International Meeting on DNA Computing, Lecture Notes in Computer Science 5347

      Pages: 11-20

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Hybrid Method for Simulating Small-Number Molecular Systems2009

    • Author(s)
      Kazufumi Mizunuma, Masami Hagiya
    • Journal Title

      Algorithmic Bioprocesses, Natural Computing Series

      Pages: 607-622

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Journal Article] Automatic Design of DNA Logic Gates Based on Kinetic Simulation2009

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
    • Journal Title

      DNA Computing and Molecular Programming : 15th International Conference, Lecture Notes in Computer Science 5877

      Pages: 88-96

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Journal Article] Automatic Design of DNA Logic Gates Based on Kinetic Simulation2009

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
    • Journal Title

      DNA Computing and Molecular Programming : 15th International Conference, Lecture Notes in Computer Science 5877

      Pages: 88-96

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Introduction of virtualization technology to multi-process model checking2009

    • Author(s)
      Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      First NASA Formal Methods Symposium, NASA Conference Publication

      Pages: 106-110

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Verifying networked programs using a model checker extension2009

    • Author(s)
      Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Journal Title

      31st International Conference on Software Engineering, Companion Volume

      Pages: 409-410

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300006
  • [Journal Article] Multi-fueled Approach to DNA Nano-robotics2008

    • Author(s)
      Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, and Masami Hagiya
    • Journal Title

      DNA Computing: 13th International Workshop on DNA Computing, DNAl3, LNCS Vol.4848

      Pages: 79-88

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Multi-fueled approach to DNA nano-robotics2008

    • Author(s)
      Akio Nishikawa, Satsuki Yaegashi, Fumiald Tanaka, Kazumasa Ohtake and Masami Hagiya
    • Journal Title

      Natural Computing 7

      Pages: 371-383

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] Combining randomness and a high-capacity DNA memory2008

    • Author(s)
      Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, and Masami Hagiya
    • Journal Title

      DNA Computing: 13th International Workshop on DNA Computing, DNA13, LNCS Vol.4848

      Pages: 109-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Modal μ-calculus on min-plus algebra N∞2008

    • Author(s)
      Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
    • Journal Title

      PPL2008, JSSST 1

      Pages: 216-230

    • NAID

      130000418479

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Modal μ -calculus on min-plus algebra Noo2008

    • Author(s)
      Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, and Masami Hagiya
    • Journal Title

      The Tenth Workshop on Programming and Programming Languages(PPL 2008), Japanese Society on Software Science and Technology

      Pages: 216-230

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Multi-fueled approach to DNA nano-robotics2008

    • Author(s)
      Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya
    • Journal Title

      Natural Computing Vol.7

      Pages: 371-383

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Journal Article] 生命的コンピューティング2008

    • Author(s)
      萩谷昌己
    • Journal Title

      人工知能学会誌 Vol.23, No.3

      Pages: 404-414

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Modal μ-calculus on min-plus algebra N∞2008

    • Author(s)
      Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, and Masami Hagiya
    • Journal Title

      The Tenth Workshop on Programming and Programming Languages (PPL2008), Japanese Society on Software Science and Technology 1

      Pages: 216-230

    • NAID

      130000418479

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Sub-Computation Based Transition Predicate Abstraction2007

    • Author(s)
      Carl Frederiksen, Masami Hagiya
    • Journal Title

      Also in IPSJ Digital Courier Vol.3

    • NAID

      130000058271

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Multi-fueled Approach to DNA Nano-robotics2007

    • Author(s)
      A. Nishikawa, S. Yaegashi, K. Ohtake, M. Hagiya
    • Journal Title

      DNA13, Preliminary Proceedings 1

      Pages: 162-171

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Displacement Whiplash PCR: Optimized architecture and experimental Validation2007

    • Author(s)
      John A, Rose, Ken Komiya, Satsuki Yaegashi, and Masami Hagiya
    • Journal Title

      DNA Computing: 12th International Workshop on DNA Computing, DNA12, LNCS Vol.4287

      Pages: 393-403

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A Coupled Equilibrium Model for Hybridization Error Estimation for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      J.A.Rose, R.J.Deaton, M.Hagiya, A.Suyama
    • Journal Title

      IEEE Transactions in NanoBioscience, Special Issue on Computational NanoBioscience (in press)

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Molecular Computation Using Hairpins and Secondary Structures of DNA2007

    • Author(s)
      Masami Hagiya
    • Journal Title

      Handbook of Theoretical and Computational Nanotechnology, American Scientific Publishers Vol.6, Chapter 18

      Pages: 817-840

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Coupled Equilibrium Model of Hybridization Error for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      John A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama
    • Journal Title

      IEEE Transactions on Nanobioscience Vol.6, No.1

      Pages: 18-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Coupled Equilibrium Model for Hybridization Error Estimation for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      J.A.Rose, R.J.Deaton, M.Hagiya, A.Suyama
    • Journal Title

      IEEE Transactions in NanoBioscience (Special Issue on Computational NanoBioscience) 6-1

      Pages: 18-27

    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] A Coupled Equilibrium Model for Hybridization Error Estimation for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      J. A. Rose, R. J. Deaton, M. Hagiya, A. Suyama
    • Journal Title

      IEEE Transactions in NanoBioscience, Special Issueon Computational NanoBioscience 1

      Pages: 1-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Sub-Computation Based Transition Predicate Abstraction2007

    • Author(s)
      Carl Frederiksen, Masami Hagiya
    • Journal Title

      IPSJ Transactions on Programming Vol.48,No.SIG10

      Pages: 114-137

    • NAID

      130000058271

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Combining Randomness and a High-capacity DNA Moemry2007

    • Author(s)
      Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya
    • Journal Title

      Preliminary Proceedings of the 13th International Meeting on DNA Computing 1

      Pages: 261-269

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] SYANAC: SYnthetic biological Automaton for Noughts And Crosses2007

    • Author(s)
      S. Ayukawa, A. Kobayashi, Y. Nakashima, H. Takagi, S. Hamada, M. Uchiyama, K. Yugi, S. Murata, Y. Sakakibara, M. Hagiya, M. Yamamura and D. Kiga
    • Journal Title

      IET Synthetic Biology Vol.1, No.1-2

      Pages: 64-67

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Unravel four hairpins!2007

    • Author(s)
      Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      Natural Computing Vol. 7, No. 2

      Pages: 287-298

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 数理的技法による情報セキュリティの検証2007

    • Author(s)
      萩谷昌己
    • Journal Title

      応用数理 Vol.17,No.4

      Pages: 8-15

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 分子プログラミング,ソフトウェア工学の基礎XIV2007

    • Author(s)
      萩谷昌己, 山村雅幸
    • Journal Title

      レクチャーノート/ソフトウェア学, 近代科学社 Vol.33

      Pages: 1-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on Hairpin Formation2007

    • Author(s)
      Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, and John A. Rose
    • Journal Title

      DNA Computing: 12th International Workshop on DNA Computing, DNA12, LNCS Vol.4287

      Pages: 428-438

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A Coupled Equilibrium Model for Hybridization Error Estimation fot the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      J.Rose*,R.J.Deaton,M .Hagiya ,A. Suyama
    • Journal Title

      IEEE Transactions in NanoBioscience 6(1)

      Pages: 18-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] A Coupled Equilibrium Model for Hybridization Error Estimation for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      J.A.Rose, R.J.Deaton, M.Hagiya, A.Suyama
    • Journal Title

      IEEE Transactions in NanoBioscience, Special Issue on Computational NanoBioscience (in press)

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Coupled Equilibrium Model of Hybridization Error for the DNA Microarray and Tag-Antitag Systems2007

    • Author(s)
      John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
    • Journal Title

      IEEE Transactions on Nanobioscience Vol. 6, No. 1

      Pages: 18-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Sub-Computation Based Transition Predicate Abstraction2007

    • Author(s)
      Carl Christian Frederiksen and Masami Hagiya
    • Journal Title

      IPSJ Transactions on Programming Vol.48,No.SIG10(PRO33)

      Pages: 114-137

    • NAID

      130000058271

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 関数部分知識と匿名性検証2007

    • Author(s)
      川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
    • Journal Title

      日本応用数理学会論文誌 Vol.17,No.4

      Pages: 559-576

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Unravel four hairpins!2007

    • Author(s)
      Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      Natural Computing (online)

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] DNA鎖に基づくナノシステム2007

    • Author(s)
      萩谷昌己
    • Journal Title

      高分子 Vol.56, No.6

      Pages: 440-440

    • NAID

      10019506689

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Coupled equilibrium model of hybridization error for the DNA microarray and tag-antitag systems2007

    • Author(s)
      John A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama
    • Journal Title

      IEEE Transactions on Nanobioscience 6(1)

      Pages: 18-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Unravel Four Hairpins!2007

    • Author(s)
      Atsushi Kemada, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, and Masami Hagiya
    • Journal Title

      DNA Computing: 12th International Workshop on DNA Computing, DNA12, LNCS Vol.4287

      Pages: 381-392

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Sub-Computation Based Transition Predicate Abstraction2007

    • Author(s)
      Carl Frederiksen, Masami Hagiya
    • Journal Title

      IPSJ Transactions on Programming Vol.48, No.SIG 10(PRO 33)

      Pages: 114-137

    • NAID

      130000058271

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 数理的技法によるセキュリティプロトコルの検証2006

    • Author(s)
      萩谷昌己
    • Journal Title

      日本応用数理学会2006年度年会講演予稿集

      Pages: 8-11

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on Hairpin Formation2006

    • Author(s)
      Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 382-392

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation2006

    • Author(s)
      K.Komiya, S.Yaegashi, M.Hagiya, A.Suyama, J.Rose
    • Journal Title

      12^<th> lnternational Meeting on DNA Computing,(June 5-9,2006,Seoul, Korea) Submitted

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      Daisuke Kiga, Shigeyuki Yokoyama, Masami Hagiya
    • Journal Title

      BioSystems Vol.83, No.1

      Pages: 18-25

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation2006

    • Author(s)
      K.Komiya, S.Yaegashi, M.Hagiya, A.Suyama, J.Rose
    • Journal Title

      12^<th> International Meeting on DNA Computing (2006, Seoul, Korea) (Submitted)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Experimental Validation of the statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on Hairpin Formation2006

    • Author(s)
      Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose
    • Journal Title

      DNA12, Preliminary Proceedings 1

      Pages: 382-392

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 階層的グラフ構造の記述と検証のための様相論理2006

    • Author(s)
      田辺 良則, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 遷移関係の詳細化による正則モデル検査の再構成と拡張2006

    • Author(s)
      櫻田英樹, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会 1

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      K.Komiya, K.Sakamoto, A.Kameda, M.Yamamoto, A.Ohuchi, D.Kiga, S.Yokoyama, M.Hagiya
    • Journal Title

      BioSystems 83

      Pages: 18-25

    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Unravel Four Hairpins!2006

    • Author(s)
      Atsushi Kemada, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 65-74

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Towards Robust DNA Logic Gates2006

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 413-413

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Unravel Four Hairpins!2006

    • Author(s)
      Atsushi Kemada, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 65-74

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] SSHパスワードユーザ認証の脆弱性とその考察2006

    • Author(s)
      齋藤孝道, 鬼頭利之, 萩谷昌己, 溝口文雄
    • Journal Title

      情報処理学会論文誌 Vol.47,No.4

      Pages: 1118-1126

    • NAID

      110004734708

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 階層的グラフ構造の記述と検証のための様相論理2006

    • Author(s)
      田辺良則, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会 1

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      Komiya K, Sakamoto K, Kameda A, Yamamoto M, Ohuchi A, Kiga D, Yokoyama S, Hagiya M
    • Journal Title

      BioSystems Vol.83, No.1

      Pages: 18-25

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      K. Komiya, K. Sakamoto, A. Kameda, M. Yamamoto, A. Ohuchi, D. Kiga, S. Yokoyama, M. Hagiya
    • Journal Title

      BioSystems Vol. 83, No. 1

      Pages: 18-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 遷移関係の詳細化による正則モデル検査の再構成と拡張2006

    • Author(s)
      櫻田英樹, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      J.Rose, K.Komiya, S.Yaegashi, M.Hagiya
    • Journal Title

      12^<th> lnternational Meeting on DNA Computing,(June 5-9,2006,Seoul, Korea) Submitted

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      J.Rose, K.Komiya, S.Yaegashi, M.Hagiya
    • Journal Title

      12^<th> International Meeting on DNA Computing, (June 5-9, 2006, Seoul, Korea) (Submitted)

    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      K.Komiya, K.Sakamoto, A.Kameda, M.Yamamoto, A.Ohuchi, D.Kiga, S.Yokoyama, M.Hagiya
    • Journal Title

      Bio Systems Vol.83

      Pages: 18-25

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      Daisuke Kiga, Shigeyuki Yokoyama, Masami Hagiya
    • Journal Title

      BioSystems Vol.83, No.1

      Pages: 18-25

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation2006

    • Author(s)
      K.Komiya, S.Yaegashi, M.Hagiya, A.Suyama, J.Rose
    • Journal Title

      12^<th> International Meeting on DNA Computing, (June 5-9, 2006, Seoul, Korea) (Submitted)

    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] 数理的技法によるセキュリティプロトコルの検証2006

    • Author(s)
      萩谷昌己
    • Journal Title

      日本応用数理学会2006年度年会講演予稿集 1

      Pages: 8-11

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing2006

    • Author(s)
      Ken Komiya, Kensaku Sakamoto, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Daisuke Kiga, Shigeyuki Yokoyama, Masami Hagiya
    • Journal Title

      BioSysterns Vol. 83, No. 1

      Pages: 18-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Modal Logic for Description and Verfication of Hierarchical Graph Structures2006

    • Author(s)
      Yoshinori Tanabe, Masami Hagiya
    • Journal Title

      JSSST 2006, Lecture Notes 5C-3

      Pages: 1-10

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      John A.Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 393-403

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      J.Rose, K.Komiya, S.Yaegashi, M.Hagiya
    • Journal Title

      12^<th> International Meeting on DNA Computing (2006, Seoul, Korea) June 5-9(Submitted)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Displacement Whiplash PCR: Optimized Architecture and Experimental Validation2006

    • Author(s)
      J.Rose,K.Komiya ,S.Yaegashi,and M. Hagiya
    • Journal Title

      DNA Computing, Springer Lecture Notes in Computer Science LNCS Vol. 4287

      Pages: 393-403

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] SSHパスワードユーザ認証の脆弱性とその考察2006

    • Author(s)
      齋藤孝道, 鬼頭利之, 萩谷昌己, 溝口文雄
    • Journal Title

      情報処理学会論文誌 Vol.47, No.4

      Pages: 1118-1126

    • NAID

      110004734708

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      John A.Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 393-403

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] 電子投票プロトコルの匿名性検証のための関数部分知識モデル2006

    • Author(s)
      川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会 1

      Pages: 1-2

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] 電子投票プロトコルの匿名性検証のための関数部分知識モデル2006

    • Author(s)
      川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第23回大会

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Unravel Four Hairpins2006

    • Author(s)
      A. Kemada, M. Yamamoto, A. Ohuchi, S. Yaegashi, M. Hagiya
    • Journal Title

      DNA12, Preliminary Proceedings 1

      Pages: 65-74

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Displacement Whiplash PCR : Optimized Architecture and Experimental Validation2006

    • Author(s)
      J.A.Rose, K.Komiya, S.Yaegashi, M.Hagiya
    • Journal Title

      DNA Computing, 12^<th> Int'l Workshop on DNA-Based Computers, DNA12, Springer Lecture Notes in Computer Science (LNCS) 4287

      Pages: 393-403

    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on Hairpin Formation2006

    • Author(s)
      Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 382-392

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation2006

    • Author(s)
      K.Komiya, S.Yaegashi, M.Hagiya, A.Suyama, J.A.Rose
    • Journal Title

      DNA Computing, 12^<th> Int'l Workshop on DNA-Based Computers, DNA12, Springer Lecture Notes in Computer Science (LNCS) 4287

      Pages: 428-438

    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] Towards Robust DNA Logic Gates2006

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi
    • Journal Title

      DNA12, Preliminary Proceedings 1

      Pages: 413-413

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation'2006

    • Author(s)
      K.Komiya,S.Yaegashi,M.Hagiya,A. Suyama,and J. Rose
    • Journal Title

      DNA Computing, Springer Lecture Notes in Computer Science LNCS Vol. 4287

      Pages: 428-438

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18300100
  • [Journal Article] Towards Robust DNA Logic Gates2006

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi
    • Journal Title

      The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings

      Pages: 413-413

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Displacement Whiplash PCR : Optimized architecture and experimental validation2006

    • Author(s)
      John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya
    • Journal Title

      DNA12, Preliminary Proceedings 1

      Pages: 393-403

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2005

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA Computing : 10^<th> International Workshop on DNA Computing, DNA10, Lecture Notes in Science Vol.3384

      Pages: 202-214

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 分子コンピューティングの現状と新展開2005

    • Author(s)
      山村雅幸, 萩谷昌己
    • Journal Title

      日本建築学会第28回情報・システム・利用・技術シンポジウム論文集

      Pages: 286-293

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Photo- and Thermoregulation of DNA Nanomachines2005

    • Author(s)
      Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya
    • Journal Title

      DNA11 Preliminary Proceedings 1

      Pages: 147-156

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Model Checking of Multi-Process Applications Using SBUML and GDB2005

    • Author(s)
      Yoshihiko Nakagawa, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya, Kazuhiko Kato
    • Journal Title

      Workshop on Dependable Software --Tools and Methods --,International Conference on dependable Systems and Networks

      Pages: 215-220

    • Data Source
      KAKENHI-PROJECT-16016211
  • [Journal Article] Photo- and Thermoregulation of DNA Nanomachines2005

    • Author(s)
      Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya
    • Journal Title

      DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 147-156

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Computing with Hairpins and Secondary structures of DNA2005

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi
    • Journal Title

      Science and Computation, Natural Computing Series 1

      Pages: 293-308

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] DNAコンピュータ制御コードの最適化2005

    • Author(s)
      阿部正佳, 萩谷昌己, 瀬川修
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集

    • NAID

      130004638894

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] 二次構造の解離に基づく汎用分子システム2005

    • Author(s)
      萩谷昌己
    • Journal Title

      シミュレーション Vol. 24, No. 4

      Pages: 21-24

    • NAID

      110004059526

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A Decision Procedure for the Alternation-free Two-way Modal mu-calculus2005

    • Author(s)
      Y. Tanabe, K. Takahashi, M. Yamamoto, A. Tozawa, M. Hagiya
    • Journal Title

      TABLEAUX 2005, Lecture Notes in Artificial Intelligence Vol.3702

      Pages: 277-291

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] A Retargetable Code Generator for the Generic Intermediate Language in COINS2005

    • Author(s)
      Seika Abe, Masami Hagiya, Ikuo Nakata
    • Journal Title

      IPSJ Transactions on Programming Vol.46, No.SIG14

      Pages: 12-29

    • NAID

      130000022367

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] BDDを用いた2方向CTL論理式充足可能性決定手続きの実装2005

    • Author(s)
      田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 萩谷昌己
    • Journal Title

      コンピュータソフトウェア (掲載予定)

    • NAID

      130004892028

    • Data Source
      KAKENHI-PROJECT-16016211
  • [Journal Article] BDDを用いた2方向CTL論理式充足可能性決定手続きの実装2005

    • Author(s)
      田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 萩谷昌己
    • Journal Title

      コンピュータソフトウェア Vol.22,No.3

      Pages: 154-166

    • NAID

      130004892028

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] BDDによる実装が可能な様相論理の充足可能性判定手続き2005

    • Author(s)
      田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 戸沢晶彦, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会,PPL2005

    • Data Source
      KAKENHI-PROJECT-14658088
  • [Journal Article] An Implementation of a Decision Procedure for Sat-isfiability of Two-way CTL Formulas using BDD2005

    • Author(s)
      Yoshinori Tanabe, KoichiTakahashi, Mitsuharu Yamamoto, Takahiro Sato, Masami Hagiya
    • Journal Title

      Computer Software Vol.22, No.3

      Pages: 154-166

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Computing with Hairpins and Secondary Structures of DNA2005

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi
    • Journal Title

      Nanotechnology : Science and Computation, Natural Computing Series, Springer

      Pages: 293-308

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] A Retargetable Code Generator for the Generic Intermediate Language in COINS2005

    • Author(s)
      Seika Abe, Masami Hagiya, Ikuo Nakata
    • Journal Title

      IPSJ Transactions on Programming Vol. 46, No. SIG14

      Pages: 12-29

    • NAID

      130000022367

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Verification Using Abstraction by temporal Logoc and Its Applications2005

    • Author(s)
      Mitsuharu Yamamoto, Masami Hagiya
    • Journal Title

      JSSST 2005, Lecture Notes 5A-3

      Pages: 1-5

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Computing with Hairpins and Secondary Structures of DNA2005

    • Author(s)
      Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi
    • Journal Title

      Nanotechnology : Science and Computation, Natural Computing Series, Springer

      Pages: 293-308

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 時相論理による抽象化を用いた検証とその応用2005

    • Author(s)
      山本光晴, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第22回大会 1

    • NAID

      130004638889

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] A Decision Procedure for the Alternation-free Two-way Modal μ-calculus2005

    • Author(s)
      Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, and Masami Hagiya
    • Journal Title

      TABLEAUX 2005, Lecture Notes in Artificial Intelligence Vol.3702

      Pages: 277-291

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Journal Article] Hairpin-Based State Machine and Conformational Addressing : Design and Experiment2005

    • Author(s)
      Kameda A., Yamamoto M., Uejima H., Hagiya M., Sakamoto K., Ohuchi A.
    • Journal Title

      Natural Computing 4 3384

      Pages: 103-126

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] DNAコンピュータ制御コードの最適化2005

    • Author(s)
      阿部正佳, 萩谷昌己, 瀬川修
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集 1

      Pages: 1-5

    • NAID

      130004638894

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Chain Reaction Systems Based on Loop Dissociation of DNA2005

    • Author(s)
      Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya
    • Journal Title

      DNA11 Preliminary Proceedings 1

      Pages: 343-353

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] BDDを用いた2方向CTL論理式充足可能性決定手続きの実装2005

    • Author(s)
      田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 萩谷昌己
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 154-166

    • NAID

      130004892028

    • Data Source
      KAKENHI-PROJECT-16016211
  • [Journal Article] A Retargetable Code Generator for the Genetic Intermediate Language in COINS2005

    • Author(s)
      Seika Abe, Masami Hagiya, Ikuo Nakata
    • Journal Title

      IPSJ Transactions on Programming Vol.46, No.SIG14

      Pages: 12-29

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Chain Reaction Systems Based on Loop Dissociation of DNA2005

    • Author(s)
      Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya
    • Journal Title

      DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 343-353

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 分子コンピューティングの現状と新展開2005

    • Author(s)
      山村雅幸, 萩谷昌己
    • Journal Title

      日本建築学会第28回情報・システム・利用・技術シンポジウム論文集 1

      Pages: 286-293

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A Decision Procedure for the Alternation-free Two-way Modal mu-calculus2005

    • Author(s)
      Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
    • Journal Title

      Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),LNCS 3702

      Pages: 277-291

    • Data Source
      KAKENHI-PROJECT-16016211
  • [Journal Article] Discrete state Transition Systems on Continuous Space-Time : A Theoretical Model for Amorphous Computing2005

    • Author(s)
      Masami Hagiya
    • Journal Title

      Lecture Notes in Computer Science 3699

      Pages: 117-129

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Chain Reaction Systems Based on Loop Dissociation of DNA2005

    • Author(s)
      Keiichiro Takahashi, Satuski Yaegashi, Atsushi Kameda, Masami Hagiya
    • Journal Title

      DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 343-353

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] DNAコンピュータ制御コードの最適化2005

    • Author(s)
      阿部正佳, 萩谷昌己, 瀬川修
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集

    • NAID

      130004638894

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Photo- and Thermoregulation of DNA Nanomachines2005

    • Author(s)
      Keiichiro Takahashi, Satuski Yaegashi, Hiroyuki Asanuma, Masami Hagiya
    • Journal Title

      DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 147-156

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2005

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA Computing : 10^<th> International Workshop on DNA Computing, DNA10, Lecture Notes in Science Vol.3384

      Pages: 202-214

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2005

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA10, Lecture Notes in Computer Science 3384

      Pages: 202-214

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Conformational Addressing Using the Hairpin structure of Single-Strand DNA2004

    • Author(s)
      A. Kameda, M. Yamamoto, H. Uejima, M. Hagiya, R. Sakamoto, A. Ohuchi
    • Journal Title

      DNA Computers (DNA9), LNCS Vol. 2943

      Pages: 219-224

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 整数線形計画法を用いたDNAコンピュータ制御コードの生成2004

    • Author(s)
      阿部正佳, 萩谷昌己
    • Journal Title

      情報処理学会論文誌プログラミング Vol.45, No.5 IG9(PR022)

      Pages: 1-13

    • NAID

      110002712418

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions2004

    • Author(s)
      Hiroki Uejima, Masami Hagiya
    • Journal Title

      Lecture Notes in Computer Science, Springer Vol.2943

      Pages: 74-85

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] DNA Nanorobotics and Sequence Design2004

    • Author(s)
      Masami Hagiya
    • Journal Title

      Proc. SICE Annual Conference 1

      Pages: 2774-2778

    • NAID

      130006960545

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2004

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA10, Tenth International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 202-213

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] Equilibrium Model of DNA Chip Hybridization Error2004

    • Author(s)
      John A. Rose, Masami Hagiya, Akira Suyama
    • Journal Title

      The 15^<th> International Conference on Genome Informatics 1

      Pages: 1-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] BDDを用いたガード付きフラグメントの充足可能性判定2004

    • Author(s)
      佐藤 貴洋, 田辺 良則, 萩谷 昌己
    • Journal Title

      日本ソフトウェア科学会第21回大会

    • NAID

      130005006615

    • Data Source
      KAKENHI-PROJECT-14658088
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2004

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA10, Preliminary Proceeding 1

      Pages: 202-213

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Equilibrium Model of DNA Chip Hybridization Error (Poster Abstract)2004

    • Author(s)
      J.Rose, M.Hagiya, A.Suyama
    • Journal Title

      Proc. Genome Informatics Workshop 2004 (Dec13-15, Yokohama, Japan), Posters and Software Demos

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Preliminary Experiments on Hairpin Structure Dissociation for Constructing Robust DNA Machines2004

    • Author(s)
      Keiichiro Takahashi, Masami Hagiya
    • Journal Title

      Proc. of the 2004 IEEE 1

      Pages: 285-290

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 格子状の様相を持つ時相論理による抽象化のための充足可能性判定2004

    • Author(s)
      山本光晴, 萩谷昌己
    • Journal Title

      日本ソフトウェア科学会第21回大会

    • NAID

      130005006623

    • Data Source
      KAKENHI-PROJECT-14658088
  • [Journal Article] Conformational Addressing Using the Hairpin structure of Single-Strand DNA2004

    • Author(s)
      Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi
    • Journal Title

      9th International Workshop on DNA Based Computers(DNA9) 2943

      Pages: 219-224

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] 整数線形計画法を用いたDNAコンピュータ制御コードの生成2004

    • Author(s)
      阿部正佳, 萩谷昌己
    • Journal Title

      報処理学会論文誌プログラミング Vol.45 No.SIG9(PRO22)

      Pages: 1-13

    • NAID

      110002712418

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] UML Scrapbook and Realization of Snapshot Programming Environment2004

    • Author(s)
      D.Sato, R.Potter, M.Yamamoto, M.Hagiya
    • Journal Title

      Second Mext-NSF-JSPS International Symposium, ISSS 2003, Lecture Notes in Computer Science 3233

      Pages: 281-295

    • Data Source
      KAKENHI-PROJECT-14658088
  • [Journal Article] 整数線形計画法を用いたDNAコンピュータ制御コードの生成2004

    • Author(s)
      阿部正佳, 萩谷昌己
    • Journal Title

      情報処理学会論文誌プログラミング Vol. 45, No. SIG9

      Pages: 1-13

    • NAID

      110002712418

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Towards Molecular Programming - a Personal Report on DNA8 and Molecular Computing2004

    • Author(s)
      Masami Hagiya
    • Journal Title

      Natural Computing Series 1

      Pages: 125-140

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] On Computation of Minimum Free Energy and Partition Function of Multiple Nucleic Acid Seguences2004

    • Author(s)
      Keiichiro Takahashi, Masami Hagiya
    • Journal Title

      Proc. FIT2004 Vol. 1

      Pages: 91-92

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Analysis of Synchronous and Asynchronous Cellular Automata using Abstraction by Temporal Logic2004

    • Author(s)
      Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, et al.
    • Journal Title

      Functional and Logic Programming (FLOPS 2004), LNCS 2998

      Pages: 7-21

    • Data Source
      KAKENHI-PROJECT-16016211
  • [Journal Article] Equilibrium Model of DNA Chip Hybridization Error(Poster Abstract)2004

    • Author(s)
      J.Rose, M.Hagiya, A.Suyama
    • Journal Title

      Proc. Genome Informatics Workshop 2004(Dec 13-15,Yokohama, Japan), Posters and Software Demos

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Minimum Basin Algorithm : An Effective Analysis Technique for DNA Energy Landscapes2004

    • Author(s)
      Mitsuhiro Kubota, Masami Hagiya
    • Journal Title

      DNA10, Tenth International Meeting on DNA Based Computers, Preliminary Proceedings

      Pages: 202-213

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Equilibrium Model of DNA Chip Hybridization Error(Poster Abstract)2004

    • Author(s)
      J.Rose, M.Hagiya, A.Suyama
    • Journal Title

      Proc.Genome Informatics Workshop 2004(Dec 13-15,Yokohama, Japan), Posters and Software Demonstrations

    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] 分子プログラミング大容量分子メモリと分子2004

    • Author(s)
      萩谷昌己, 山本雅人, 亀田充史
    • Journal Title

      臨時別冊・数理科学SGCライブラリー31 分子コンピュータの現状と展望-分子プログラミングへの展開- 1

      Pages: 112-118

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Code Generation for a DNA Computer by Integer Linear Programming2004

    • Author(s)
      Seika Abe, Masami Hagiya, Takao Nakajima
    • Journal Title

      Proceedings of the 2004 IEEE Conference on Cybernetics and Intelligent Systems 1

      Pages: 268-273

    • NAID

      110002712418

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] The Fidelity of the Tag-Antitag System 2 : Reconciliation with the Stringency Picture2003

    • Author(s)
      J.A.Rose, M.Hagiya, A.Suyama
    • Journal Title

      Proceedings,2003 Int'l Congress on Evolutionary Computation(CEC'03)Dec.8-12;IEEE Press(2003). Vol.4

      Pages: 2740-47

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] A DNA-computing-based genetic program for in vitro protein evolution via constrained pseudomodule shuffling2003

    • Author(s)
      J. A. Rose, M. Takano, M. Hagiya, A. Suyama
    • Journal Title

      Genetic Programming and Evolvable Machines 4 1

      Pages: 139-152

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] The Fidelity of the Tag-Antitag System 2 : Reconciliation with the Stringency Picture2003

    • Author(s)
      John A. Rose, Masami Hagiya, Akira Suyama
    • Journal Title

      Proceedings of the 2003 Congress on Evolutionary Computation (CEC'03) 1

      Pages: 2740-2747

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Conformational Addressing using the hairpin structure of single-strand DNA2003

    • Author(s)
      A. Kameda, M. Yamamoto, H. Uejima, M. Hagiya, K. Sakamoto, A. Ohuchi
    • Journal Title

      DNA9 Preliminary Proceedings 1

      Pages: 197-201

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Secondary structure Design of Multi-State DNA Machines Based on Sequential Structure Transitions2003

    • Author(s)
      Hiroki Uejima, Masami Hagiya
    • Journal Title

      DNA9 Preliminary Proceedings 1

      Pages: 80-91

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A DNA-computing-based genetic program for in vitro protein evolution via constrained pseudomodule shuffling2003

    • Author(s)
      J.A.Rose, M.Takano, M.Hagiya, A.Suyama
    • Journal Title

      Genetic Programming and Evolvable Machines 4

      Pages: 139-152

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15310084
  • [Journal Article] Branching DNA Machines Based on Transitions of Hairpin Structures2003

    • Author(s)
      Mitsuhiro Kubota, K.Ohtake, K.Komiya, K.Sakamoto, M.Hagiya
    • Journal Title

      Proceedings of the 2003 Congress on Evolutionary Computation (CEC'03)

      Pages: 2542-2548

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudo-module Shuffling2003

    • Author(s)
      J.A.Rose, M.Takano, M.Hagiya, A.Suyama
    • Journal Title

      Genetic Programming and Evolvable Machines Vol.4

      Pages: 139-52

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules2003

    • Author(s)
      Hiroki Uejima, Masami Hagiya
    • Journal Title

      DNA9 Preliminary Proceedings 1

      Pages: 92-96

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] The Fidelity of the Tag-Antitag System 2 : Reconciliation with the Stringency Picture2003

    • Author(s)
      J.A.Rose, M.Hagiya, A.Suyama
    • Journal Title

      Proceedings, 2003 International Congress on Evolutionary Computation (CEC'03), Dec. 8-12 ; IEEE Press (2003) Vol.4

      Pages: 2740-2747

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300100
  • [Journal Article] DNA Computing2003

    • Author(s)
      Masami Hagiya, Azuma Ohichi
    • Journal Title

      DNA8 Lecture Notes in Computer Science Vol. 2568

      Pages: 231-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Branching DNA Machines Based on Transitions of Hairpin structures2003

    • Author(s)
      Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya, Kensaku Sakamoto, Masami Hagiya
    • Journal Title

      Proceedings of the 2003 Congress on Evolutionary Computation (CEC'03) 1

      Pages: 2542-2548

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] An Equilibrium Analysis of the Efficiency of an Autonomous Molecular Computer2002

    • Author(s)
      J.A.Rose, R.J.Deaton, M.Hagiya, A.Suyama
    • Journal Title

      Physical Review E Vol.65, No.2-1

      Pages: 1-13

    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Complexity analysis of the SATengine : DNA algorithms as probabilistic algorithms2002

    • Author(s)
      Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto
    • Journal Title

      Theoretical Computer Science Vol. 287

      Pages: 59-71

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] A DNA-based in vitro Genetic Program2002

    • Author(s)
      J. A. Rose, M. Hagiya, R. J. Deaton, A. Suyama
    • Journal Title

      J. Biol. Phys. 28

      Pages: 493-498

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Horn Clause Computation by Self-Assembly of DNA Molecules2002

    • Author(s)
      Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi
    • Journal Title

      DNA7 Lecture Notes in Computer Science Vol. 2340

      Pages: 308-320

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] PNA-mediated Whiplash PCR, DNA Computing2002

    • Author(s)
      John. A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
    • Journal Title

      DNA7, LNCS 2340

      Pages: 104-116

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] The Fidelity of the Tag-Antitag System, DNA Computing2002

    • Author(s)
      John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
    • Journal Title

      DNA7, LNCS 2340

      Pages: 138-149

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] An Equilibrium Analysis of the Efficiency of an Autonomous Molecular Computer2002

    • Author(s)
      J.A.Rose, R.J.Deaton, M.Hagiya, A.Suyama
    • Journal Title

      Physical Review B Vol.65,No.2-1

      Pages: 1-13

    • Data Source
      KAKENHI-PROJECT-14085202
  • [Journal Article] An Equilibrium Analysis of the Efficiency of an Autonomous Molecular Computer2002

    • Author(s)
      J. A. Rose, E. J. Deaton, M. Hagiya, A. Suyama
    • Journal Title

      Physical Review E Vol. 65, No. 2-1

      Pages: 1-13

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-14085101
  • [Journal Article] Sub-Computation Based Transition Predicate Abstraction

    • Author(s)
      Carl Christian Frederiksen, Masami Hagiya
    • Journal Title

      IPSJ Transactions on Programming to appear

    • NAID

      130000058271

    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] ブロック部品を用いたプログラミング試験について2023

    • Author(s)
      田辺良則,萩谷昌己
    • Organizer
      情報処理学会 コンピュータと教育研究会 168回研究発表会
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Presentation] Automatic Scoring in Programming Examinations for Beginners2022

    • Author(s)
      Yoshinori Tanabe, Masami Hagiya
    • Organizer
      14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Presentation] 初級者を対象としたプログラミング試験のためのシステムについて2022

    • Author(s)
      田辺良則, 萩谷昌己
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Presentation] 試験問題の自動採点が行えるプログラミング言語の検討2021

    • Author(s)
      田辺良則, 萩谷昌己
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-20K12106
  • [Presentation] ネットワークシミュレータを組み込んだモデルベーステスト環境2021

    • Author(s)
      福田昂祐,田辺良則,萩谷昌己
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] Self-stabilizing Distributed Algorithms by Gellular Automata2020

    • Author(s)
      Taiga Hongu, Masami Hagiya
    • Organizer
      Automata 2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] Model-Based Testing for MQTT Applications2020

    • Author(s)
      Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
    • Organizer
      13th International Joint Conference on Knowledge-Based Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020

    • Author(s)
      Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020

    • Author(s)
      Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
    • Organizer
      5th Workshop on Monitoring and Testing of Cyber-Physical Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] セルオートマトンの自己安定性とスマートマテリアル2020

    • Author(s)
      萩谷昌己
    • Organizer
      人工知能学会ナチュラルコンピューティング研究会
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] モデルベーステストツールModbatによるIoTソフトウェア検証に向けて2019

    • Author(s)
      田辺弘太郎,田辺良則,萩谷昌己
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] Self-stabilizing Gellular Automata2019

    • Author(s)
      Tatsuya Yamashita, Akira Yagawa, Masami Hagiya
    • Organizer
      International Conference on Unconventional Computation and Natural Computation
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] 自己安定ゲルオートマトンについて2019

    • Author(s)
      萩谷昌己, 矢川晃, 本宮泰河
    • Organizer
      人工知能学会合同研究会ナチュラルコンピューティング第33回研究会
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] IoTソフトウェアのための不安定なネットワークとデバイスをシミュレートするモデルベーステスト2018

    • Author(s)
      米山 惇, Cyrille Artho, 萩谷 昌己, 田辺 良則
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] IoTソフトウェアのための不安定なネットワークとデバイスをシミュレートするモデルベーステスト2018

    • Author(s)
      米山惇, Cyrille Artho, 萩谷昌己, 田辺良則
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-16K00109
  • [Presentation] Simulating Population Protocols by Gellular Automata2018

    • Author(s)
      Tatsuya Yamashita and Masami Hagiya
    • Organizer
      2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] 分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化2018

    • Author(s)
      坂西 一暁, Cyrille Artho, 田辺 良則, 萩谷 昌己, 北村 崇師
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-17H01719
  • [Presentation] 分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化2018

    • Author(s)
      坂西一暁, Cyrille Artho, 田辺良則, 萩谷昌己, 北村崇師
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-16K00109
  • [Presentation] From gellular automata to distributed algorithms2018

    • Author(s)
      Masami Hagiya
    • Organizer
      International Workshop on Natural Computing (IWNC 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] Amoeba and Slime: Molecular Robots with Sensors and Intelligence2017

    • Author(s)
      Masami Hagiya, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito and Satoshi Murata
    • Organizer
      FOUNDATIONS OF NANOSCIENCE
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] Amoeba and Slime: Molecular Robots with Sensors and Intelligence2017

    • Author(s)
      Masami Hagiya
    • Organizer
      11th International Workshop on Natural Computing
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19961
  • [Presentation] 群知能を用いた経路探索による機械学習2017

    • Author(s)
      丸中愉太, 大下福仁, 萩谷昌己
    • Organizer
      第29回自律分散システム・シンポジウム
    • Place of Presentation
      調布クレストンホテル(東京)
    • Year and Date
      2017-01-30
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Amoeba and Slime: Molecular Robots with Sensors and Intelligence2017

    • Author(s)
      Masami Hagiya , Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito and Satoshi Murata
    • Organizer
      FOUNDATIONS OF NANOSCIENCE
    • Int'l Joint Research
    • Data Source
      KAKENHI-WRAPUP-17H06071
  • [Presentation] Amoeba and Slime: Molecular Robots with Sensors and Intelligence2017

    • Author(s)
      Masami Hagiya
    • Organizer
      11th International Workshop on Natural Computing
    • Int'l Joint Research
    • Data Source
      KAKENHI-WRAPUP-17H06071
  • [Presentation] Monitoring Distributed Applications with Java Pathfinder2016

    • Author(s)
      Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
    • Organizer
      Java Pathfinder Workshop 2016
    • Place of Presentation
      Seattle, USA
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26280019
  • [Presentation] Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA2016

    • Author(s)
      T. Isokawa, F. Peper, I. Kawamata, N. Matsui, S. Murata, M. Hagiya
    • Organizer
      Unconventional Computation and Natural Computation 2016
    • Place of Presentation
      Manchester (UK)
    • Year and Date
      2016-07-11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Gellular Automata2016

    • Author(s)
      Masami Hagiya
    • Organizer
      Unconventional Computation and Natural Computation 2016
    • Place of Presentation
      Manchester (UK)
    • Year and Date
      2016-07-11
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] 分子ロボティクスブース展示2016

    • Author(s)
      小長谷・萩谷・村田・角五・平塚・葛谷・森島・上野・小宮・川又
    • Organizer
      MEMSセンシング&ネットワークシステム展2016
    • Place of Presentation
      パシフィコ横浜(神奈川)
    • Year and Date
      2016-09-14
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Implementation of Turing Machine Using DNA Strand Displacement2016

    • Author(s)
      M. Hagiya, W. Yahiro
    • Organizer
      The 5th International Conference on the Theory and Practice of Natural Computing
    • Place of Presentation
      東北大学(宮城)
    • Year and Date
      2016-12-12
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] 分子ロボティクスブース展示2016

    • Author(s)
      小長谷明彦・萩谷昌己・村田智・野村慎一郎・瀧ノ上正浩・小宮健・遠藤政幸・森島圭祐
    • Organizer
      Nanotech2016
    • Place of Presentation
      東京ビッグサイト(東京都江東区)
    • Year and Date
      2016-01-27
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automaton2016

    • Author(s)
      Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata
    • Organizer
      The Fourth International Symposium on Computing and Networking
    • Place of Presentation
      東広島芸術文化ホールくらら(広島)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata2015

    • Author(s)
      Shaoyu Wang, Katsunobu Imai, and Masami Hagiya
    • Organizer
      Third International Symposium on Computing and Networking
    • Place of Presentation
      札幌市産業振興センター(北海道札幌市)
    • Year and Date
      2015-12-08
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Cardinality of UDP Transmission Outcomes2015

    • Author(s)
      Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
    • Organizer
      1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
    • Place of Presentation
      南京 (中国)
    • Year and Date
      2015-11-04
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] 分子ロボティクスブース展示2015

    • Author(s)
      小長谷明彦・萩谷昌己・村田智
    • Organizer
      ナノ・マイクロビジネス展/ROBOTECH
    • Place of Presentation
      パシフィコ横浜(神奈川県横浜市)
    • Year and Date
      2015-04-22
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] GRT at the SBST 2015 Tool Competition2015

    • Author(s)
      Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Organizer
      8th IEEE/ACM International Workshop on Search-Based Software Testing
    • Place of Presentation
      フィレンツェ (イタリア)
    • Year and Date
      2015-05-02
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] Towards implementing swarms by molecular robots2015

    • Author(s)
      Masami Hagiya
    • Organizer
      Workshop on Distributed Robotic Swarms
    • Place of Presentation
      京都大学(京都府京都市)
    • Year and Date
      2015-10-05
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] New generation molecular computing and control2014

    • Author(s)
      萩谷昌己
    • Organizer
      DNA20 DNA Computing and Molecular Programming
    • Place of Presentation
      京都大学(京都)
    • Year and Date
      2014-09-22
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Molecular computers for molecular robots as hybrid systems2014

    • Author(s)
      萩谷昌己
    • Organizer
      Verification of Engineered Molecular Devices and Programs (VEMDP 2014) An affiliated workshop of CAV 2014
    • Place of Presentation
      ウィーン(オーストリア)
    • Year and Date
      2014-07-17
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] 検証済みのコードによるCoqからScalaへのコード抽出2014

    • Author(s)
      逸見 港, 田辺 良則, 今井 宜洋, 萩谷 昌己
    • Organizer
      第31回ソフトウェア科学会大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-10
    • Data Source
      KAKENHI-PROJECT-25330096
  • [Presentation] Toward Gel-sol Transition of Hydrogel Driven by DNA Devices2013

    • Author(s)
      Ibuki Kawamata, Satoshi Murata and Masami Hagiya
    • Organizer
      19th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      アリゾナ州立大学(アリゾナ、米国)
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] 分子ロボティクスブース展示2013

    • Author(s)
      小長谷明彦、萩谷昌己、村田智、小林聡
    • Organizer
      ナノ・マイクロビジネス展
    • Place of Presentation
      お台場国際展示場(東京)
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Nathanael Aubert, Teruo Fujii, Masami Hagiya and Yannick Rondelez2013

    • Author(s)
      Nathanael Aubert, Teruo Fujii, Masami Hagiya and Yannick Rondelez
    • Organizer
      19th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      アリゾナ州立大学(アリゾナ、米国)
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication2013

    • Author(s)
      C. Artho, M. Hagiya, R. Potter, Y. Tanabe, F. Weitl, M. Yamamoto
    • Organizer
      28th Int. Conf. on Automated Software Engineering
    • Place of Presentation
      Crowne Plaza Cabana(米国、カリフォルニア州)
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] Molecular Robotics Project: Toward Artifacts with Sensors, Actuators and Intelligence2013

    • Author(s)
      Akihiko konagaya, Masami Hagiya, Satoshi Kobayashi, Hirohide Saito, Satoshi Murata
    • Organizer
      ATISR2013
    • Place of Presentation
      圓山大飯店(台湾)
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Towards Persistent Molecular Computers for Molecular Robots2013

    • Author(s)
      Masami Hagiya, Ibuki Kawamata and Nathanael Aubert
    • Organizer
      19th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      アリゾナ州立大学(アリゾナ、米国)
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Modbat: A Model-based API Tester for Event-driven Systems2013

    • Author(s)
      C. Artho, A. Biere, M. Hagiya, M. Seidl, E. Platon, Y. Tanabe, M. Yamamoto
    • Organizer
      9th Haifa Verification Conference
    • Place of Presentation
      IBM Research(イスラエル、Haifa)
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] The Japanese Molecular Robotics Project: Toward Artifacts with Sensors, Actuators and Intelligence2013

    • Author(s)
      Akihiko konagaya, Masami Hagiya, Satoshi Kobayashi, Hirohide Saito, Satoshi Murata
    • Organizer
      5th MPP retreat workshop
    • Place of Presentation
      Embassy Suites Mandalay Beach Hotel(米国)
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Java PathFinderを使用したOpenFlowコントローラのモデル検査2013

    • Author(s)
      穂浪勇利,田辺良則,萩谷昌己
    • Organizer
      第30回 日本ソフトウェア科学会大会
    • Place of Presentation
      東京大学 (東京都)
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] Towards Co-evolution of Information, Life and Artificial Life2012

    • Author(s)
      Masami Hagiya and Ibuki Kawamata
    • Organizer
      6th International Workshop on Natural Computing
    • Place of Presentation
      University of Tokyo, Tokyo, Japan.
    • Year and Date
      2012-03-29
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
    • Place of Presentation
      The Royal Society, London, UK.
    • Year and Date
      2012-10-04
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] 化学反応系の複雑さと分子ロボットの知能2012

    • Author(s)
      川又生吹, 萩谷昌己
    • Organizer
      人工知能学会合同研究会第 51回分子生物情報研究会
    • Place of Presentation
      慶應義塾大学日吉キャンパス來往舎.
    • Year and Date
      2012-11-15
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Efficiency and Exactness of Simulations by Abstracting Graph Models for DNA and RNA Reaction Systems2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark
    • Year and Date
      2012-08-14
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures,2012

    • Author(s)
      Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, andKazuhiro Oiwa
    • Organizer
      12th IEEE Conference on Nanotechnology(IEEE-NANO) 2012
    • Place of Presentation
      International Convention Centre,Birmingham, UK.
    • Year and Date
      2012-08-22
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Enforcing Delays in DNA Computing Systems2012

    • Author(s)
      Nathanael Aubert, Yannick Rondelez,Teruo Fujii, and Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark.
    • Year and Date
      2012-08-16
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] 化学反応系の複雑さと分子ロボットの知能2012

    • Author(s)
      川又生吹, 萩谷昌己
    • Organizer
      人工知能学会合同研究会 第51回分子生物情報研究会
    • Place of Presentation
      慶應義塾大学 日吉キャンパス來往舎
    • Year and Date
      2012-11-15
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Modbat: A model-based API tester for event-driven systems2012

    • Author(s)
      C. Artho, A. Biere, M. Hagiya, R. Potter, R. Ramler, Y. Tanabe, F. Weitl, M. Yamamoto
    • Organizer
      the Dependable Systems Workshop 2012
    • Place of Presentation
      計算科学研究機構(兵庫)
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures2012

    • Author(s)
      Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa
    • Organizer
      12th IEEE Conference on Nanotechnology (IEEE-NANO) 2012
    • Place of Presentation
      International Convention Centre, Birmingham, UK
    • Year and Date
      2012-08-22
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Efficiency and Exactness of Simulations by Abstracting Graph Models for DNA and RNA Reaction Systems,2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark.
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] 分子コンピューティングから分子ロボティクスへ2012

    • Author(s)
      萩谷昌己
    • Organizer
      生命医薬情報学連合大会/分子ロボティクス研究会
    • Place of Presentation
      船堀タワーホール,東京
    • Year and Date
      2012-10-15
    • Invited
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
    • Organizer
      The 10th Conference on Computational Methods in Systems Biology (CMSB2012)
    • Place of Presentation
      The Royal Society, London, UK
    • Year and Date
      2012-10-04
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] 分子コンピューティングから分子ロボティクスへ2012

    • Author(s)
      萩谷昌己
    • Organizer
      生命医薬情報学連合大会/分子ロボティクス研究会
    • Place of Presentation
      船堀タワーホール,東京
    • Year and Date
      2012-10-15
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Enforcing Delays in DNA Computing Systems2012

    • Author(s)
      Nathanael Aubert, Yannick Rondelez, Teruo Fujii, Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark
    • Year and Date
      2012-08-16
    • Data Source
      KAKENHI-PLANNED-24104005
  • [Presentation] Efficiency and Exactness of Simulations by Abstracting Graph Models for DNA and RNA Reaction Systems2012

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Model Checking Distributed Systems by Combining Caching and Process Checkpointing2011

    • Author(s)
      W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto
    • Organizer
      26th Int. Conf. on Automated Software Engineering (ASE 2011)
    • Place of Presentation
      Oread, Lawrence, Kan, USA
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2011

    • Author(s)
      田辺 良則, Cyriile Artho, Watcharin Leungwattanakit, 山本 光晴, 萩谷 昌己
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター,沖縄県那覇市
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications2011

    • Author(s)
      Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
    • Organizer
      9th International Conference of Software Engineering and Formal Methods, SEFM 2011
    • Place of Presentation
      Montevideo, Uruguay
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] The 2011 International Conference on Parallel and Distributed Processing2011

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya
    • Organizer
      Techniques and Applications
    • Place of Presentation
      Las Vegas,USA.
    • Year and Date
      2011-07-18
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Automatically Designed DNA Automaton2010

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      The 16th International Meeting on DNA Computing and Molecular Programming
    • Place of Presentation
      Hong Kong, China
    • Year and Date
      2010-06-16
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Automatically Designed DNA Automaton2010

    • Author(s)
      川又生吹, 田中文昭, 萩谷昌己
    • Organizer
      The 16th International Meeting on DNA Computing and Molecular Programming
    • Place of Presentation
      Hong Kong
    • Year and Date
      2010-06-16
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Design and Evolution of Autonomous Molecular Systems in DNA Nanoengineering and Synthetic Biology2010

    • Author(s)
      萩谷昌己
    • Organizer
      SICE 2010 Annual Conference
    • Place of Presentation
      Taipei(Taiwan)
    • Year and Date
      2010-08-21
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Design and Evolution of Autonomous Molecular Systems in DNA Nanoengineering and Synthetic Biology2010

    • Author(s)
      Masami Hagiya
    • Organizer
      SICE 2010 Annual Conference
    • Place of Presentation
      Taipei (Taiwan)
    • Year and Date
      2010-08-21
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Towards a controllable 3D DNA nanostructure2010

    • Author(s)
      Fumiaki Tanaka, Akio Nishikawa, Ibuki Kawamata, Masami Hagiya
    • Organizer
      Foundations of Nanoscience 2010
    • Place of Presentation
      Snowbird(USA)
    • Year and Date
      2010-04-29
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Traceable and Sharable Database of Biological Experiments in Synthetic Biology2010

    • Author(s)
      Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      International Conference on Bioinformatics 10
    • Place of Presentation
      Tokyo早稲田大学
    • Year and Date
      2010-09-28
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] 合成生物学の実験のためのトレース可能なデータベース2010

    • Author(s)
      川又生吹, 木賀大介, 有田正規, 田中文昭, 萩谷昌己
    • Organizer
      細胞を創る研究会3.0
    • Place of Presentation
      東京大学生産技術研究所
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] DNA反応系の自動設計に向けたモデリングの拡張2009

    • Author(s)
      川又生吹,田中文昭,萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] Development of a DNA Machine That Compares Two Concentrations of DNA2009

    • Author(s)
      田中文昭, 川又生吹, 萩谷昌己
    • Organizer
      15th International Meeting on DNA computing and Molecular Programming.
    • Place of Presentation
      Arkansas(USA)
    • Year and Date
      2009-06-09
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNAロボットの自動設計に向かって2009

    • Author(s)
      萩谷昌己
    • Organizer
      計測自動設計学会 システム・情報部門 学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-25
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNAプログラミング~塩基配列設計からDNAナノ構造・分子デバイスの設計まで~2009

    • Author(s)
      田中文昭, 川又生吹, 萩谷昌己
    • Organizer
      計測自動設計学会 システム・情報部門 学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Photo-control experiments on DNA tiles with photo-controllable sticky ends2009

    • Author(s)
      Akio Nishikawa, Kazumasa Ohatake, Fumiaki Tanaka and Masami Hagiya
    • Organizer
      Foundations of Nanoscience 2009
    • Place of Presentation
      スノーバード(アメリカ)
    • Year and Date
      2009-04-22
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNAプログラミング~塩基配列設計からDNAナノ構造・分子デバイスの設計まで~2009

    • Author(s)
      田中文昭, 川又生吹, 萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Toward Automatic Design of DNA Logic Gates and Devices2009

    • Author(s)
      川又生吹, 田中文昭, 萩谷昌己
    • Organizer
      1st International Workshop on Bio-Design Automation
    • Place of Presentation
      San Fransisco(USA)
    • Year and Date
      2009-07-27
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] DNA反応系の自動設計に向けたモデリングの拡張2009

    • Author(s)
      川又生吹, 田中文昭, 萩谷昌己
    • Organizer
      計測自動設計学会 システム・情報部門 学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNAロボットの自動設計に向かって2009

    • Author(s)
      萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-25
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Photo-control experiments on DNA tiles with photo-controllable sticky ends2009

    • Author(s)
      Akio Nishikawa, Kazumasa Ohtake, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      Foundations of Nanoscience 2009.
    • Place of Presentation
      スノーバード(アメリカ)
    • Year and Date
      2009-04-22
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNA反応系の自動設計に向けたモデリングの拡張2009

    • Author(s)
      川又生吹, 田中文昭, 萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] DNAロボットの自動設計に向かって2009

    • Author(s)
      萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-25
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] DNAプログラミング~塩基配列設計からDNAナノ構造・分子デバイスの設計まで~2009

    • Author(s)
      田中文昭, 川又生吹, 萩谷昌己
    • Organizer
      計測自動設計学会システム・情報部門学術講演会2009
    • Place of Presentation
      東工大
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-21650018
  • [Presentation] Toward Self-Assembly of Phage-Like Nanorobot2009

    • Author(s)
      Miki Hirabayashi, Kazuhiro Oiwa, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      IEEE NANO 2009.
    • Place of Presentation
      Genoa(Italy)
    • Year and Date
      2009-07-29
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Toward Automatic Design of DNA Logic Gates and Devices2009

    • Author(s)
      川又生吹, 田中文昭, 萩谷昌己
    • Organizer
      1st International Workshop on Bio-Design Automation.
    • Place of Presentation
      San Fransisco(USA)
    • Year and Date
      2009-07-27
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Towards Multi-fueled DNA walker on DNA trails2008

    • Author(s)
      Akio Nishikawa, Kazumasa Ohatake, Fumiald Tanaka and Masami Hagiya
    • Organizer
      DNA-Based Nanodevice
    • Place of Presentation
      イェーナ(ドイツ)
    • Year and Date
      2008-05-30
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Towards Multi-fueled DNA walker on DNA trails2008

    • Author(s)
      Akio Nishikawa, Kazumasa Ohtake, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      DNA-Based Nanodevice.
    • Place of Presentation
      イェーナ(ドイツ)
    • Year and Date
      2008-05-30
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Towards Photo-controllable Self-assembly of DNA Tiles2008

    • Author(s)
      Akio Nishikawa, Kazumasa Ohatake, Fumiaki Tanaka and Masami Hagiya
    • Organizer
      The 14th International Meeting on DNA Computing
    • Place of Presentation
      プラハ(チェコ)
    • Year and Date
      2008-06-04
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Towards Photo-controllable Self-assembly of DNA Tiles2008

    • Author(s)
      Akio Nishikawa, Kazumasa Ohtake, Fumiaki Tanaka, Masami Hagiya
    • Organizer
      The 14th International Meeting on DNA Computing.
    • Place of Presentation
      プラハ
    • Year and Date
      2008-06-04
    • Data Source
      KAKENHI-PROJECT-20300106
  • [Presentation] Modal μ -calculus on min-plus algebra N∞ and its applications2007

    • Author(s)
      Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, and Masami Hagiya
    • Organizer
      JSST2007
    • Place of Presentation
      Nara Institution of Science and Technology.
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] min-plus代数N∞上の様相μ計算とその応用2007

    • Author(s)
      五十嵐大, 田辺良則, 西澤弘毅, 萩谷昌己
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-12
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] 時間付きグラフ書換系の抽象化について(ポスター)2006

    • Author(s)
      田辺良則, 萩谷昌己
    • Organizer
      第8回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      滋賀県大津市雄琴
    • Year and Date
      2006-03-06
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] On Abstraction of Timed Graph Rewriting Systems2006

    • Author(s)
      Yoshinori Tanabe, Masami Hagiya
    • Organizer
      PPL2006
    • Place of Presentation
      Otsu Shiga.
    • Year and Date
      2006-03-06
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] An Abstraction-Based Method for Verifying Liveness of Graph Rewriting Systems2006

    • Author(s)
      Carl Frederiksen, Yoshinori Tanabe, Masami Hagiya
    • Organizer
      PPL2006
    • Place of Presentation
      Otsu Shiga.
    • Year and Date
      2006-03-06
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] 抽象化によるグラフ書換系活性性質検証の一手法(ポスター)2006

    • Author(s)
      Carl Frederiksen, 田辺良則, 萩谷昌己
    • Organizer
      第8回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      滋賀県大津市雄琴
    • Year and Date
      2006-03-06
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500003
  • [Presentation] CoqからScalaへのコード抽出とその妥当性

    • Author(s)
      田辺良則,逸見 港, 今井 宜洋, 萩谷 昌己
    • Organizer
      Theorem proving and provers for reliable theory and implementations (TPP2014)
    • Place of Presentation
      九州大学・西新プラザ大会議室 (福岡県)
    • Year and Date
      2014-12-03 – 2014-12-05
    • Data Source
      KAKENHI-PROJECT-25330096
  • [Presentation] 分子ロボティクスブース展示

    • Author(s)
      小長谷・萩谷・村田
    • Organizer
      ナノ・マイクロビジネス展/ROBOTECH
    • Place of Presentation
      パシフィコ横浜(神奈川県)
    • Year and Date
      2014-04-23 – 2014-04-25
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] 感覚と知能を備えた分子ロボットの創成

    • Author(s)
      萩谷昌己
    • Organizer
      第3回CSJ化学フェスタ2013
    • Place of Presentation
      タワーホール船堀(東京)
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-24104001
  • [Presentation] Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation

    • Author(s)
      Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, and Masami Hagiya
    • Organizer
      The 10th Conference on Computational Methods in Systems Biology (CMSB2012)
    • Place of Presentation
      The Royal Society, London, UK
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures

    • Author(s)
      Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa
    • Organizer
      12th IEEE Conference on Nanotechnology (IEEE-NANO) 2012
    • Place of Presentation
      International Convention Centre, Birmingham, UK
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] 化学反応系の複雑さと分子ロボットの知能

    • Author(s)
      川又生吹, 萩谷昌己
    • Organizer
      人工知能学会合同研究会 第51回分子生物情報研究会
    • Place of Presentation
      慶應義塾大学 日吉キャンパス來往舎
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] Enforcing Delays in DNA Computing Systems

    • Author(s)
      Nathanael Aubert, Yannick Rondelez, Teruo Fujii, and Masami Hagiya
    • Organizer
      The 18th International Conference on DNA Computing and Molecular Programming
    • Place of Presentation
      Aarhus University, Aarhus, Denmark
    • Data Source
      KAKENHI-PROJECT-23650066
  • [Presentation] CoqからScalaへのロバストなコード抽出に向けて

    • Author(s)
      逸見港,田辺良則,萩谷昌己
    • Organizer
      第11回ディペンダブルソフトウェアワークショップ(DSW2013)
    • Place of Presentation
      ホテルリゾーピア熱海 (静岡県熱海市)
    • Data Source
      KAKENHI-PROJECT-25330096
  • [Presentation] Software Model Checking of UDP-based Distributed Applications

    • Author(s)
      Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    • Organizer
      The Second International Symposium on Computing and Networking (CANDAR 2014)
    • Place of Presentation
      静岡県コンベンションアーツセンター (静岡県)
    • Year and Date
      2014-12-10 – 2014-12-12
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] Using Checkpointing and Virtualization for Fault Injection

    • Author(s)
      Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
    • Organizer
      The Second International Symposium on Computing and Networking (CANDAR 2014)
    • Place of Presentation
      静岡県コンベンションアーツセンター (静岡県)
    • Year and Date
      2014-12-10 – 2014-12-12
    • Data Source
      KAKENHI-PROJECT-23240003
  • [Presentation] CoqからScalaへのロバストなコード抽出

    • Author(s)
      逸見港,田辺良則,萩谷昌己
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)
    • Place of Presentation
      阿蘇の司 ビラパークホテル (熊本県阿蘇市)
    • Data Source
      KAKENHI-PROJECT-25330096
  • 1.  YAMAMOTO Mitsuharu (00291295)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 33 results
  • 2.  SATO Masahiko (20027387)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 3 results
  • 3.  TANABE Yoshinori (60443199)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 61 results
  • 4.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  SUYAMA Akira (90163063)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 33 results
  • 6.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 7.  TAKAHASHI Koichi (40357372)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 4 results
  • 8.  ROSE John Anthony (00345125)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  ITO Takayasu (80124551)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 10.  ARTHO Cyrille (30462831)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 29 results
  • 11.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 12.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 13.  TAKAHASHI Masako (00015588)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 14.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 15.  MURATA Satoshi (10334533)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 17 results
  • 16.  YONEZAKI Naoki (00126286)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 17.  KOMIYA Ken (20396790)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 12 results
  • 18.  辻 尚史 (70016666)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 19.  小長谷 明彦 (00301200)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 9 results
  • 20.  WEITL Franz
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 21.  HARAO Masateru (00006272)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 22.  NAKAJIMA Reiji (60109080)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 23.  斉藤 恭司 (20012445)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 24.  萩原 兼一 (00133140)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 25.  浅沼 浩之 (20282577)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 26.  山村 雅幸 (00220442)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 27.  一松 信 (10027378)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 28.  大沢 健夫 (30115802)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 29.  三輪 哲二 (10027386)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 30.  POTTER Richard
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 6 results
  • 31.  LEUNGWATTANAKIT Watcharin
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 5 results
  • 32.  SEBIH Nazim
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 33.  TANAKA Fumiaki (50456159)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 25 results
  • 34.  HIRAKI Kei (20238348)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 35.  SASADA Koichi (10436561)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  SADAKANE Kunihiko (20323090)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  MAKINO Junichiro (50229340)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  IDA Shigeru (60211736)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  INABA Mary (60282711)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 40.  YOKOYAMA Shigetoshi (10600968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  SAITO Hirohide (20423014)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 42.  KOBAYASHI Satoshi (50251707)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 43.  FUJIMOTO Kenzo (90293894)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  KAWAMATA Ibuki (30733977)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 14 results
  • 45.  MATSUOKA Satoshi (20221583)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  TAKAHASHI Shin (00272691)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  IWANUMA Kouji (30176557)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  INOUE Katsumi (10252321)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 49.  ASO Hirotomo (10005522)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  TOYAMA Yoshihito (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 51.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  NOE Keiichi (40103220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 54.  TAMAI Tetsuo (60217172)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 55.  TAKANO Mitsunori (40313168)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 56.  TAKASU Satoru (10027360)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 57.  NAKAHARA Takako (90155797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 58.  SAKURAGAWA Takashi (60196136)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  榎本 肇 (60016227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 60.  横山 茂之 (00159229)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 61.  藤井 輝夫 (30251474)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 62.  岩崎 裕 (00029901)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 63.  吉信 達夫 (30243265)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 64.  二木 厚吉 (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 65.  小林 直樹 (00262155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 66.  GHOTBI Nader (90435173)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 67.  山下 雅史 (00135419)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 68.  上田 和紀 (10257206)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 69.  渡辺 治 (80158617)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 70.  増澤 利光 (50199692)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 71.  木賀 大介 (30376587)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 72.  菅原 研 (50313424)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 73.  有村 隆志 (50344221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 74.  宮元 展義 (80391267)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 75.  原 雄介 (90452135)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 76.  濱田 省吾 (90610204)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 77.  山形 頼之 (40415758)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 78.  湯浅 太一 (60158326)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 79.  成木 勇夫 (90027376)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 80.  磯 祐介 (70203065)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 81.  有川 節夫 (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 82.  小林 重信 (40016697)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 83.  塩谷 光彦 (60187333)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 84.  横森 貴 (60139722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 85.  小野 治 (50130802)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 86.  都甲 潔 (50136529)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 87.  坂本 健作 (50240685)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 88.  立木 秀樹 (10211377)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 89.  斎藤 俊則 (80434447)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 90.  IBRAHIM Zuwairie
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 91.  HIRABAYASHI Miki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 92.  HAMADA Shogo
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 93.  YUASA Yoshifumi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 94.  HENMI Ko
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 95.  KOHAN Alexander
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 96.  MA Lei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 97.  HATTORI Takashi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 98.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 99.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 100.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 101.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 102.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 103.  JOHN Rose
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 23 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi