dblp.uni-trier.dewww.uni-trier.de

Ryuzo Hasegawa Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
36EESatoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita: A continuation-based noninterruptible multithreading processor architecture. The Journal of Supercomputing 47(2): 228-252 (2009)
2008
35EETetsuya 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
34EETetsuya 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
33EESatoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya: Fuce: the continuation-based multithreading processor. Conf. Computing Frontiers 2007: 213-224
32EETetsuya 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
31EEMiyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78
30EEYasuyuki Shirai, Ryuzo Hasegawa: Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI 2004: 43-52
2002
29EERyuzo 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
28EEMiyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
2000
27EERyuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
26EEReiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299
25EEMiyuki 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
22EEYoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348
1997
21EERyuzo 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
15EEKatsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415
14EERyuzo 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
2EEMakoto 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)