Currying of Order-Sorted Term Rewriting Systems. - Yoshinobu Kawabe; Naohiro Ishii (COCOON, 1995)

On Modularity of the Completeness in Order-Sorted Term Rewriting Systems. - Yoshinobu Kawabe; Naohiro Ishii (COCOON, 1997)

The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. - Yoshinobu Kawabe; Ken Mano; Kiyoshi Kogure (FAABS, 2000)

The Nepi Network Programming System: A Programming Environment for Distributed Systems. - Ken Mano; Yoshinobu Kawabe (NCA, 2004)

Name-passing style GUI programming in the pi-calculus-based language Nepi. - Atsushi Mizuno; Ken Mano; Yoshinobu Kawabe; Hiroaki Kuwabara; Kiyoshi Agusa; Shoji Yuen (ARTS, 2004)

Verifying Trace Equivalence of a Shared-Memory-Style Communication System. - Yoshinobu Kawabe; Ken Mano (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Name creation implements restriction in the pi-calculus. - Yoshinobu Kawabe; Ken Mano; Eiichi Horita; Kiyoshi Kogure (Syst. Comput. Jpn., 2005)

Probabilistic Anonymity Via Coalgebraic Simulations. - Ichiro Hasuo; Yoshinobu Kawabe (ESOP, 2007)

A Formal Approach to Designing Anonymous Software. - Yoshinobu Kawabe; Hideki Sakurada (SERA, 2007)

Theorem-proving anonymity of infinite-state systems. - Yoshinobu Kawabe; Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (Inf. Process. Lett., 2007)

On Backward-Style Anonymity Verification. - Yoshinobu Kawabe; Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

An Adversary Model for Simulation-Based Anonymity Proof. - Yoshinobu Kawabe; Hideki Sakurada (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

On Formal Modeling of TOPPERS Embedded Software. - Yoshinobu Kawabe; Nobuhiro Ito; Naohiro Ishii (SERA, 2010)

Role Interchange for Anonymity and Privacy of Voting. - Ken Mano; Yoshinobu Kawabe; Hideki Sakurada; Yasuyuki Tsukada (J. Log. Comput., 2010)

Probabilistic anonymity via coalgebraic simulations. - Ichiro Hasuo; Yoshinobu Kawabe; Hideki Sakurada (Theor. Comput. Sci., 2010)

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. - Yasuyuki Tsukada; Ken Mano; Hideki Sakurada; Yoshinobu Kawabe (Trans. Data Priv., 2010)

On embedded programming education with a tiny Lisp. - Manami Osawa; Noriaki Yoshimasa; Yoshinobu Kawabe (ICIS, 2013)

Automated proof for equivalence of telephone systems. - Jun Sakoh; Noriaki Yoshimasa; Yoshinobu Kawabe (ICIS, 2013)

Toward Formal Verification of ECU for Gasoline Direct Injection Engines. - Masato Yamauchi; Nobuhiro Ito; Yoshinobu Kawabe (IIAI-AAI, 2014)

Robust location tracking method for mixed reality robots using a rotation search method. - Masahiro Yamamoto; Kazuhiro Suzuki; Ryosuke Ogawa; Nobuhiro Ito; Yoshinobu Kawabe (ICIS, 2015)

Verifying ignition timing of gasoline direct injection engine's PCM. - Masato Yamauchi; Nobuhiro Ito; Yoshinobu Kawabe (ICIS, 2015)

BAR: Breakdown Agent Replacement Algorithm for SCRAM. - Shivashish Jaishy; Nobuhiro Ito; Yoshinobu Kawabe (ACIT-CSI, 2015)

Developing Compiler for Nihongo Programming Language PEN. - Yoshitaka Kato; Masaya Ozaki; Jun'ya Kani; Nobuhiro Ito; Yoshinobu Kawabe (ACIT-CSI, 2015)

On backward-style verification for timed anonymity of security protocols. - Yoshinobu Kawabe; Nobuhiro Ito (GCCE, 2016)

A Algorithm with Expected Value: Path Planning That Avoids Stochastic Traffic Obstacles. - Yoshiyuki Kozuka; Toshiyuki Hayashi; Takashi Syamoto; Nobuhiro Ito; Kazunori Iwata 001; Yoshinobu Kawabe (ICA, 2016)

Foreword. - Yoshinobu Kawabe (IEICE Trans. Inf. Syst., 2016)

An Evaluation of BAR: Breakdown Agent Replacement Algorithm for SCRAM. - Shivashish Jaishy; Yoshiki Fukushige; Nobuhiro Ito; Kazunori Iwata 001; Yoshinobu Kawabe (ACIT/CSII/BCD, 2017)

Problem Solving with Interactive-Theorem Proving - A Case Study. - Shivashish Jaishy; Nobuhiro Ito; Yoshinobu Kawabe (ACIT/CSII/BCD, 2017)

On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems. - Yoshinobu Kawabe; Nobuhiro Ito (ACIT/CSII/BCD, 2017)

Assessment of BAR: Breakdown Agent Replacement Algorithm for SCRAM. - Shivashish Jaishy; Yoshiki Fukushige; Nobuhiro Ito; Kazunori Iwata 001; Yoshinobu Kawabe (Int. J. Softw. Innov., 2017)

DiReCT: Disaster Response Coordination with Trusted Volunteers. - Mohammad Jahanian; Toru Hasegawa; Yoshinobu Kawabe; Yuki Koizumi; Amr Magdy 001; Masakatsu Nishigaki; Tetsushi Ohki; K. K. Ramakrishnan (ICT-DM, 2019)

On Trust Confusional, Trust Ignorant, and Trust Transitions. - Yoshinobu Kawabe; Yuki Koizumi; Tetsushi Ohki; Masakatsu Nishigaki; Toru Hasegawa; Tetsuhisa Oda (IFIPTM, 2019)

Deterrence-Based Trust: A Study on Improving the Credibility of Social Media Messages in Disaster Using Registered Volunteers. - Takumi Kitagawa; Tetsushi Ohki; Yuki Koizumi; Yoshinobu Kawabe; Toru Hasegawa; Masakatsu Nishigaki (NBiS, 2021)