A list-processing-oriented data flow machine architecture. - Makoto Amamiya; Ryuzo Hasegawa; Osamu Nakamura; Hirohide Mikami (AFIPS National Computer Conference, 1982)

List Processing with a Data Flow Machine. - Makoto Amamiya; Ryuzo Hasegawa; Hirohide Mikami (RIMS Symposium on Software Science and Engineering, 1982)

Parallel Execution of Logic Programs based on Dataflow Concept. - Ryuzo Hasegawa; Makoto Amamiya (FGCS, 1984)

Dataflow Computing and Eager and Lazy Evaluations. - Makoto Amamiya; Ryuzo Hasegawa (New Gener. Comput., 1984)

A list-processing-oriented data flow machine architecture and its evaluation. - Ryuzo Hasegawa; Hirohide Mikami; Makoto Amamiya (Syst. Comput. Jpn., 1985)

A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. - Yasushi Kiyoki; Ryuzo Hasegawa; Makoto Amamiya (ICPP, 1986)

Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. - Makoto Amamiya; Masaru Takesue; Ryuzo Hasegawa; Hirohide Mikami (ISCA, 1986)

DFM: the data flow machine highly parallel symbol manipulation. - Makoto Amamiya; Masaru Takesue; Ryuzo Hasegawa; Hirohide Mikami (FJCC, 1987)

Constraints Logic Programming Language CAL. - Akira Aiba; Kô Sakai; Yosuke Sato; David J. Hawley; Ryuzo Hasegawa (FGCS, 1988)

Problem-Solving and Inference Software. - Ryuzo Hasegawa (FGCS, 1988)

A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. - Hiroshi Fujita 002; Ryuzo Hasegawa (ICLP, 1991)

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. - Ryuzo Hasegawa; Miyuki Koshimura; Hiroshi Fujita 002 (CADE, 1992)

Embedding Negation as Failure into a Model Generation Theorem Prover. - Katsumi Inoue; Miyuki Koshimura; Ryuzo Hasegawa (CADE, 1992)

Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. - Akira Aiba; Ryuzo Hasegawa (FGCS, 1992)

Model Generation Theorem Provers on a Parallel Inference Machine. - Masayuki Fujita; Ryuzo Hasegawa; Miyuki Koshimura; Hiroshi Fujita 002 (FGCS, 1992)

Parallel Theorem Provers and Their Applications. - Ryuzo Hasegawa; Masayuki Fujita (FGCS, 1992)

Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. - Ryuzo Hasegawa; Miyuki Koshimura; Hiroshi Fujita 002 (IWAR, 1992)

Bottom-up Abduction by Model Generation. - Katsumi Inoue; Yoshihiko Ohta; Ryuzo Hasegawa; Makoto Nakashima (IJCAI, 1993)

Outline of the FGCS Fallow-on Project. - Shunichi Uchida; Ryuzo Hasegawa; Kazumasa Yokota; Takashi Chikayama; Katsumi Nitta; Akira Aiba (New Gener. Comput., 1993)

An AND Parallelization Method for MGTP and Its Evaluation. - Ryuzo Hasegawa; Miyuki Koshimura (PASCO, 1994)

Model Generation Theorem Provers and Their Applications. - Ryuzo Hasegawa (ICLP, 1995)

Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. - Yasuyuki Shirai; Ryuzo Hasegawa (ICLP, 1995)

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. - Ryuzo Hasegawa; Katsumi Inoue; Yoshihiko Ohta; Miyuki Koshimura (CADE, 1997)

MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. - Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (TABLEAUX, 1997)

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. - Yoshihiko Ohta; Katsumi Inoue; Ryuzo Hasegawa (CADE, 1998)

The parallel logic programming system in the FGCS project and its future directions. - Shunichi Uchida; Akira Aiba; Kazuaki Rokusawa; Takashi Chikayama; Ryuzo Hasegawa (Parallel Comput., 1999)

Efficient Minimal Model Generation Using Branching Lemmas. - Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (CADE, 2000)

Moder Generation Theorem Proving with Finite Interval Constraints. - Reiner Hähnle; Ryuzo Hasegawa; Yasuyuki Shirai (Computational Logic, 2000)

Proof Simplification for Model Generation and Its Applications. - Miyuki Koshimura; Ryuzo Hasegawa (LPAR, 2000)

Minimal Model Generation with Factorization and Constrained Search. - Miyuki Koshimura; Megumi Kita; Ryuzo Hasegawa (PRICAI, 2000)

Model Generation with Boolean Constraints. - Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (LPAR, 2001)

