Atsushi Togashi

According to our database, Atsushi Togashi authored at least 29 papers between 1987 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

Proceedings of the 4th IEEE Global Conference on Life Sciences and Technologies, 2022

2019

Toward an Effective Identification of Tweet Related to Meningitis Based on Supervised Machine Learning.

Thierry Roger Bayala, Sadouanouan Malo, Atsushi Togashi

Proceedings of the Fourth International Congress on Information and Communication Technology, 2019

2012

Lightweight Web Application Framework and Its Application - Helping Improve Community Bus Timetables after Japan Earthquake.

Yu Kitano, Hiroki Suguri, Atsushi Togashi

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2011

Modeling, Verification and Testing of Web Applications Using Model Checker.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

IEICE Trans. Inf. Syst., 2011

Modeling Web Applications Design with Automata and Its Verification.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010

Using the Model Checker Spin for Web Application Design.

Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

2006

An ontology-based advice system for health and exercise.

Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi

Proceedings of the Tenth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2006), 2006

2002

μ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

2001

An agent-based bidirectional intelligent remote controller.

Takuo Osaki, Tomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Atsushi Togashi

IEEE Trans. Consumer Electron., 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

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

Managing evolution of software engineering development environments.

Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi

Proceedings of the IEEE International Conference on Systems, 2001

2000

Inductive Synthesis of Recursive Processes from Logical Properties.

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Inf. Comput., 2000

System Requirements and Formal Specifications of Hierarchical Reactive Systems.

Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

1997

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.

Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus.

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Inf. Process. Lett., 1996

Animating LOTOS Specifications Using Amlog.

Atsushi Togashi, Glenn Mansfield, Norio Shiratori

Int. J. Softw. Eng. Knowl. Eng., 1996

1995

A Derivation of System Specifications Based on a Partial Logical Petri Net.

Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Extension of protocol synthesis to structured entities.

Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori

Proceedings of the 1995 International Conference on Network Protocols, 1995

1994

ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS.

Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori

Proceedings of the Theory and Practice of Parallel Programming, 1994

Integrated Support Environment for Concurrent Process Calculi.

Sen Yoshida, Atsushi Togashi, Norio Shiratori

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

An Intelligent LOTOS interpreter in AMLOG.

Atsushi Togashi, Glenn Mansfield, Norio Shiratori

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

A synthesis algorithm of a protocol model from a single entity.

Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori

Proceedings of the Formal Description Techniques VII, 1994

Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract).

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

Proceedings of the Algorithmic Learning Theory, 1994

1991

AMLOG-E: A New Approach towards Amalgamation.

Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi

Proceedings of the Logic Programming, 1991

1990

Inductive Inference of Term Rewriting Systems Realizing Algebras.

Atsushi Togashi, Shoichi Noguchi

Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

1989

Generalized Predicate Completion.

Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi

Proceedings of the Knowledge Based Computer Systems, 1989

Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes).

Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi

Proceedings of the Knowledge Based Computer Systems, 1989

1987

A Program Transformation from Equational Programs into Logic Programs.

Atsushi Togashi, Shoichi Noguchi

J. Log. Program., 1987