• Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards 

  Masashi Tsuchida; Fukuhito Ooshita; Michiko Inoue (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2018-04)
• Byzantine gathering in networks with authenticated whiteboards 

  Masashi Tsuchida; Fukuhito Ooshita; Michiko Inoue (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2016-12)
• Automatic Approach to Prepare Information for Constructing an Assurance Case 

  Chindamaikul, Khana; Toshinori, Takai; Port, Daniel; Hajimu, Iida (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2014-12)
• A Silent Self-Stabilizing Algorithm for 1-Maximal Matching in Anonymous Networks 

  麻田優真; 井上美智子 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2014-10)
• ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究 

  齊藤, 康廣; 門田, 暁人; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2013-01)
• An Approach to RTL False Path Mapping Using Uniqueness of Paths 

  Hiroshi Iwata; Satoshi Ohtake; Hideo Fujiwara (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-09)
• Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers 

  Kenji Hashimoto; Ryuta Sawada; Yasunori Ishihara; Hiroyuki Seki; Toru Fujiwara (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2012-11)
• 構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例 

  高井利憲 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2012-06)
• Proceedings of the International Workshop on Empirical Software Engineering in Practice 2011 (IWESEP 2011) 

  Yasutaka Kamei; Bram Adams (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2011-11)
• ソフトウェア開発の要求品質の向上のためのユーザ・ベンダ間のコミュニケーションの計測方法と計測例 

  松村, 知子; 吉田, 誠; 井手, 直子; 森崎, 修司; 戸田, 航史; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2011-05)
• ソフトウェアエンジニアリングリポジトリを対象とした 例外ルール抽出 

  森崎, 修司; 門田, 暁人; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2011-02)
• Proceedings of the International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010) 

  Akinori Ihara; Takashi Ishio (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-12)
• Enhanced Functional Fault Model for Micro Operation Faults 

  Chia Yee Ooi; Hideo Fujiwara (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-08)
• Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages 

  Yoshinaka, Ryo; Kaji, Yuichi; Seki, Hiroyuki (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-04)
• Automatic Generation of History-Based Access Control from Information Flow Specification 

  Yoshiaki Takata; Hiroyuki Seki (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-04)
• Standardizing the Software Tag in Japan for Transparency of Development 

  Tsunoda, Masateru; Matsumura, Tomoko; Iida, Hajimu; Kubo, Kozo; Kusumoto, Shinji; Inoue, Katsuro; Matsumoto, Ken-ichi (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2010-01)
• 実行系列差分攻撃によるプログラムの耐タンパー性評価 

  山内, 寛己; 門田, 暁人; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-12)
• ユーザとベンダ間の協調による要求品質確保のための定量化事例 

  松村, 知子; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-11)
• オフショア開発におけるユーザ・ ベンダ間コミュニケーション情報の分析による仕様伝達の評価 

  松村, 知子; 大平, 雅雄; 森崎, 修司; 松本,健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-10)
• Bypassed Alignment Graph for Learning Coordination inJapanese Sentences: Supplementary Material 

  Okuma, Hideharu; Hara, Kazuo; Shimbo, Masashi; Matsumoto, Yuji (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2009-07)

View more