Yoshinobu Kawabe

According to our database, Yoshinobu Kawabe authored at least 33 papers between 1995 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the Advances in Networked-Based Information Systems, 2021

2019

On Trust Confusional, Trust Ignorant, and Trust Transitions.

Yoshinobu Kawabe, Yuki Koizumi, Tetsushi Ohki, Masakatsu Nishigaki, Toru Hasegawa, Tetsuhisa Oda

Proceedings of the Trust Management XIII - 13th IFIP WG 11.11 International Conference, 2019

DiReCT: Disaster Response Coordination with Trusted Volunteers.

Mohammad Jahanian, Toru Hasegawa, Yoshinobu Kawabe, Yuki Koizumi, Amr Magdy, Masakatsu Nishigaki, Tetsushi Ohki, K. K. Ramakrishnan

Proceedings of the 5th International Conference on Information and Communication Technologies for Disaster Management, 2019

2017

Assessment of BAR: Breakdown Agent Replacement Algorithm for SCRAM.

Shivashish Jaishy, Yoshiki Fukushige, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe

Int. J. Softw. Innov., 2017

On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems.

Yoshinobu Kawabe, Nobuhiro Ito

Proceedings of the 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, 2017

Problem Solving with Interactive-Theorem Proving - A Case Study.

Shivashish Jaishy, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, 2017

An Evaluation of BAR: Breakdown Agent Replacement Algorithm for SCRAM.

Shivashish Jaishy, Yoshiki Fukushige, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe

Proceedings of the 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, 2017

2016

Foreword.

Yoshinobu Kawabe

IEICE Trans. Inf. Syst., 2016

A Algorithm with Expected Value: Path Planning That Avoids Stochastic Traffic Obstacles.

Yoshiyuki Kozuka, Toshiyuki Hayashi, Takashi Syamoto, Nobuhiro Ito, Kazunori Iwata, Yoshinobu Kawabe

Proceedings of the IEEE International Conference on Agents, 2016

On backward-style verification for timed anonymity of security protocols.

Yoshinobu Kawabe, Nobuhiro Ito

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015

Developing Compiler for Nihongo Programming Language PEN.

Yoshitaka Kato, Masaya Ozaki, Jun'ya Kani, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

BAR: Breakdown Agent Replacement Algorithm for SCRAM.

Shivashish Jaishy, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

Verifying ignition timing of gasoline direct injection engine's PCM.

Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

Robust location tracking method for mixed reality robots using a rotation search method.

Masahiro Yamamoto, Kazuhiro Suzuki, Ryosuke Ogawa, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

Toward Formal Verification of ECU for Gasoline Direct Injection Engines.

Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

2013

Automated proof for equivalence of telephone systems.

Jun Sakoh, Noriaki Yoshimasa, Yoshinobu Kawabe

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

On embedded programming education with a tiny Lisp.

Manami Osawa, Noriaki Yoshimasa, Yoshinobu Kawabe

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2010

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

Trans. Data Priv., 2010

Probabilistic anonymity via coalgebraic simulations.

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada

Theor. Comput. Sci., 2010

Role Interchange for Anonymity and Privacy of Voting.

Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada

J. Log. Comput., 2010

On Formal Modeling of TOPPERS Embedded Software.

Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii

Proceedings of the Eighth ACIS International Conference on Software Engineering Research, 2010

2008

An Adversary Model for Simulation-Based Anonymity Proof.

Yoshinobu Kawabe, Hideki Sakurada

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

On Backward-Style Anonymity Verification.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Theorem-proving anonymity of infinite-state systems.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Inf. Process. Lett., 2007

A Formal Approach to Designing Anonymous Software.

Yoshinobu Kawabe, Hideki Sakurada

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Probabilistic Anonymity Via Coalgebraic Simulations.

Ichiro Hasuo, Yoshinobu Kawabe

Proceedings of the Programming Languages and Systems, 2007

2005

Name creation implements restriction in the pi-calculus.

Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure

Syst. Comput. Jpn., 2005

Verifying Trace Equivalence of a Shared-Memory-Style Communication System.

Yoshinobu Kawabe, Ken Mano

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2004

Name-passing style GUI programming in the <i>pi</i>-calculus-based language Nepi.

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

The Nepi Network Programming System: A Programming Environment for Distributed Systems.

Ken Mano, Yoshinobu Kawabe

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

2000

The Nepi² Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.

Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1997

On Modularity of the Completeness in Order-Sorted Term Rewriting Systems.

Yoshinobu Kawabe, Naohiro Ishii

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1995

Currying of Order-Sorted Term Rewriting Systems.

Yoshinobu Kawabe, Naohiro Ishii

Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995