A Model Generation Based Theorem Prover MGTP for First-Order Logic. - Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura; Yasuyuki Shirai (Computational Logic: Logic Programming and Beyond, 2002)

Abstract Model Generation for Preprocessing Clause Sets. - Miyuki Koshimura; Mayumi Umeda; Ryuzo Hasegawa (LPAR, 2004)

Answer Set Computation Based on a Minimal Model Generation Theorem Prover. - Yasuyuki Shirai; Ryuzo Hasegawa (PRICAI, 2004)

Fuce: the continuation-based multithreading processor. - Satoshi Amamiya; Masaaki Izumi; Takanori Matsuzaki; Ryuzo Hasegawa; Makoto Amamiya (Conf. Computing Frontiers, 2007)

User-Schedule-based Web Page Recommendation. - Tetsuya Oishi; Shunsuke Kuramoto; Hiroto Nagata; Tsunenori Mine; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (Web Intelligence, 2007)

A Method for Query Expansion Using the Related Word Extraction Algorithm. - Tetsuya Oishi; Shunsuke Kuramoto; Tsunenori Mine; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (Web Intelligence/IAT Workshops, 2008)

Personalized Search Using ODP-based User Profiles Created from User Bookmark. - Tetsuya Oishi; Yoshiaki Kambara; Tsunenori Mine; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (PRICAI, 2008)

Minimal Model Generation with Respect to an Atom Set. - Miyuki Koshimura; Hidetomo Nabeshima; Hiroshi Fujita 002; Ryuzo Hasegawa (FTP, 2009)

Related Word Extraction Algorithm for Query Expansion - An Evaluation. - Tetsuya Oishi; Tsunenori Mine; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (PRIMA Workshops, 2009)

A continuation-based noninterruptible multithreading processor architecture. - Satoshi Amamiya; Makoto Amamiya; Ryuzo Hasegawa; Hiroshi Fujita 002 (J. Supercomput., 2009)

Rule Extraction from Blog Using Inductive Logic Programming. - Noriaki Chikara; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (Web Intelligence/IAT Workshops, 2010)

Related Word Extraction from Wikipedia for Web Retrieval Assistance. - Kentaro Hori; Tetsuya Oishi; Tsunenori Mine; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (ICAART (2), 2010)

A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem. - Xue-Feng Zhang 001; Bin Tong; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (Aust. J. Intell. Inf. Process. Syst., 2010)

Solving Open Job-Shop Scheduling Problems by SAT Encoding. - Miyuki Koshimura; Hidetomo Nabeshima; Hiroshi Fujita 002; Ryuzo Hasegawa (IEICE Trans. Inf. Syst., 2010)

An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. - Xue-Feng Zhang 001; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (FUZZ-IEEE, 2011)

Combining PSO and local search to solve scheduling problems. - Xue-Feng Zhang 001; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (GECCO (Companion), 2011)

Evaluating Reranking Methods using Wikipedia Features. - Koji Kurakado; Tetsuya Oishi; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (ICAART (1), 2011)

Trendspotter Detection System for Twitter. - Wataru Shirakihara; Tetsuya Oishi; Ryuzo Hasegawa; Hiroshi Fujita 002; Miyuki Koshimura (ICAART (1), 2011)

QMaxSAT version 0.3 & 0.4. - Xuanye An; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Hybrid particle swarm optimization and convergence analysis for scheduling problems. - Xue-Feng Zhang 001; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (GECCO (Companion), 2012)

Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. - Yuichi Takiguchi; Koji Kurakado; Tetsuya Oishi; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (ICAART (1), 2012)

Solving the Coalition Structure Generation Problem with MaxSAT. - Xiaojuan Liao; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (ICTAI, 2012)

QMaxSAT: A Partial Max-SAT Solver. - Miyuki Koshimura; Tong Zhang 013; Hiroshi Fujita 002; Ryuzo Hasegawa (J. Satisf. Boolean Model. Comput., 2012)

Using MaxSAT to Correct Errors in AES Key Schedule Images. - Xiaojuan Liao; Hui Zhang; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (ICTAI, 2013)

Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. - Toru Ogawa; Yangyang Liu; Ryuzo Hasegawa; Miyuki Koshimura; Hiroshi Fujita 002 (ICTAI, 2013)

SCSat: A Soft Constraint Guided SAT Solver. - Hiroshi Fujita 002; Miyuki Koshimura; Ryuzo Hasegawa (SAT, 2013)

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities. - Xiaojuan Liao; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (IEICE Trans. Inf. Syst., 2014)

Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations. - Xiaojuan Liao; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (IEICE Trans. Inf. Syst., 2014)