| Constructive linear-time temporal logic: Proof systems and Kripke semantics K Kojima, A Igarashi Information and Computation 209 (12), 1491-1503, 2011 | 38 | 2011 |
| Relational and neighborhood semantics for intuitionistic modal logic K Kojima Reports on Mathematical Logic, 87-113, 2012 | 22 | 2012 |
| Semantical study of intuitionistic modal logics K Kojima 京都大学 (Kyoto University), 2012 | 18 | 2012 |
| A Hoare logic for SIMT programs K Kojima, A Igarashi Asian Symposium on Programming Languages and Systems, 58-73, 2013 | 15 | 2013 |
| A Hoare logic for GPU kernels K Kojima, A Igarashi ACM Transactions on Computational Logic (TOCL) 18 (1), 1-43, 2017 | 14 | 2017 |
| Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis K Kojima, M Kinoshita, K Suenaga International Static Analysis Symposium, 278-299, 2016 | 9 | 2016 |
| Automated verification of functional correctness of race-free GPU programs K Kojima, A Imanishi, A Igarashi Journal of Automated Reasoning 60, 279-298, 2018 | 8 | 2018 |
| Algorithms and hardness results for the maximum balanced connected subgraph problem Y Kobayashi, K Kojima, N Matsubara, T Sone, A Yamamoto International Conference on Combinatorial Optimization and Applications, 303-315, 2019 | 7 | 2019 |
| Sharper and simpler nonlinear interpolants for program verification T Okudono, Y Nishida, K Kojima, K Suenaga, K Kido, I Hasuo Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 7 | 2017 |
| Which classical correspondence is valid in intuitionistic modal logic? K Kojima Logic Journal of IGPL 20 (1), 331-348, 2012 | 7 | 2012 |
| On constructive linear-time temporal logic K Kojima, A Igarashi Proc. of IMLA 8, 2008 | 6 | 2008 |
| A nonstandard functional programming language H Nakamura, K Kojima, K Suenaga, A Igarashi Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 4 | 2017 |
| A case of poorly differentiated endometrioid adenocarcinoma (G3) which may have arisen from adenomyosis K Kojima, Y Nagai, M Konishi, T Sone, K Takabatake, J Yano ACTA OBSTETRICA ET GYNAECOLOGICA JAPONICA-JAPANESE EDITION- 53 (6), 994-997, 2001 | 2 | 2001 |
| Towards the Fixed-Parameter Tractability of the Commutative Matching Problem RYO KUBOTA, Y KOBAYASHI, K KOJIMA, A YAMAMOTO 人工知能学会人工知能基本問題研究会資料 112, 61-66, 2020 | | 2020 |
| BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets K Kojima arXiv preprint arXiv:1806.10261, 2018 | | 2018 |
| A Hoare Logic for SIMT Programs A Igarashi, K Kojima (No Title), 2013 | | 2013 |
| Semantics for Intuitionistic Modal Logic Without Distributive Law K Kojima | | 2011 |
| Birelational Kripke semantics for an intuitionistic LTL K Kojima | | 2009 |
| Two Cases of Extra-uterine Leiomyomas Which May Be Effected Differently by Gonadal Hormones K Kojima, A Takeda, T Sone, K Takabatake, J Yano ACTA OBSTETRICA ET GYNAECOLOGICA JAPONICA-JAPANESE EDITION- 54 (6), 837-841, 2002 | | 2002 |
| Clinical Investigation of Conservative Therapy for Malignant Ovarian Tumors M Konishi, T Sone, Y Nagai, K Kojima, K Takabatake, J Yano ACTA OBSTETRICA ET GYNAECOLOGICA JAPONICA-JAPANESE EDITION- 53 (10), 1735-1739, 2001 | | 2001 |
