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 |