Kaoru Takahashi

2006
17		Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi: An ontology-based advice system for health and exercise. IMSA 2006: 95-100
2005
16	EE	Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori: An Ontology-Based e-Learning System for Network Security. AINA 2005: 197-202
15	EE	Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori: Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . AINA 2005: 99-104
2001
14	EE	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori: Composition of Service and Protocol Specifications. ICOIN 2001: 171-
2000
13	EE	Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori: Support System for Constructing Communication Services and Protocols Based on Compositional Approach. DEXA Workshop 2000: 15-22
12	EE	Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori: Maintenance of mobile system ambients using a process calculus. Computer Networks 32(2): 229-256 (2000)
1999
11	EE	Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori: Maintenance of Ambiences for Mobile Systems. ICPP 1999: 498-
1997
10		Toshihiko Ando, Kaoru Takahashi, Yasushi Kato: On a Concurrency Calculus for Design of Mobile Telecommunication Systems. FORTE 1997: 535-546
1996
9	EE	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori: Automatic modification of a protocol specification based on changes of a service specification. ICPADS 1996: 129-134
8	EE	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori: A flexible protocol synthesis method for adopting requirement changes. ICPADS 1996: 319-326
1993
7		Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita: An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. FORTE 1993: 205-218
1992
6		Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita: Using Artificial Intelligence in Communication System Design. IEEE Software 9(1): 38-46 (1992)
1991
5		Norio Shiratori, Yao-Xue Zhang, Kaoru Takahashi, Shoichi Noguchi: A User Friendly Software Environment for Protocol Synthesis. IEEE Trans. Computers 40(4): 477-486 (1991)
1989
4		Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi: A Verification Method for LOTOS Specifications and its Application. PSTV 1989: 59-70
1988
3		Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi: A Software Design Method and Its Application to Protocol and Communication Software Development. Computer Networks 15: 245-267 (1988)
2	EE	Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi: An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. IEEE Trans. Software Eng. 14(3): 394-404 (1988)
1986
1		Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi: IDESS/85: Intelligent Support System for Protocols and Communication Software Development. ICCC 1986: 543-548

Coauthor Index

1	Tomomi Abiko	[16]
2	Toshihiko Ando	[10] [11] [12]
3	Tsuyoshi Ando	[7]
4	Bhed Bahadur Bista	[8] [13] [14]
5	K. Furuya	[13]
6	Kentaro Go	[9]
7	Goichi Itabashi	[15] [16] [17]
8	Satoru Izumi	[17]
9	Hiroaki Kaminaga	[4] [8] [9]
10	Yasushi Kato	[10] [11] [12] [15] [16] [17]
11	Tetsuo Kinoshita	[6]
12	Dai Kuriyama	[17]
13	Eriko Negishi	[16]
14	Shoichi Noguchi	[1] [2] [3] [4] [5]
15	Masataka Ohta	[7]
16	Katsuyuki Sarashina	[7]
17	Norio Shiratori	[1] [2] [3] [4] [5] [6] [8] [9] [11] [12] [13] [14] [15] [16]
18	Takuo Sugamma	[15]
19	Kenji Sugawara	[6]
20	Yoshihito Takahashi	[16]
21	Atsushi Togashi	[17]
22	Yoshiaki Tokita	[7]
23	Y. Ujiie	[13]
24	Yao-Xue Zhang	[2] [5]

Colors in the list of coauthors