Kenji Saotome

According to our database, Kenji Saotome authored at least 7 papers between 2012 and 2024.

Collaborative distances:

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

2024

Restriction on cut rule in cyclic-proof system for symbolic heaps.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Theor. Comput. Sci., 2024

2021

Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Restriction on Cut in Cyclic Proof System for Symbolic Heaps.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2016

A Proposal of Transaction Processing Method for MongoDB.

Tsukasa Kudou, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

2014

An Implementation of Concurrency Control between Batch Update and Online Entries.

Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

2013

A Mass Data Update Method in Distributed Systems.

Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

2012

A batch Update Method of Database for Mass Data during Online Entry.

Tsukasa Kudou, Yui Takeda, Masahiko Ishino, Kenji Saotome, Nobuhiro Kataoka

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012