Ryuzo Hasegawa Vis

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