naistar (NAIST Academic Repository): Browsing DSpace


NAIST \| Library	Advanced Search	Japanese \| English

Browsing by Author Nitta, Naoya

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
Mar-2001	Dicidability and complexity of the security verification problem for programs with stack inspection	Nitta, Naoya; Ikada, Satoshi; Takata, Yoshiaki; Seki, Hiroyuki
May-2007	An experiment to explore practical training for object-oriented design novices	Kume, Izuru; Nitta, Naoya; Takemura, Yasuhiro
Jun-2003	An extension of pushdown system and its model checking method	Nitta, Naoya; Seki, Hiroyuki
22-Mar-2002	Security verification of programs with stack inspection	Nitta, Naoya

Showing results 1 to 4 of 4