| 2013 | ICTAI | Using MaxSAT to Correct Errors in AES Key Schedule Images. | Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2013 | ICTAI | Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. | Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 2013 | SAT | SCSat: A Soft Constraint Guided SAT Solver. | Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa |
| 2012 | GECCO | Hybrid particle swarm optimization and convergence analysis for scheduling problems. | Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2012 | ICAART | Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. | Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2012 | ICTAI | Solving the Coalition Structure Generation Problem with MaxSAT. | Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2011 | GECCO | Combining PSO and local search to solve scheduling problems. | Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2011 | ICAART | Evaluating Reranking Methods using Wikipedia Features. | Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2011 | ICAART | Trendspotter Detection System for Twitter. | Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2011 | TABLEAUX | QMaxSAT version 0.3 & 0.4. | Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2010 | ICAART | Related Word Extraction from Wikipedia for Web Retrieval Assistance. | Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2009 | PRIMA | Related Word Extraction Algorithm for Query Expansion - An Evaluation. | Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2008 | PRICAI | Personalized Search Using ODP-based User Profiles Created from User Bookmark. | Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2004 | LPAR | Abstract Model Generation for Preprocessing Clause Sets. | Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa |
| 2004 | PRICAI | Answer Set Computation Based on a Minimal Model Generation Theorem Prover. | Yasuyuki Shirai, Ryuzo Hasegawa |
| 2001 | LPAR | Model Generation with Boolean Constraints. | Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2000 | CADE | Efficient Minimal Model Generation Using Branching Lemmas. | Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2000 | LPAR | Proof Simplification for Model Generation and Its Applications. | Miyuki Koshimura, Ryuzo Hasegawa |
| 2000 | PRICAI | Minimal Model Generation with Factorization and Constrained Search. | Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa |
| 1998 | CADE | On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa |
| 1997 | CADE | Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. | Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura |
| 1997 | TABLEAUX | MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. | Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 1995 | ICLP | Model Generation Theorem Provers and Their Applications. | Ryuzo Hasegawa |
| 1995 | ICLP | Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. | Yasuyuki Shirai, Ryuzo Hasegawa |
| 1993 | IJCAI | Bottom-up Abduction by Model Generation. | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
| 1992 | CADE | MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. | Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 1992 | CADE | Embedding Negation as Failure into a Model Generation Theorem Prover. | Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa |
| 1991 | ICLP | A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. | Hiroshi Fujita, Ryuzo Hasegawa |
| 1986 | ICPP | A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. | Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya |
| 1986 | ISCA | Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. | Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami |