A New Combination of Input and Unit Deductions for Horn Sentences. - Susumu Yamasaki; Mikio Yoshida; Shuji Doshita; Mikito Hirata (Inf. Process. Lett., 1984)

A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. - Susumu Yamasaki; Mikio Yoshida; Shuji Doshita (Theor. Comput. Sci., 1987)

A Virtual Space Teleconferencing System that Supports Intuitive Interaction for Creative and Cooperative Work. - Mikio Yoshida; Yuri A. Tijerino; Shinji Abe; Fumio Kishino (SI3D, 1995)

PNAD-CSS: a workbench for constructing a protein name abbreviation dictionary. - Mikio Yoshida; Ken-ichiro Fukuda; Toshihisa Takagi (Bioinform., 2000)

Management and Realization of SLA for Providing Network QoS. - Manzoor Hashmani 001; Mikio Yoshida; Takeshi Ikenaga; Yuji Oie (ICN (1), 2001)

A Geographical Observation System based on P2P Agents. - Yuuichi Teranishi; Hirokazu Tanaka; Yoshimasa Ishi; Mikio Yoshida (PerCom, 2008)

P2P-Based Scalable Execution Platform for Algorithmically Transitive Network. - Mikio Yoshida; Hideaki Suzuki; Hidefumi Sawai (BIONETICS, 2010)

A Large Scale Key-Value Store Based on Range-Key Skip Graph and Its Applications. - Susumu Takeuchi; Jun Shinomiya; Toru Shiraki; Yoshimasa Ishi; Yuuichi Teranishi; Mikio Yoshida; Shinji Shimojo (DASFAA (2), 2010)

Range-Key Extension of the Skip Graph. - Yoshimasa Ishi; Yuuichi Teranishi; Mikio Yoshida; Susumu Takeuchi; Shinji Shimojo; Shojiro Nishio (GLOBECOM, 2010)

A Data-Flow Network That Represents First-Order Logic for Inference. - Hideaki Suzuki; Mikio Yoshida; Hidefumi Sawai (TAAI, 2012)

A Network Representation of First-Order Logic That Uses Token Evolution for Inference. - Hideaki Suzuki; Mikio Yoshida; Hidefumi Sawai (J. Inf. Sci. Eng., 2014)