Ryuzo Hasegawa

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa: QMaxSAT: A Partial Max-SAT Solver. JSAT 8(1/2): 95-100 (2012)

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

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

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Solving the Coalition Structure Generation Problem with MaxSAT. ICTAI 2012: 910-915

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. FUZZ-IEEE 2011: 622-626

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

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

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

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa: Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Transactions 93-D(8): 2316-2318 (2010)

Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops 2010: 269-272

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

Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita: A continuation-based noninterruptible multithreading processor architecture. The Journal of Supercomputing 47(2): 228-252 (2009)

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

Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI 2008: 839-848

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

Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: User-Schedule-based Web Page Recommendation. Web Intelligence 2007: 776-779

Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78

Yasuyuki Shirai, Ryuzo Hasegawa: Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI 2004: 43-52

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

Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199

Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299

Miyuki Koshimura, Ryuzo Hasegawa: Proof Simplification for Model Generation and Its Applications. LPAR 2000: 96-113

Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa: Minimal Model Generation with Factorization and Constrained Search. PRICAI 2000: 793

Shunichi Uchida, Akira Aiba, Kazuaki Rokusawa, Takashi Chikayama, Ryuzo Hasegawa: The parallel logic programming system in the FGCS project and its future directions. Parallel Computing 25(13-14): 1601-1633 (1999)

Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348

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

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX 1997: 1-15

Ryuzo Hasegawa: Model Generation Theorem Provers and Their Applications. ICLP 1995: 7

Yasuyuki Shirai, Ryuzo Hasegawa: Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. ICLP 1995: 249-263

Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba: Outline of the FGCS Fallow-on Project. New Generation Comput. 11(2): 217-222 (1993)

Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108

Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE 1992: 776-780

Akira Aiba, Ryuzo Hasegawa: Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. FGCS 1992: 113-131

Ryuzo Hasegawa, Masayuki Fujita: Parallel Theorem Provers and Their Applications. FGCS 1992: 132-154

Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Model Generation Theorem Provers on a Parallel Inference Machine. FGCS 1992: 357-375

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238

Hiroshi Fujita, Ryuzo Hasegawa: A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ICLP 1991: 535-548

Ryuzo Hasegawa: Problem-Solving and Inference Software. FGCS 1988: 54-69

Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa: Constraints Logic Programming Language CAL. FGCS 1988: 263-276

Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya: A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. ICPP 1986: 1013-1020

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

Makoto Amamiya, Ryuzo Hasegawa: Dataflow Computing and Eager and Lazy Evaluations. New Generation Comput. 2(2): 105-129 (1984)

Ryuzo Hasegawa, Makoto Amamiya: Parallel Execution of Logic Programs based on Dataflow Concept. FGCS 1984: 507-516

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

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