Atsushi Togashi

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