Kenji Saotome
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2012–2021
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FSCD | Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2020 | FLOPS | Restriction on Cut in Cyclic Proof System for Symbolic Heaps. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2016 | KES | A Proposal of Transaction Processing Method for MongoDB. | Tsukasa Kudou, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka |
| 2014 | KES | An Implementation of Concurrency Control between Batch Update and Online Entries. | Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka |
| 2013 | KES | A Mass Data Update Method in Distributed Systems. | Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka |
| 2012 | KES | A batch Update Method of Database for Mass Data during Online Entry. | Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka |