A Program Transformation from Equational Programs into Logic Programs. - Atsushi Togashi; Shoichi Noguchi (J. Log. Program., 1987)

Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). - Atsushi Togashi; Ben-Hui Hou; Shoichi Noguchi (KBCS, 1989)

Generalized Predicate Completion. - Atsushi Togashi; Ben-Hui Hou; Shoichi Noguchi (KBCS, 1989)

Inductive Inference of Term Rewriting Systems Realizing Algebras. - Atsushi Togashi; Shoichi Noguchi (ALT, 1990)

AMLOG-E: A New Approach towards Amalgamation. - Glenn Mansfield; Atsushi Togashi; Nobuhisa Miake; Shoichi Noguchi (ICLP, 1991)

Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). - Shigetomo Kimura; Atsushi Togashi; Norio Shiratori (AII/ALT, 1994)

A synthesis algorithm of a protocol model from a single entity. - Bhed Bahadur Bista; Zixue Cheng; Atsushi Togashi; Norio Shiratori (FORTE, 1994)

An Intelligent LOTOS interpreter in AMLOG. - Atsushi Togashi; Glenn Mansfield; Norio Shiratori (ICLP Workshop: Applications of Logic Programming to Software Engineering, 1994)

Integrated Support Environment for Concurrent Process Calculi. - Sen Yoshida; Atsushi Togashi; Norio Shiratori (PODC, 1994)

ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. - Atsushi Togashi; Sen Yoshida; Shigetomo Kimura; Norio Shiratori (Theory and Practice of Parallel Programming, 1994)

Extension of protocol synthesis to structured entities. - Bhed Bahadur Bista; Atsushi Togashi; Norio Shiratori (ICNP, 1995)

A Derivation of System Specifications Based on a Partial Logical Petri Net. - Atsushi Togashi; Nobuyuki Usui; Kukhwan Song; Norio Shiratori (ISCAS, 1995)

Animating LOTOS Specifications Using Amlog. - Atsushi Togashi; Glenn Mansfield; Norio Shiratori (Int. J. Softw. Eng. Knowl. Eng., 1996)

Extension of Synthesis Algorithm of Recursive Processes to mu-Calculus. - Shigetomo Kimura; Atsushi Togashi; Norio Shiratori (Inf. Process. Lett., 1996)

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. - Atsushi Togashi; Fumiaki Kanezashi; Xiasong Lu (FORTE, 1997)

System Requirements and Formal Specifications of Hierarchical Reactive Systems. - Atsushi Togashi; Xiaosong Lu; Fumiaki Kanezashi (ICPADS, 2000)

Inductive Synthesis of Recursive Processes from Logical Properties. - Shigetomo Kimura; Atsushi Togashi; Norio Shiratori (Inf. Comput., 2000)

Managing evolution of software engineering development environments. - Roger Y. Lee; Tadanori Mizuno; Atsushi Togashi (SMC, 2001)

A study on component reuse system using reengineering. - Haeng-Kon Kim; Roger Y. Lee; Tadanori Mizuno; Atsushi Togashi (ACIS Int. J. Comput. Inf. Sci., 2001)

μVNC: a proposal for Internet connectivity and interconnectivity of home appliances based on remote display framework. - Tomohiro Haraikawa; Tadashi Sakamoto; Tomohiro Hase; Tadanori Mizuno; Atsushi Togashi (IEEE Trans. Consumer Electron., 2001)

An agent-based bidirectional intelligent remote controller. - Takuo Osaki; Tomohiro Haraikawa; Tadashi Sakamoto; Tomohiro Hase; Atsushi Togashi (IEEE Trans. Consumer Electron., 2001)

μVNC over PLC: a framework for GUI-based remote operation of home appliances through power-line communication. - Tomohiro Haraikawa; Tadashi Sakamoto; Tomohiro Hase; Tadanori Mizuno; Atsushi Togashi (IEEE Trans. Consumer Electron., 2002)

An ontology-based advice system for health and exercise. - Satoru Izumi; Dai Kuriyama; Goichi Itabashi; Atsushi Togashi; Yasushi Kato; Kaoru Takahashi (IMSA, 2006)

Using the Model Checker Spin for Web Application Design. - Kei Homma; Satoru Izumi; Yuki Abe; Kaoru Takahashi; Atsushi Togashi (SAINT, 2010)

Modeling Web Applications Design with Automata and Its Verification. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (ISADS, 2011)

Modeling, Verification and Testing of Web Applications Using Model Checker. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (IEICE Trans. Inf. Syst., 2011)

Lightweight Web Application Framework and Its Application - Helping Improve Community Bus Timetables after Japan Earthquake. - Yu Kitano; Hiroki Suguri; Atsushi Togashi (ICEIS (2), 2012)

Toward an Effective Identification of Tweet Related to Meningitis Based on Supervised Machine Learning. - Thierry Roger Bayala; Sadouanouan Malo; Atsushi Togashi (ICICT (2), 2019)

Basic Approach to Estimation of Blood Oxygen Saturation Using an RGB Color Camera without Infrared Light. - Makoto Yoshizawa; Norihiro Sugita; Akira Tanaka; Atsushi Togashi; Isao Kaji; Tomoyuki Yambe (LifeTech, 2022)