 | 2008 |
|---|
| 8 |       | Michio Honda,
Jin Nakazawa,
Yoshifumi Nishida,
Masahiro Kozuka,
Hideyuki Tokuda:
A Connectivity-Driven Retransmission Scheme Based On Transport Layer Readdressing.
ICDCS 2008: 277-285 |
| 7 | | Michio Honda,
Jin Nakazawa,
Yoshifumi Nishida,
Hideyuki Tokuda:
Connectivity-driven flow recovery for time-sensitive transport services.
LCN 2008: 555-556 |
| 2007 |
|---|
| 6 | | Michio Honda,
Hiroshi Sakakibara,
Yoshifumi Nishida,
Hideyuki Tokuda:
SmSCTP: A Fast Transport Layer Handover Method Using Single Wireless Interface.
ISCC 2007: 319-324 |
| 5 | | Michio Honda,
Yoshifumi Nishida,
Jin Nakazawa,
Hideyuki Tokuda:
Performance Enhancement of Transport Layer Handover on Single-Homed Mobile Nodes.
IEICE Transactions 90-B(10): 2683-2692 (2007) |
| 1983 |
|---|
| 4 |  | Tatsuya Hagino,
Michio Honda,
Akihiko Koga,
Reiji Nakajima,
Etsuya Shibayama,
Taiichi Yuasa:
KWIC Example.
The IOTA Programming System 1983: 114-175 |
| 3 | | Michio Honda,
Reiji Nakajima:
Strategies and Techniques for Interactive Proof.
The IOTA Programming System 1983: 48-60 |
| 2 | | Michio Honda,
Tatsuya Hagino,
Etsuya Shibayama:
Proof System.
The IOTA Programming System 1983: 99-108 |
| 1980 |
|---|
| 1 | | Reiji Nakajima,
Michio Honda,
Hayao Nakahara:
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf. 14: 135-155 (1980) |
