A batch Update Method of Database for Mass Data during Online Entry. - Tsukasa Kudou; Yui Takeda; Masahiko Ishino; Kenji Saotome; Nobuhiro Kataoka (KES, 2012)

A Mass Data Update Method in Distributed Systems. - Tsukasa Kudou; Yui Takeda; Masahiko Ishino; Kenji Saotome; Nobuhiro Kataoka (KES, 2013)

An Implementation of Concurrency Control between Batch Update and Online Entries. - Tsukasa Kudou; Yui Takeda; Masahiko Ishino; Kenji Saotome; Nobuhiro Kataoka (KES, 2014)

A Proposal of Transaction Processing Method for MongoDB. - Tsukasa Kudou; Masahiko Ishino; Kenji Saotome; Nobuhiro Kataoka (KES, 2016)

Restriction on Cut in Cyclic Proof System for Symbolic Heaps. - Kenji Saotome; Koji Nakazawa; Daisuke Kimura (FLOPS, 2020)

Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. - Kenji Saotome; Koji Nakazawa; Daisuke Kimura (FSCD, 2021)

Restriction on cut rule in cyclic-proof system for symbolic heaps. - Kenji Saotome; Koji Nakazawa; Daisuke Kimura (Theor. Comput. Sci., 2024)