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

Naoya Nitta

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

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
5EEShigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)
4EEJing Wang, Naoya Nitta, Hiroyuki Seki: An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Transactions 88-D(8): 1948-1957 (2005)
2003
3EENaoya Nitta, Hiroyuki Seki: An Extension of Pushdown System and Its Model Checking Method. CONCUR 2003: 278-292
2001
2EENaoya 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
1EENaoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40

Coauthor Index

1Izuru Kume [6]
2Shigeta Kuninobu [5]
3Hiroyuki Seki [1] [2] [3] [4] [5]
4Yoshiaki Takata [1] [2] [5]
5Yasuhiro Takemura [6]
6Jing Wang [4]

Colors in the list of coauthors

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