The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kaoru Takahashi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.562secs, Finished in 0.563secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002