An efficient security verification method for programs with stack inspection. - Naoya Nitta; Yoshiaki Takata; Hiroyuki Seki (CCS, 2001)

Security verification of programs with stack inspection. - Naoya Nitta; Hiroyuki Seki; Yoshiaki Takata (SACMAT, 2001)

An Extension of Pushdown System and Its Model Checking Method. - Naoya Nitta; Hiroyuki Seki (CONCUR, 2003)

Policy Controlled System and Its Model Checking. - Shigeta Kuninobu; Yoshiaki Takata; Naoya Nitta; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2005)

An Efficient Method for Optimal Probe Deployment of Distributed IDS. - Jing Wang; Naoya Nitta; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2005)

A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education. - Izuru Kume; Naoya Nitta; Yasuhiro Takemura (ICCE, 2006)

LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. - Naoya Nitta; Hiroyuki Seki (Inf. Media Technol., 2006)

Work in progress: Analysis of the relationship between teaching contents and motivation in programming education. - Hidekuni Tsukamoto; Yasuhiro Takemura; Hideo Nagumo; Naoya Nitta (FIE, 2012)

Change of Students' Motivation in an Introductory Programming Course for Non-computing Majors. - Hidekuni Tsukamoto; Hideo Nagumo; Yasuhiro Takemura; Naoya Nitta (ICALT, 2012)

A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios. - Naoya Nitta; Izuru Kume; Yasuhiro Takemura (APSEC (1), 2013)

A Feature Model of Framework Applications. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (SNPD, 2013)

Identifying Mandatory Code for Framework Use via a Single Application Trace. - Naoya Nitta; Izuru Kume; Yasuhiro Takemura (ECOOP, 2014)

A dynamic analysis technique to extract symptoms that suggest side effects in framework applications. - Izuru Kume; Naoya Nitta; Masahide Nakamura; Etsuya Shibayama (SAC, 2014)

Toward a dynamic analysis technique to locate framework misuses that cause unexpected side effects. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (SNPD, 2014)

Delta extraction: An abstraction technique to comprehend why two objects could be related. - Naoya Nitta; Tomohiro Matsuoka (ICSME, 2015)

A Case Study of Dynamic Analysis to Locate Unexpected Side Effects Inside of Frameworks. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (Int. J. Softw. Innov., 2015)

A formal approach for guiding architecture design with data constraints. - Naoya Nitta (ICIS, 2016)

Composite Refactoring for Decoupling Multiple Classes. - Yusuke Takahashi; Naoya Nitta (SANER, 2016)

Analyzing Execution Traces of Failed Programs for Materializing Chain of Infection. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (ACIT/CSII/BCD, 2017)

Constraints Based Approach to Interactive Feature Location. - Daiki Fujioka; Naoya Nitta (ICSME, 2017)

Experiences of debugger-based architecture comprehension. - Naoya Nitta (SNPD, 2017)

Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers. - Izuru Kume; Masahide Nakamura; Naoya Nitta (ASWEC, 2018)

Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime. - Izuru Kume; Etsuya Shibayama; Masahide Nakamura; Naoya Nitta (ICGDA, 2019)

Towards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration. - Aki Hongo; Naoya Nitta (APSEC, 2021)

A Method to Comprehend Feature Dependencies Based on Semi-Static Structures. - Narumasa Kande; Naoya Nitta (ICSME, 2021)

Improving Palmprint-Region Estimation for ID-Less Palmprint Recognition. - Ayumi Serizawa; Ryosuke Okudera; Yumo Ouchi; Mizuho Yoshihira; Yuya Shiomi; Naoya Nitta; Masataka Nakahara; Akira Baba; Yutaka Miyake; Tetsushi Ohki; Masakatsu Nishigaki (BWCCA, 2022)

Improving 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 (HCI (32), 2022)

A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. - Naoya Nitta; Shinji Kageyama; Kouta Fujii (FACS, 2023)