2006 |
6 | EE | Shin'ichi Kobayashi,
Fumihiro Kumeno,
Yasuyuki Shirai,
Shin-ya Sano,
Satoshi Nishiyama,
Naoki Asai,
Akio Sato,
Hiroshi Inujima:
A Methodology for Planning R&D Topics in IT Field.
HICSS 2006 |
2005 |
5 | EE | Shin'ichi Kobayashi,
Yasuyuki Shirai,
Kazuo Hiyane,
Fumihiro Kumeno,
Hiroshi Inujima,
Noriyoshi Yamauchi:
Technology Trends Analysis from the Internet Resources.
PAKDD 2005: 820-825 |
2004 |
4 | EE | Yasuyuki Shirai,
Ryuzo Hasegawa:
Answer Set Computation Based on a Minimal Model Generation Theorem Prover.
PRICAI 2004: 43-52 |
2002 |
3 | 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 |
2000 |
2 | EE | Reiner Hähnle,
Ryuzo Hasegawa,
Yasuyuki Shirai:
Moder Generation Theorem Proving with Finite Interval Constraints.
Computational Logic 2000: 285-299 |
1995 |
1 | | Yasuyuki Shirai,
Ryuzo Hasegawa:
Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP.
ICLP 1995: 249-263 |