Yoichiro Sato

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 17

Top Topics

Bounded Model Checking

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yoshihiro Sejima, Yoichiro Sato, Tomio Watanabe
Development of a Presentation Support System Using Group Pupil Response Interfaces. HCI (5) (2021)
Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Masafumi Kondo, Yoichiro Sato, Kazutami Arimoto
Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking. IEICE Trans. Inf. Syst. (3) (2020)
Tomoki Kobayashi, Tomoyuki Yokogawa, Nao Igawa, Yoichiro Sato, Kimihoro Sugino, Hiroshi Miyata, Satoshi Fujii, Kazutami Arimoto
A Edge Master Computing for Pineapple Monitoring System with Drone and Data-management. IIAI-AAI (2020)
Tomoki Kobayashi, Tomoyuki Yokogawa, Nao Igawa, Yoichiro Sato, Satoshi Fujii, Kazutami Arimoto
A Compact Low Power AI Module Mounted on Drone for Plant Monitor System. IIAI-AAI (2019)
Yoshihiro Sejima, Yoichiro Sato, Tomio Watanabe
Development of a Pupil Response System with Empathy Expression in Face-to-Face Body Contact. AHFE (1) (2019)
Jun Inagaki, Toshihiro Nakajima, Hirokazu Haruna, Keisuke Kon, Yoichiro Sato, Sadayuki Hongo
A Prototype of a Motor-Learning Support System Using a Motion-Capture Device. GCCE (2019)
Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Kiyotaka Komoku, Yoichiro Sato, Kazutami Arimoto
Interpolation Based Unbounded Model Checking for Time Petri Nets. GCCE (2018)
Yoshihiro Sejima, Ryosuke Maeda, Daichi Hasegawa, Yoichiro Sato, Tomio Watanabe
A Video Communication System with a Virtual Pupil CG Superimposed on the Partner's Pupil. HCI (4) (2018)
Yoshihiro Sejima, Shoichi Egawa, Ryosuke Maeda, Yoichiro Sato, Tomio Watanabe
A Speech-Driven Pupil Response System with Affective Expression Using Hemispherical Displays. RO-MAN (2018)
Kazutami Arimoto, Daichi Yamashita, Nao Igawa, Tomoyuki Yokogawa, Yoichiro Sato, Isao Kayano, Akio Shiratori
A smart low power R-R-I heartbeat monitor system with contactless UWB sensor. ISOCC (2017)
Yoshihiro Sejima, Shoichi Egawa, Ryosuke Maeda, Yoichiro Sato, Tomio Watanabe
A speech-driven pupil response robot synchronized with burst-pause of utterance. RO-MAN (2017)
Daichi Okamoto, Masafumi Kondo, Tomoyuki Yokogawa, Yoshihiro Sejima, Kazutami Arimoto, Yoichiro Sato
A Serial Booth Multiplier Using Ring Oscillator. CANDAR (2016)
Kiyotaka Komoku, Kazutami Arimoto, Tomoyuki Yokogawa, Hitoshi Yamauchi, Yoichiro Sato, Hidekuni Takao
processing architecture - High reliability and low power computing for novel nano tactile sensor array. ISOCC (2016)
Shoichi Egawa, Yoshihiro Sejima, Yoichiro Sato, Tomio Watanabe
A laughing-driven pupil response system for inducing empathy. SII (2016)
Tomoyuki Yokogawa, Masafumi Kondo, Hisashi Miyazaki, Sousuke Amasaki, Yoichiro Sato, Kazutami Arimoto
Bounded model checking of Time Petri Nets using SAT solver. IEICE Electron. Express 12 (2) (2015)
Yoshihiro Sejima, Yoichiro Sato, Tomio Watanabe, Mitsuru Jindai
Development of a Speech-Driven Embodied Entrainment Character System with Pupil Response. HCI (5) (2015)
Yoshihiro Sejima, Yoichiro Sato, Tomio Watanabe
Development of an expressible pupil response interface using hemispherical displays. RO-MAN (2015)
Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki
Consistency Verification of UML Diagrams Based on Process Bisimulation. PRDC (2013)
Hisashi Miyazaki, Tomoyuki Yokogawa, Sousuke Amasaki, Kazuma Asada, Yoichiro Sato
Synthesis and Refinement Check of Sequence Diagrams. IEICE Trans. Inf. Syst. (9) (2012)
Masahiro Kawai, Yoichiro Sato, Hiroto Kagotani, Takuji Okamoto
Superconductive logic circuits constructed by the use of two thresholds of SQUID. Systems and Computers in Japan 36 (2) (2005)
Hiroto Kagotani, Yoichiro Sato, Yoshimichi Takahara, Takuji Okamoto
A method of affine transformation for rectangular video image. Systems and Computers in Japan 31 (7) (2000)
Yoichiro Sato, Yoshinobu Yamasoto, Masanori Saito, Hiroto Kagotani, Takuji Okamoto, Masahiro Kawai
Systematic reducing of metastable operations in CMOS D flip-flops. Systems and Computers in Japan 31 (3) (2000)
Yoichiro Sato, Takuji Okamoto, Yuji Sugiyama, Masahiro Kawai, Toshifumi Kobayashi
A method of shortening metastable operation duration time by the use of feedback. Systems and Computers in Japan 27 (10) (1996)
Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
Realization of multiwindow system with high-speed operations of nonrectangular windows. Systems and Computers in Japan 27 (10) (1996)
Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
Decentralized priority encoder and its applications. Systems and Computers in Japan 22 (10) (1991)