default search action
Kaoru Takahashi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [j17]Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi:
Modeling, Verification and Testing of Web Applications Using Model Checker. IEICE Trans. Inf. Syst. 94-D(5): 989-999 (2011) - [c16]Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi:
Modeling Web Applications Design with Automata and Its Verification. ISADS 2011: 103-112 - 2010
- [c15]Kazuki Watanabe, Tomoyuki Takahashi, Toshihiko Ando, Kaoru Takahashi, Yoshifumi Sasaki, Tatsuya Funakoshi:
LiNS: A Library Navigation System Using Sensors and Smartphones. BWCCA 2010: 346-350 - [c14]Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi:
Using the Model Checker Spin for Web Application Design. SAINT 2010: 137-140
2000 – 2009
- 2006
- [j16]Kaoru Takahashi:
A Study of Register Variation in the British National Corpus. Lit. Linguistic Comput. 21(1): 111-126 (2006) - [c13]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
- [c12]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 - [c11]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 - 2004
- [j15]Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori:
Composition of Service and Protocol Specifications in Asynchronous Communication System. IEICE Trans. Inf. Syst. 87-D(10): 2306-2317 (2004) - 2002
- [j14]Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori:
On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2426-2435 (2002) - [j13]Goichi Itabashi, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori:
Specification and Analysis of the Contract Net Protocol Based on State Machine Model. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2447-2452 (2002) - 2001
- [c10]Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori:
Composition of Service and Protocol Specifications. ICOIN 2001: 171-180 - [c9]Noppadol Maneerat
, Ruttikorn Varakulsiripunth, Daisuke Seki, Kazuki Yoshida, Kaoru Takahashi, Yasushi Kato, Bhed Bahadur Bista, Norio Shiratori:
Composition method of communication system specifications in asynchronous model and its support system. ICON 2001: 64-69 - 2000
- [j12]Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori:
Maintenance of mobile system ambients using a process calculus. Comput. Networks 32(2): 229-256 (2000) - [c8]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
1990 – 1999
- 1999
- [c7]Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori:
Maintenance of Ambiences for Mobile Systems. ICPP 1999: 498-507 - 1997
- [c6]Toshihiko Ando, Kaoru Takahashi, Yasushi Kato:
On a Concurrency Calculus for Design of Mobile Telecommunication Systems. FORTE 1997: 535-546 - 1996
- [c5]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 - [c4]Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori:
A flexible protocol synthesis method for adopting requirement changes. ICPADS 1996: 319-326 - 1994
- [j11]Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi:
Interpretation of SDL specification in LOTOS. Syst. Comput. Jpn. 25(7): 19-38 (1994) - 1993
- [c3]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
- [j10]Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita
Using Artificial Intelligence in Communication System Design. IEEE Softw. 9(1): 38-46 (1992) - 1991
- [j9]Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
An equivalence in lotos and its decision method. Syst. Comput. Jpn. 22(1): 10-20 (1991) - [j8]Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi:
A User Friendly Software Environment for Protocol Synthesis. IEEE Trans. Computers 40(4): 477-486 (1991) - 1990
- [j7]Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi:
Construction of a protocol synthesis environment and its implementation. Syst. Comput. Jpn. 21(1): 34-49 (1990)
1980 – 1989
- 1989
- [j6]Kaoru Takahashi, Yoshiyuki Ohta, Norio Shiratori, Shoichi Noguchi:
A Design Method of Network Operating Systems Based on the Concept of an Object. Syst. Comput. Jpn. 20(12): 58-70 (1989) - [c2]Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi:
A Verification Method for LOTOS Specifications and its Application. PSTV 1989: 59-70 - 1988
- [j5]Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi:
A Software Design Method and Its Application to Protocol and Communication Software Development. Comput. Networks 15: 245-267 (1988) - [j4]Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
An intelligent support system for protocol and communication software development. IEEE J. Sel. Areas Commun. 6(5): 842-849 (1988) - [j3]Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
A knowledge-based system for protocol synthesis (KSPS). IEEE J. Sel. Areas Commun. 6(5): 874-883 (1988) - [j2]Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
Protocol Implementation Support System and Its User Interface. Syst. Comput. Jpn. 19(12): 54-62 (1988) - [j1]Yaoxue 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
- [c1]Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi:
IDESS/85: Intelligent Support System for Protocols and Communication Software Development. ICCC 1986: 543-548
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: