Yoichiro Sato

Hidekuni Takao, Tomoyuki Yokogawa, Hitoshi Yamauchi, 2017, 2017 International Conference on Intelligent Informatics and Biomedical Sciences (ICIIBMS).

Interpolation Based Unbounded Model Checking for Time Petri Nets

Sousuke Amasaki, Kazutami Arimoto, Tomoyuki Yokogawa, 2018, 2018 IEEE 7th Global Conference on Consumer Electronics (GCCE).

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

Sousuke Amasaki, Kazutami Arimoto, Tomoyuki Yokogawa, 2020, IEICE Trans. Inf. Syst..

Consistency Verification of UML Diagrams Based on Process Bisimulation

Sousuke Amasaki, Kazutami Arimoto, Tomoyuki Yokogawa, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.

Development of a Peripheral Vision Training System Integrating Sports Vision and Motor System

Yoichiro Sato, Takuya Okamoto, Ryosuke Maeda, 2017 .

Implementation of Tree Arbiter for FPGA and Metastability Analysis

Kazutami Arimoto, Tomoyuki Yokogawa, Yoichiro Sato, 2014 .

Synthesis and Refinement Check of Sequence Diagrams

Sousuke Amasaki, Tomoyuki Yokogawa, Yoichiro Sato, 2012, IEICE Trans. Inf. Syst..

3D2 processing architecture — High reliability and low power computing for novel nano tactile sensor array

Hidekuni Takao, Kazutami Arimoto, Tomoyuki Yokogawa, 2016, 2016 International SoC Design Conference (ISOCC).

Proposal of a pupil response model synchronized with burst-pause of utterance based on the heat conduction equation

Tomio Watanabe, Yoichiro Sato, Ryosuke Maeda, 2017, 2017 56th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE).

Effects of enlarged pupillary expression synchronized with body contact in a pupil response pet-robot

Tomio Watanabe, Yoichiro Sato, Yoshihiro Sejima, 2019 .

A smart low power R-R-I heartbeat monitor system with contactless UWB sensor

Kazutami Arimoto, Tomoyuki Yokogawa, Yoichiro Sato, 2017, 2017 International SoC Design Conference (ISOCC).

Systematic reducing of metastable operations in CMOS D flip-flops

Yoichiro Sato, Takuji Okamoto, Hiroto Kagotani, 2000, Systems and Computers in Japan.

1A1-S-057 Dynamics Simulation of a Space Station Based Manipulator System and Improvement of the Operational Performance by Using the Redundancy(Space Robotics 1,Mega-Integration in Robotics and Mechatronics to Assist Our Daily Lives)

Kaori Shoji, Kazuya Yoshida, Satoko Abiko, 2005 .

Performance Improvement of JEMRMS in Light of Vibration Dynamics

Kaori Shoji, Kazuya Yoshida, Yoichiro Sato, 2005 .

A Serial Booth Multiplier Using Ring Oscillator

Kazutami Arimoto, Tomoyuki Yokogawa, Yoichiro Sato, 2016, 2016 Fourth International Symposium on Computing and Networking (CANDAR).

Performance Evaluation of Synchronizers

Yoichiro Sato, Takuji Okamoto, Yoshinobu Yamasoto, 1995 .

Decentralized priority encoder and its applications

Toshiyuki Maeda, Yoichiro Sato, Takuji Okamoto, 1991, Systems and Computers in Japan.

An Automatic Scheduling Method for Clinical Exercises using Tabu Search

Tomoyuki Yokogawa, Yoichiro Sato, Hisashi Miyazaki, 2012 .

RC-005 An asynchronous serial adder for DSP hearing aid

Kazutami Arimoto, Tomoyuki Yokogawa, Yoichiro Sato, 2015 .

A multiwindow system for smooth window operations by the combination of drawing‐period generation method and display‐period generation method

Yoichiro Sato, Tokumi Yokohira, Hiroto Kagotani, 2005 .

A method of shortening metastable operation duration time by the use of feedback

Yuji Sugiyama, Yoichiro Sato, Toshifumi Kobayashi, 1996, Systems and Computers in Japan.

A video communication system with a virtual pupil CG superimposed on the partner’s pupil

Tomio Watanabe, Yoichiro Sato, Ryosuke Maeda, 2020 .

Development of a Speech-Driven Pupil Response Robot Synchronizing with Burst-Pause of Utterance

Tomio Watanabe, Yoichiro Sato, Ryosuke Maeda, 2017 .

Bounded model checking of Time Petri Nets using SAT solver

Sousuke Amasaki, Kazutami Arimoto, Tomoyuki Yokogawa, 2015, IEICE Electron. Express.

Proposal of an Estimation Method of Emotional Centroid Based on the Russell’s Circumplex Model for Quantitative Evaluation of Affect

Yoichiro Sato, Shoichi Egawa, Yoshihiro Sejima, 2019 .

A High-speed Performance Evaluation for a Shared Bus Type Large Scale Digital System

Kazutami Arimoto, Tomoyuki Yokogawa, Yoichiro Sato, 2014 .

A Video Communication System with a Virtual Pupil CG Superimposed on the Partner's Pupil

Tomio Watanabe, Yoichiro Sato, Ryosuke Maeda, 2018, HCI.

A tool support for verifying consistency between UML diagrams by SMV

Tomoyuki Yokogawa, Michiyoshi Hayase, Yoichiro Sato, 2009 .

A laughing-driven pupil response system for inducing empathy

Tomio Watanabe, Yoichiro Sato, Shoichi Egawa, 2016, 2016 IEEE/SICE International Symposium on System Integration (SII).

A Compact Low Power AI Module Mounted on Drone for Plant Monitor System

Tomoyuki Yokogawa, Yoichiro Sato, Satoshi Fujii, 2019, 2019 8th International Congress on Advanced Applied Informatics (IIAI-AAI).

A Ring Segmented Bus Architecture for Globally Asynchronous Locally Synchronous System

Tomoyuki Yokogawa, Michiyoshi Hayase, Yoichiro Sato, 2009 .

Formal Verification of Web Navigation by Symbolic Model Checking

Tomoyuki Yokogawa, Michiyoshi Hayase, Yoichiro Sato, 2008 .

Superconductive logic circuits constructed by the use of two thresholds of SQUID

Yoichiro Sato, Takuji Okamoto, Hiroto Kagotani, 2005, Systems and Computers in Japan.