Atsushi Togashi

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 2

Top Topics

Supervised Machine Learning

Top Venues

Publications

Makoto Yoshizawa, Norihiro Sugita, Akira Tanaka, Atsushi Togashi, Isao Kaji, Tomoyuki Yambe
Basic Approach to Estimation of Blood Oxygen Saturation Using an RGB Color Camera without Infrared Light. LifeTech (2022)
Thierry Roger Bayala, Sadouanouan Malo, Atsushi Togashi
Toward an Effective Identification of Tweet Related to Meningitis Based on Supervised Machine Learning. ICICT (2) (2019)
Yu Kitano, Hiroki Suguri, Atsushi Togashi
Lightweight Web Application Framework and Its Application - Helping Improve Community Bus Timetables after Japan Earthquake. ICEIS (2) (2012)
Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
Modeling Web Applications Design with Automata and Its Verification. ISADS (2011)
Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
Modeling, Verification and Testing of Web Applications Using Model Checker. IEICE Trans. Inf. Syst. (5) (2011)
Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi
Using the Model Checker Spin for Web Application Design. SAINT (2010)
Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi
An ontology-based advice system for health and exercise. IMSA (2006)
Tomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Tadanori Mizuno, Atsushi Togashi
μVNC over PLC: a framework for GUI-based remote operation of home appliances through power-line communication. IEEE Trans. Consumer Electron. 48 (4) (2002)
Haeng-Kon Kim, Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi
A study on component reuse system using reengineering. ACIS Int. J. Comput. Inf. Sci. 2 (3) (2001)
Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi
Managing evolution of software engineering development environments. SMC (2001)
Tomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Tadanori Mizuno, Atsushi Togashi
μVNC: a proposal for Internet connectivity and interconnectivity of home appliances based on remote display framework. IEEE Trans. Consumer Electron. 47 (3) (2001)
Takuo Osaki, Tomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Atsushi Togashi
An agent-based bidirectional intelligent remote controller. IEEE Trans. Consumer Electron. 47 (3) (2001)
Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi
System Requirements and Formal Specifications of Hierarchical Reactive Systems. ICPADS (2000)
Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
Inductive Synthesis of Recursive Processes from Logical Properties. Inf. Comput. 163 (2) (2000)
Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE (1997)
Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus. Inf. Process. Lett. 58 (2) (1996)
Atsushi Togashi, Glenn Mansfield, Norio Shiratori
Animating LOTOS Specifications Using Amlog. Int. J. Softw. Eng. Knowl. Eng. 6 (1) (1996)
Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori
Extension of protocol synthesis to structured entities. ICNP (1995)
Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori
A Derivation of System Specifications Based on a Partial Logical Petri Net. ISCAS (1995)
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)
Atsushi Togashi, Glenn Mansfield, Norio Shiratori
An Intelligent LOTOS interpreter in AMLOG. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Shigetomo Kimura, Atsushi Togashi, Norio Shiratori
Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). AII/ALT (1994)
Sen Yoshida, Atsushi Togashi, Norio Shiratori
Integrated Support Environment for Concurrent Process Calculi. PODC (1994)
Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori
A synthesis algorithm of a protocol model from a single entity. FORTE (1994)
Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi
AMLOG-E: A New Approach towards Amalgamation. ICLP (1991)
Atsushi Togashi, Shoichi Noguchi
Inductive Inference of Term Rewriting Systems Realizing Algebras. ALT (1990)
Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi
Generalized Predicate Completion. KBCS (1989)
Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi
Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). KBCS (1989)
Atsushi Togashi, Shoichi Noguchi
A Program Transformation from Equational Programs into Logic Programs. J. Log. Program. 4 (2) (1987)
Atsushi Togashi, Shoichi Noguchi
A Program Transformation from Equational Programs into Logic Programs. FGCS (1984)