Ryuzo Hasegawa

	2012
45		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
44		Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa: QMaxSAT: A Partial Max-SAT Solver. JSAT 8(1/2): 95-100 (2012)
	2011
43		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
42		Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Combining PSO and local search to solve scheduling problems. GECCO (Companion) 2011: 347-354
41		Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Evaluating Reranking Methods using Wikipedia Features. ICAART (1) 2011: 376-381
40		Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Trendspotter Detection System for Twitter. ICAART (1) 2011: 625-628
	2010
39		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
38		Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops 2010: 269-272
37		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)
	2009
36		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		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		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		Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya: Fuce: the continuation-based multithreading processor. Conf. Computing Frontiers 2007: 213-224
32		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		Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78
30		Yasuyuki Shirai, Ryuzo Hasegawa: Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI 2004: 43-52
	2002
29		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		Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
	2000
27		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
26		Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299
25		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		Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348
	1997
21		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		Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415
14		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		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	Noriaki Chikara	[38]
5	Takashi Chikayama	[16] [23]
6	Hiroshi Fujita	[9] [10] [11] [14] [20] [27] [28] [29] [32] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45]
7	Masayuki Fujita	[11] [12]
8	Reiner Hähnle	[26]
9	David J. Hawley	[8]
10	Kentaro Hori	[39]
11	Katsumi Inoue	[15] [17] [21] [22]
12	Masaaki Izumi	[33]
13	Yoshiaki Kambara	[35]
14	Megumi Kita	[24]
15	Yasushi Kiyoki	[6]
16	Miyuki Koshimura	[10] [11] [14] [15] [20] [21] [24] [25] [27] [28] [29] [31] [32] [34] [35] [37] [38] [39] [40] [41] [42] [43] [44] [45]
17	Koji Kurakado	[41] [45]
18	Shunsuke Kuramoto	[32] [34]
19	Takanori Matsuzaki	[33]
20	Hirohide Mikami	[1] [2] [5]
21	Tsunenori Mine	[32] [34] [35] [39]
22	Hidetomo Nabeshima	[37]
23	Hiroto Nagata	[32]
24	Osamu Nakamura	[2]
25	Makoto Nakashima	[17]
26	Katsumi Nitta	[16]
27	Yoshihiko Ohta	[17] [21] [22]
28	Tetsuya Oishi	[32] [34] [35] [39] [40] [41] [45]
29	Kazuaki Rokusawa	[23]
30	Kô Sakai	[8]
31	Yosuke Sato	[8]
32	Yasuyuki Shirai	[19] [26] [29] [30]
33	Wataru Shirakihara	[40]
34	Masaru Takesue	[5]
35	Yuichi Takiguchi	[45]
36	Shunichi Uchida	[16] [23]
37	Mayumi Umeda	[31]
38	Kazumasa Yokota	[16]
39	Tong Zhang	[44]
40	Xue-Feng Zhang	[42] [43]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page