| 2015 | ISCAS | A high step-up DC-DC converter using transformer with intrinsic voltage-doubler. | Koichi Furukawa, Taro Takiguchi, Ryuga Hosoki, Hirotaka Koizumi |
| 2015 | IECON | Interleaved soft-switching multilevel boost converter with coupled inductor. | Taro Takiguchi, Koichi Furukawa, Koichi Matsumura, Hirotaka Koizumi |
| 2009 | ILP | Discovering Rules by Meta-level Abduction. | Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima |
| 2003 | DIS | Discovering Exceptional Information from Customer Inquiry by Association Rule Miner. | Keiko Shimazu, Atsuhito Momma, Koichi Furukawa |
| 2003 | ER | DAISY, an RER Model Based Interface for RDB to ILP. | Keiko Shimazu, Atsuhito Momma, Koichi Furukawa |
| 2003 | KDD | Experimental study of discovering essential information from customer inquiry. | Keiko Shimazu, Atsuhito Momma, Koichi Furukawa |
| 2001 | ILP | Application of Pruning Techniques for Propositional Learning to Progol. | Tomonobu Ozaki, Koichi Furukawa |
| 2000 | ILP | On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion. | Koichi Furukawa, Tomonobu Ozaki |
| 1999 | DIS | A Model of Children's Vocabulary Acquisition Using Inductive Logic Programming. | Koichi Furukawa, Ikuo Kobayashi, Tomonobu Ozaki, Mutsumi Imai |
| 1998 | DIS | On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion. | Koichi Furukawa |
| 1997 | ILP | On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol. | Koichi Furukawa, Tomoko Murakami, Ken Ueno, Tomonobu Ozaki, Keiko Shimazu |
| 1997 | ILP | Realizing Progol by Forward Reasoning. | Tomonobu Ozaki, Koichi Furukawa, Tomoko Murakami, Ken Ueno |
| 1997 | SAC | Knowledge discovery in database by Progol-design, implementation and its application to expert system building. | Keiko Shimazu, Koichi Furukawa |
| 1996 | ILP | A New Design and Implementation of Progol by Bottom-Up Computation. | Hiroshi Fujita, Naoki Yagi, Tomonobu Ozaki, Koichi Furukawa |
| 1996 | PRICAI | Curried least general generalization: A framework for higher order concept learning. | Srinivas Padmanabhuni, Randy Goebel, Koichi Furukawa |
| 1991 | ALT | Preliminary study on program sunthesis based on induction and verification. | Koichi Furukawa |
| 1988 | ICLP | Partial Evaluation of GHC Programs Based on the UR-set with Constraints. | Hiroshi Fujita, Akira Okumura, Koichi Furukawa |
| 1987 | ICLP | An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
| 1986 | ICLP | The Role of Logic Programming in the Fifth Generation Computer Project. | Kazuhiro Fuchi, Koichi Furukawa |
| 1986 | ICLP | Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning. | Randy Goebel, Koichi Furukawa, David Poole |
| 1986 | ICLP | Parallel Logic Programming Languages. | Akikazu Takeuchi, Koichi Furukawa |
| 1984 | ICLP | Eager and Lazy Enumerations in Concurrent Prolog. | Hideki Hirakawa, Takashi Chikayama, Koichi Furukawa |
| 1983 | ICLP | Interprocess Communication in Concurrent Prolog. | Akikazu Takeuchi, Koichi Furukawa |
| 1982 | ICLP | Prolog Interpreter Based on Concurrent Programming. | Koichi Furukawa, Katsumi Nitta, Yuji Matsumoto |
| 1981 | IJCAI | Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures. | Koichi Furukawa |
| 1979 | IJCAI | Relational Strategies for Processing Universally Quantified Queries to Large Data Bases. | Koichi Furukawa |
| 1977 | IJCAI | A Deductive Question Answering System on Relational Data Bases. | Koichi Furukawa |
| 1977 | VLDB | Panel: Directions in Database Research. | George A. Champine, Craig Fields, Koichi Furukawa, David Jefferson, Fritz Krckeberg, Giora Pelled, Charles Purcell, John Rundell, Tadahiko Takahama |