 | 2009 |
|---|
| 10 |       | Hideaki Nishihara,
Koichi Shinozaki,
Koji Hayamizu,
Toshiaki Aoki,
Kenji Taguchi,
Fumihiro Kumeno:
Model checking education for software engineers in Japan.
SIGCSE Bulletin 41(2): 45-50 (2009) |
| 2008 |
|---|
| 9 | | Hideto Ogawa,
Fumihiro Kumeno,
Shinichi Honiden:
Model Checking Process with Goal Oriented Requirements Analysis.
APSEC 2008: 377-384 |
| 2006 |
|---|
| 8 | | 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 |
|---|
| 7 | | Shin'ichi Kobayashi,
Yasuyuki Shirai,
Kazuo Hiyane,
Fumihiro Kumeno,
Hiroshi Inujima,
Noriyoshi Yamauchi:
Technology Trends Analysis from the Internet Resources.
PAKDD 2005: 820-825 |
| 2003 |
|---|
| 6 | | Tetsuo Hasegawa,
Kenta Cho,
Fumihiro Kumeno,
Shin Nakajima,
Akihiko Ohsuga,
Shinichi Honiden:
Interoperability for mobile agents by incarnation agents.
AAMAS 2003: 1006-1007 |
| 5 | | Heisuke Kaneko,
Yoshiaki Fukazawa,
Fumihiro Kumeno,
Nobukazu Yoshioka,
Shinichi Honiden:
Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER.
PerCom 2003: 460- |
| 2000 |
|---|
| 4 | | Yasuyuki Beppu,
Shin Nakajima,
Fumihiro Kumeno,
Kenta Cho,
Tetsuo Hasegawa,
Akihiko Ohsuga:
A Directory Server for Mobile Agents Interoperability.
EDOC 2000: 144- |
| 1996 |
|---|
| 3 | | Yasuyuki Tahara,
Fumihiro Kumeno,
Akihiko Ohsuga,
Shinichi Honiden:
An Algebraic Semantics of Reflective Objects.
ISOTAS 1996: 173-189 |
| 1995 |
|---|
| 2 | | Fumihiro Kumeno,
Yasuyuki Tahara,
Akihiko Ohsuga,
Shinichi Honiden:
Evolutional Agents: Field Oriented Programming Language, Flage.
APSEC 1995: 189-198 |
| 1 | | Yasuyuki Tahara,
Fumihiro Kumeno,
Akihiko Ohsuga,
Shinichi Honiden:
Formal Semantics of Agent Evolution in Language Flage.
OBPDC 1995: 329-348 |
Data released under the ODC-BY 1.0 license — See also our legal information page