Yoichiro Sato

According to our database1, Yoichiro Sato authored at least 25 papers between 1991 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Development of a Presentation Support System Using Group Pupil Response Interfaces.
Proceedings of the Human Interface and the Management of Information. Information-Rich and Intelligent Environments, 2021

2020
Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking.
IEICE Trans. Inf. Syst., 2020

A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management.
Proceedings of the 9th International Congress on Advanced Applied Informatics, 2020

2019
A Compact Low Power AI Module Mounted on Drone for Plant Monitor System.
Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

A Prototype of a Motor-Learning Support System Using a Motion-Capture Device.
Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Development of a Pupil Response System with Empathy Expression in Face-to-Face Body Contact.
Proceedings of the Advances in Affective and Pleasurable Design, 2019

2018
A Speech-Driven Pupil Response System with Affective Expression Using Hemispherical Displays.
Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

A Video Communication System with a Virtual Pupil CG Superimposed on the Partner's Pupil.
Proceedings of the Human Interface and the Management of Information. Interaction, Visualization, and Analytics, 2018

Interpolation Based Unbounded Model Checking for Time Petri Nets.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017
A speech-driven pupil response robot synchronized with burst-pause of utterance.
Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

A smart low power R-R-I heartbeat monitor system with contactless UWB sensor.
Proceedings of the International SoC Design Conference, 2017

2016
A laughing-driven pupil response system for inducing empathy.
Proceedings of the 2016 IEEE/SICE International Symposium on System Integration, 2016

3D<sup>2</sup> processing architecture - High reliability and low power computing for novel nano tactile sensor array.
Proceedings of the International SoC Design Conference, 2016

A Serial Booth Multiplier Using Ring Oscillator.
Proceedings of the Fourth International Symposium on Computing and Networking, 2016

2015
Bounded model checking of Time Petri Nets using SAT solver.
IEICE Electron. Express, 2015

Development of an expressible pupil response interface using hemispherical displays.
Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication, 2015

Development of a Speech-Driven Embodied Entrainment Character System with Pupil Response.
Proceedings of the Human Interface and the Management of Information. Information and Knowledge in Context, 2015

2013
Consistency Verification of UML Diagrams Based on Process Bisimulation.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012
Synthesis and Refinement Check of Sequence Diagrams.
IEICE Trans. Inf. Syst., 2012

2005
Superconductive logic circuits constructed by the use of two thresholds of SQUID.
Syst. Comput. Jpn., 2005

2000
Systematic reducing of metastable operations in CMOS D flip-flops.
Syst. Comput. Jpn., 2000

A method of affine transformation for rectangular video image.
Syst. Comput. Jpn., 2000

1996
A method of shortening metastable operation duration time by the use of feedback.
Syst. Comput. Jpn., 1996

Realization of multiwindow system with high-speed operations of nonrectangular windows.
Syst. Comput. Jpn., 1996

1991
Decentralized priority encoder and its applications.
Syst. Comput. Jpn., 1991


  Loading...