Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Naoya Nitta

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalt/TsukamotoNTN12
- ask others
Hidekuni Tsukamoto, Hideo Nagumo, Yasuhiro Takemura, Naoya Nitta: Change of Students' Motivation in an Introductory Programming Course for Non-computing Majors. ICALT 2012: 124-125

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[c4]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icce/KumeNT06
- ask others
Izuru Kume, Naoya Nitta, Yasuhiro Takemura: A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education. ICCE 2006: 75-78
2005
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ieicet/KuninobuTNS05
- ask others
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ieicet/WangNS05
- ask others
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
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/NittaS03
- ask others
Naoya Nitta, Hiroyuki Seki: An Extension of Pushdown System and Its Model Checking Method. CONCUR 2003: 278-292
2001
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ccs/NittaTS01
- ask others
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
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sacmat/NittaST01
- ask others
Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?