| 2014 | UC | Phase Transition and Strong Predictability. | Kohtaro Tadaki |
| 2013 | UC | Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability. | Cristian S. Calude, Kohtaro Tadaki |
| 2012 | ISITA | Scheme overcoming incompatibility of privacy and utilization of personal data. | Shigeo Tsujii, Kohtaro Tadaki, Ryou Fujita, Hiroshi Yamaguchi, Masahito Gotaishi, Yukiyasu Tsunoo, Takahiko Syouji, Norihisa Doi |
| 2011 | ITW | Robustness of statistical mechanical interpretation of algorithmic information theory. | Kohtaro Tadaki |
| 2010 | ISIT | The Hausdorff dimension of the halting self-similar sets of T-universal prefix-free machines. | Kohtaro Tadaki |
| 2010 | ISITA | A knapsack cryptosystem based on multiple knapsacks. | Kunikatsu Kobayashi, Kohtaro Tadaki, Masao Kasahara, Shigeo Tsujii |
| 2010 | ISITA | Two-sided multiplications are reduced to one-sided multiplication in linear piece in hand matrix methods. | Kohtaro Tadaki, Shigeo Tsujii |
| 2010 | ISITA | Clarifying the specification of linear Piece In Hand matrix method. | Kohtaro Tadaki, Shigeo Tsujii |
| 2010 | ITW | Properties of optimal prefix-free machines as instantaneous codes. | Kohtaro Tadaki |
| 2010 | PQCrypto | Proposal of a Signature Scheme Based on STS Trapdoor. | Shigeo Tsujii, Masahito Gotaishi, Kohtaro Tadaki, Ryou Fujita |
| 2010 | UC | A New Representation of Chaitin Omega Number Based on Compressible Strings. | Kohtaro Tadaki |
| 2009 | CiE | Chaitin Omega Numbers and Halting Problems. | Kohtaro Tadaki |
| 2009 | LFCS | Fixed Point Theorems on Partial Randomness. | Kohtaro Tadaki |
| 2009 | MFCS | Partial Randomness and Dimension of Recursively Enumerable Reals. | Kohtaro Tadaki |
| 2008 | PQCrypto | Nonlinear Piece In Hand Perturbation Vector Method for Enhancing Security of Multivariate Public Key Cryptosystems. | Ryou Fujita, Kohtaro Tadaki, Shigeo Tsujii |
| 2007 | ISIT | A Statistical Mechanical Interpretation of Instantaneous Codes. | Kohtaro Tadaki |
| 2004 | SOFSEM | Theory of One Tape Linear Time Turing Machines. | Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin |