dblp.uni-trier.dewww.uni-trier.de

Noriaki Yoshiura

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EENoriaki Yoshiura: Statistical Analysis of Slow Portsweep. APNOMS 2008: 470-473
5EENoriaki Yoshiura: Formal Definition of Relevant Logical Symbol Occurrence. KES (2) 2008: 508-516
2005
4EEMichihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato: Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks. ICDCIT 2005: 82-92
2004
3EENoriaki Yoshiura: Finding the Causes of Unrealizability of Reactive System Formal Specifications. SEFM 2004: 34-43
2003
2EENoriaki 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

Coauthor Index

1Michihiro Inoue [4]
2Yoshikuni Onozato [4]
3Naoki Yonezaki [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)