Atsushi Togashi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2022

Basic Approach to Estimation of Blood Oxygen Saturation Using an RGB Color Camera without Infrared LightMakoto Yoshizawa, Norihiro Sugita, Akira Tanaka, Atsushi Togashi, Isao Kaji, Tomoyuki Yambe. lifetech 2022: 68-71 [doi]

2019

Toward an Effective Identification of Tweet Related to Meningitis Based on Supervised Machine LearningThierry Roger Bayala, Sadouanouan Malo, Atsushi Togashi. icict 2020: 299-306 [doi]

2012

Lightweight Web Application Framework and Its Application - Helping Improve Community Bus Timetables after Japan EarthquakeYu Kitano, Hiroki Suguri, Atsushi Togashi. ICEIS 2012: 252-257

2011

Modeling Web Applications Design with Automata and Its VerificationKei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. isads 2011: 103-112 [doi]

Modeling, Verification and Testing of Web Applications Using Model CheckerKei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. ieicet, 94-D(5):989-999, 2011. [doi]

2010

Using the Model Checker Spin for Web Application DesignKei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi. saint 2010: 137-140 [doi]

2006

An ontology-based advice system for health and exerciseSatoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi. aimsa 2006: 95-100

2002

μVNC over PLC: a framework for GUI-based remote operation of home appliances through power-line communicationTomohiro Haraikawa, Tadashi Sakamoto, Tomohiro Hase, Tadanori Mizuno, Atsushi Togashi. tce, 48(4):1067-1074, 2002. [doi]

2001

2000

Inductive Synthesis of Recursive Processes from Logical PropertiesShigetomo Kimura, Atsushi Togashi, Norio Shiratori. iandc, 163(2):257-284, 2000.

System Requirements and Formal Specifications of Hierarchical Reactive SystemsAtsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi. icpads 2000: 91-98 [doi]

1997

A Methodology for the Description of System Requirements and the Derivation of Formal SpecificationsAtsushi Togashi, Fumiaki Kanezashi, Xiasong Lu. forte 1998: 383-398

1996

Extension of Synthesis Algorithm of Recursive Processes to /mu-CalculusShigetomo Kimura, Atsushi Togashi, Norio Shiratori. ipl, 58(2):97-104, 1996. [doi]

Animating LOTOS Specifications Using AmlogAtsushi Togashi, Glenn Mansfield, Norio Shiratori. ijseke, 6(1):5-19, 1996. [doi]

1995

Extension of protocol synthesis to structured entitiesBhed Bahadur Bista, Atsushi Togashi, Norio Shiratori. icnp 1995: 66-73 [doi]

A Derivation of System Specifications Based on a Partial Logical Petri NetAtsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori. iscas 1995: 521-524

1994

1991

AMLOG-E: A New Approach towards AmalgamationGlenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi. ICLP 1991: 364-378

1990

Inductive Inference of Term Rewriting Systems Realizing AlgebrasAtsushi Togashi, Shoichi Noguchi. alt 1990: 411-424

1989

Generalized Predicate CompletionAtsushi Togashi, Ben-Hui Hou, Shoichi Noguchi. kbcs 1990: 286-295

Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes)Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi. kbcs 1990: 276-285

1987

A Program Transformation from Equational Programs into Logic ProgramsAtsushi Togashi, Shoichi Noguchi. jlp, 4(2):85-103, 1987.

1984

A Program Transformation from Equational Programs into Logic ProgramsAtsushi Togashi, Shoichi Noguchi. fgcs 1984: 185-194

Sign in or sign up to see more results.

runs on WebDSL