Kenji Saotome

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 3

Top Topics

Sequent Calculi

Concurrency Control

Transaction Processing

Top Venues

Publications

Kenji Saotome, Koji Nakazawa, Daisuke Kimura
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. FSCD (2021)
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
Restriction on Cut in Cyclic Proof System for Symbolic Heaps. FLOPS (2020)
Tsukasa Kudou, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka
A Proposal of Transaction Processing Method for MongoDB. KES (2016)
Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka
An Implementation of Concurrency Control between Batch Update and Online Entries. KES (2014)
Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka
A Mass Data Update Method in Distributed Systems. KES (2013)
Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka
A batch Update Method of Database for Mass Data during Online Entry. KES (2012)