Unique Normal Form Property of Higher-Order Rewriting Systems. - Ken Mano; Mizuhito Ogawa (ALP, 1996)

Nepi: A Network Programming Language Based on the pi-Calculus. - Eiichi Horita; Ken Mano (COORDINATION, 1996)

Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. - Eiichi Horita; Ken Mano (ASIAN, 1997)

On Formal Modeling of Agent Computations. - Tadashi Araragi; Paul C. Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy A. Lynch; Ken Mano (FAABS, 2000)

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

Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem. - Ken Mano; Mizuhito Ogawa (Theor. Comput. Sci., 2001)

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)

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)

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

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

Privacy-Preserving Publishing of Pseudonym-Based Trajectory Location Data Set. - Ken Mano; Kazuhiro Minami; Hiroshi Maruyama (ARES, 2013)

Protecting location privacy with k-confusing paths based on dynamic pseudonyms. - Ken Mano; Kazuhiro Minami; Hiroshi Maruyama (PerCom Workshops, 2013)

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. - Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe (TARK, 2013)

Pseudonym exchange for privacy-preserving publishing of trajectory data set. - Ken Mano; Kazuhiro Minami; Hiroshi Maruyama (GCCE, 2014)

On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems. - Tomoya Tanjo; Kazuhiro Minami; Ken Mano; Hiroshi Maruyama (ICT-EurAsia, 2014)

Evaluating data utility of privacy-preserving pseudonymized location datasets. - Tomoya Tanjo; Kazuhiro Minami; Ken Mano; Hiroshi Maruyama (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

On compositional reasoning about anonymity and privacy in epistemic logic. - Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe (Ann. Math. Artif. Intell., 2016)

Trust Trust Me (The Additivity). - Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IFIPTM, 2017)

Foreword. - Ken Mano (IEICE Trans. Inf. Syst., 2020)

Quality and Quantity Pair as Trust Metric. - Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IEICE Trans. Inf. Syst., 2023)