Ryuzo Hasegawa

2007
32	EE	Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya: Fuce: the continuation-based multithreading processor. Conf. Computing Frontiers 2007: 213-224
31	EE	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
2004
30	EE	Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78
29	EE	Yasuyuki Shirai, Ryuzo Hasegawa: Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI 2004: 43-52
2002
28	EE	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
2001
27	EE	Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
2000
26		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
25	EE	Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299
24	EE	Miyuki Koshimura, Ryuzo Hasegawa: Proof Simplification for Model Generation and Its Applications. LPAR 2000: 96-113
23		Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa: Minimal Model Generation with Factorization and Constrained Search. PRICAI 2000: 793
1999
22		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)
1998
21	EE	Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348
1997
20		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
19		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX 1997: 1-15
1995
18		Yasuyuki Shirai, Ryuzo Hasegawa: Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. ICLP 1995: 249-263
17		Ryuzo Hasegawa: Model Generation Theorem Provers and Their Applications. ICLP 1995: 7
1993
16		Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108
15		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)
1992
14		Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415
13		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE 1992: 776-780
12		Akira Aiba, Ryuzo Hasegawa: Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. FGCS 1992: 113-131
11		Ryuzo Hasegawa, Masayuki Fujita: Parallel Theorem Provers and Their Applications. FGCS 1992: 132-154
10		Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Model Generation Theorem Provers on a Parallel Inference Machine. FGCS 1992: 357-375
9		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238
1991
8		Hiroshi Fujita, Ryuzo Hasegawa: A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ICLP 1991: 535-548
1988
7		Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa: Constraints Logic Programming Language CAL. FGCS 1988: 263-276
6		Ryuzo Hasegawa: Problem-Solving and Inference Software. FGCS 1988: 54-69
1986
5		Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya: A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. ICPP 1986: 1013-1020
4		Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami: Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. ISCA 1986: 10-19
1984
3		Ryuzo Hasegawa, Makoto Amamiya: Parallel Execution of Logic Programs based on Dataflow Concept. FGCS 1984: 507-516
2		Makoto Amamiya, Ryuzo Hasegawa: Dataflow Computing and Eager and Lazy Evaluations. New Generation Comput. 2(2): 105-129 (1984)
1982
1		Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami: List Processing with a Data Flow Machine. RIMS Symposium on Software Science and Engineering 1982: 165-190

Coauthor Index

1	Akira Aiba	[7] [12] [15] [22]
2	Makoto Amamiya	[1] [2] [3] [4] [5] [32]
3	Satoshi Amamiya	[32]
4	Takashi Chikayama	[15] [22]
5	Hiroshi Fujita	[8] [9] [10] [13] [19] [26] [27] [28] [31]
6	Masayuki Fujita	[10] [11]
7	Reiner Hähnle	[25]
8	David J. Hawley	[7]
9	Katsumi Inoue	[14] [16] [20] [21]
10	Masaaki Izumi	[32]
11	Megumi Kita	[23]
12	Yasushi Kiyoki	[5]
13	Miyuki Koshimura	[9] [10] [13] [14] [19] [20] [23] [24] [26] [27] [28] [30] [31]
14	Shunsuke Kuramoto	[31]
15	Takanori Matsuzaki	[32]
16	Hirohide Mikami	[1] [4]
17	Tsunenori Mine	[31]
18	Hiroto Nagata	[31]
19	Makoto Nakashima	[16]
20	Katsumi Nitta	[15]
21	Yoshihiko Ohta	[16] [20] [21]
22	Tetsuya Oishi	[31]
23	Kazuaki Rokusawa	[22]
24	Kô Sakai	[7]
25	Yosuke Sato	[7]
26	Yasuyuki Shirai	[18] [25] [28] [29]
27	Masaru Takesue	[4]
28	Shunichi Uchida	[15] [22]
29	Mayumi Umeda	[30]
30	Kazumasa Yokota	[15]