| 2008 |
|---|
| 6 | EE | Noriaki Yoshiura:
Statistical Analysis of Slow Portsweep.
APNOMS 2008: 470-473 |
| 5 | EE | Noriaki Yoshiura:
Formal Definition of Relevant Logical Symbol Occurrence.
KES (2) 2008: 508-516 |
| 2005 |
|---|
| 4 | EE | Michihiro Inoue,
Noriaki Yoshiura,
Yoshikuni Onozato:
Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks.
ICDCIT 2005: 82-92 |
| 2004 |
|---|
| 3 | EE | Noriaki Yoshiura:
Finding the Causes of Unrealizability of Reactive System Formal Specifications.
SEFM 2004: 34-43 |
| 2003 |
|---|
| 2 | EE | Noriaki Yoshiura:
Decision Procedures for Several Properties of Reactive System Specifications.
ISSS 2003: 154-173 |
| 1993 |
|---|
| 1 | | Noriaki Yoshiura,
Naoki Yonezaki:
More Expressive Temporal Logic for Specifications.
SEKE 1993: 363-366 |
