| 2016 | EDBT | An On-Line Approximation Algorithm for Mining Frequent Closed Itemsets Based on Incremental Intersection. | Koji Iwanuma, Yoshitaka Yamamoto, Shoshi Fukuda |
| 2014 | SIGMOD | Resource-oriented approximation for frequent itemset mining from bursty data streams. | Yoshitaka Yamamoto, Koji Iwanuma, Shoshi Fukuda |
| 2013 | ICTAI | On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2012 | ILP | Heuristic Inverse Subsumption in Full-Clausal Theories. | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma |
| 2012 | ILP | Non-monotone Dualization via Monotone Dualization. | Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue |
| 2011 | ILP | Comparison of Upward and Downward Generalizations in CF-Induction. | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma |
| 2008 | LPAR | Complete Pruning Methods and a Practical Search Strategy for SOL. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2005 | ICDM | Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm. | Koji Iwanuma, Ryuichi Ishihara, Yo Takano, Hidetomo Nabeshima |
| 2005 | ICTAC | Upside-Down Transformation in SOL/Connection Tableaux and Its Application. | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima |
| 2004 | FQAS | Consequence Finding in Default Theories. | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima |
| 2003 | TABLEAUX | SOLAR: A Consequence Finding System for Advanced Reasoning. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2002 | IDEAL | A Case-Based Recognition of Semantic Structures in HTML Documents. | Masayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima |
| 2002 | JELIA | Minimal Answer Computation and SOL. | Koji Iwanuma, Katsumi Inoue |
| 2000 | IDEAL | A Case-Based Transformation from HTML to XML. | Masayuki Umehara, Koji Iwanuma |
| 1997 | CADE | Lemma Matching for a PTTP-based Top-down Theorem Prover. | Koji Iwanuma |
| 1994 | CADE | Conservative Query Normalization on Parallel Circumscription. | Koji Iwanuma |