The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Atsushi Togashi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
    Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:379-394 [Conf]
  2. Atsushi Togashi, Shoichi Noguchi
    Inductive Inference of Term Rewriting Systems Realizing Algebras. [Citation Graph (0, 0)][DBLP]
    ALT, 1990, pp:411-424 [Conf]
  3. Atsushi Togashi, Shoichi Noguchi
    A Program Transformation from Equational Programs into Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:185-194 [Conf]
  4. Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori
    A synthesis algorithm of a protocol model from a single entity. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:477-492 [Conf]
  5. Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu
    A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:383-398 [Conf]
  6. Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi
    AMLOG-E: A New Approach towards Amalgamation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:364-378 [Conf]
  7. Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori
    Extension of protocol synthesis to structured entities. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:66-73 [Conf]
  8. Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi
    System Requirements and Formal Specifications of Hierarchical Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICPADS, 2000, pp:91-98 [Conf]
  9. 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]
  10. Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori
    A Derivation of System Specifications Based on a Partial Logical Petri Net. [Citation Graph (0, 0)][DBLP]
    ISCAS, 1995, pp:521-524 [Conf]
  11. Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi
    Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). [Citation Graph (0, 0)][DBLP]
    KBCS, 1989, pp:276-285 [Conf]
  12. Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi
    Generalized Predicate Completion. [Citation Graph (0, 0)][DBLP]
    KBCS, 1989, pp:286-295 [Conf]
  13. Sen Yoshida, Atsushi Togashi, Norio Shiratori
    Integrated Support Environment for Concurrent Process Calculi. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:395- [Conf]
  14. Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori
    ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:229-234 [Conf]
  15. Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
    Inductive Synthesis of Recursive Processes from Logical Properties. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:2, pp:257-284 [Journal]
  16. Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
    Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:58, n:2, pp:97-104 [Journal]
  17. Atsushi Togashi, Shoichi Noguchi
    A Program Transformation from Equational Programs into Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:2, pp:85-103 [Journal]

Search in 0.004secs, Finished in 0.005secs
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