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