Skip to content

Naoya Nitta

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

11

Active years

2001–2022

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2022HCIImproving Rank-N Identification Rate of Palmprint Identification Using Permutation-Based Indexing.Mizuho Yoshihira, Ayumi Serizawa, Ryosuke Okudera, Yumo Ouchi, Yuya Shiomi, Naoya Nitta, Masataka Nakahara, Akira Baba, Yutaka Miyake, Tetsushi Ohki, Masakatsu Nishigaki
2021APSECTowards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration.Aki Hongo, Naoya Nitta
2017SNPDExperiences of debugger-based architecture comprehension.Naoya Nitta
2014ECOOPIdentifying Mandatory Code for Framework Use via a Single Application Trace.Naoya Nitta, Izuru Kume, Yasuhiro Takemura
2014SACA dynamic analysis technique to extract symptoms that suggest side effects in framework applications.Izuru Kume, Naoya Nitta, Masahide Nakamura, Etsuya Shibayama
2014SNPDToward a dynamic analysis technique to locate framework misuses that cause unexpected side effects.Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
2013APSECA Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios.Naoya Nitta, Izuru Kume, Yasuhiro Takemura
2013SNPDA Feature Model of Framework Applications.Izuru Kume, Masahide Nakamura, Naoya Nitta, Etsuya Shibayama
2012FIEWork in progress: Analysis of the relationship between teaching contents and motivation in programming education.Hidekuni Tsukamoto, Yasuhiro Takemura, Hideo Nagumo, Naoya Nitta
2012ICALTChange of Students' Motivation in an Introductory Programming Course for Non-computing Majors.Hidekuni Tsukamoto, Hideo Nagumo, Yasuhiro Takemura, Naoya Nitta
2006ICCEA Method for Creating Teaching Materials of Practical Object-Oriented Methods Education.Izuru Kume, Naoya Nitta, Yasuhiro Takemura
2003CONCURAn Extension of Pushdown System and Its Model Checking Method.Naoya Nitta, Hiroyuki Seki
2001CCSAn efficient security verification method for programs with stack inspection.Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki
2001SACMATSecurity verification of programs with stack inspection.Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata