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 | | 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 | | 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 | 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 |