 | 2006 |
|---|
| 6 |       | Izuru Kume,
Naoya Nitta,
Yasuhiro Takemura:
A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education.
ICCE 2006: 75-78 |
| 2005 |
|---|
| 5 |  | Shigeta Kuninobu,
Yoshiaki Takata,
Naoya Nitta,
Hiroyuki Seki:
Policy Controlled System and Its Model Checking.
IEICE Transactions 88-D(7): 1685-1696 (2005) |
| 4 | | Jing Wang,
Naoya Nitta,
Hiroyuki Seki:
An Efficient Method for Optimal Probe Deployment of Distributed IDS.
IEICE Transactions 88-D(8): 1948-1957 (2005) |
| 2003 |
|---|
| 3 | | Naoya Nitta,
Hiroyuki Seki:
An Extension of Pushdown System and Its Model Checking Method.
CONCUR 2003: 278-292 |
| 2001 |
|---|
| 2 | | Naoya Nitta,
Yoshiaki Takata,
Hiroyuki Seki:
An efficient security verification method for programs with stack inspection.
ACM Conference on Computer and Communications Security 2001: 68-77 |
| 1 | | Naoya Nitta,
Hiroyuki Seki,
Yoshiaki Takata:
Security verification of programs with stack inspection.
SACMAT 2001: 31-40 |
