Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

Katayama Takuya

No.Bibliographical information
1 法令工学の実践　国民年金法の述語論理による記述と検証 / 片山, 卓也, pp.1-146, 2023-07, JAIST Press
2 JAIST-COEシンポジウム : 法令工学の可能性と展望 / 片山, 卓也, pp.1-15, 2007-09-07
3 JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用 / 片山, 卓也, pp.1-8, 2007-09-06
4 COE Research Monograph Series, Vol. 2 : 法令工学の提案 / 片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良, 2, 2007-09, JAIST Press
5 構成管理モデルFMCのAlloyによる検証 / Tanizaki, Hiroaki, Katayama, Takuya, pp.1-6, 2006-11-28
6 Toward an automatic reusable software using textual entailment / Kotb, Yasser, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-016, pp.1-10, 2006-11-24, 北陸先端科学技術大学院大学情報科学研究科
7 Using text semantic similarity approach to check the consistency of UML / Kotb, Yasser, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-013, pp.1-11, 2006-09-07, 北陸先端科学技術大学院大学情報科学研究科
8 Concurrency in Microprotocol Frameworks / Urban, Peter, Mena, Sergio, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-004, pp.1-13, 2006-02-28, 北陸先端科学技術大学院大学情報科学研究科
9 Perspective of Verifiable and Evolvable e-Society / Katayama, Takuya, pp.1-28, 2005-09-21
10 An Object-Oriented logic for software analysis and design / Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya, pp.1-27, 2005-09-21
11 Specification and Verification of Inter-Component Constraints in CTL / Nguyen, Truong Thang, Katayama, Takuya, pp.1-29, 2005-09-21
12 Definition and specification of accrual failure detectors / Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2005-004, pp.1-19, 2005-03-22, 北陸先端科学技術大学院大学情報科学研究科
13 Perspective of Verifiable and Evolvable e-Society / Katayama, Takuya, pp.1-5, 2005-03-11
14 Fault-tolerant group membership protocols using physical robot messengers / Yared, Rami, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-019, pp.1-11, 2004-12-01, 北陸先端科学技術大学院大学情報科学研究科
15 Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version) / Urban, Peter, Hayashibara, Naohiro, Schiper, Andre, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-016, pp.1-29, 2004-08-04, 北陸先端科学技術大学院大学情報科学研究科
16 On accrual failure detectors / Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-011, pp.1-14, 2004-05-14, 北陸先端科学技術大学院大学情報科学研究科
17 The φ accrual failure detector / Hayashibara, Naohiro, Defago, Xavier, Yared, Rami, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-010, pp.1-15, 2004-05-10, 北陸先端科学技術大学院大学情報科学研究科
18 Performance comparison of a rotating coordinator and a leader based consensus algorithm / Urban, Peter, Hayashibara, Naohiro, Schiper, Andre, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-008, pp.1-22, 2004-03-30, 北陸先端科学技術大学院大学情報科学研究科
19 Flexible failure detection with k-FD / Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-006, pp.1-13, 2004-02-25, 北陸先端科学技術大学院大学情報科学研究科
20 Implementaion and Performance Analysis of the φ-Failure Detector / Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2003-013, pp.1-14, 2003-10-06, 北陸先端科学技術大学院大学情報科学研究科
21 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) / 立石, 孝彰, 青木, 利晃, 片山, 卓也, 情報処理学会論文誌, 44(6), pp.1448-1460, 2003-06-15, 情報処理学会
22 Extracting threads from concurrent objects for the design of embedded systems / Okazaki, Mitsutaka, Aoki, Toshiaki, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2002-019, pp.1-10, 2002-08-05, 北陸先端科学技術大学院大学情報科学研究科

 
Contact : Library Information Section, Japan Advanced Institute of Science and Technology