A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. - Shoshin Nomura; Katsuhiko Sano; Satoshi Tojo (LPAR, 2015)

The Dynamics of Narrow-minded Belief. - Shoshin Nomura; Norihiro Arai; Satoshi Tojo (ICAART (2), 2019)

Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus. - Shoshin Nomura; Norihiro Arai; Satoshi Tojo (ICAART (Revised Selected Papers), 2019)

A cut-free labelled sequent calculus for dynamic epistemic logic. - Shoshin Nomura; Hiroakira Ono; Katsuhiko Sano (J. Log. Comput., 2020)

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs. - Nguyen Minh Le 001; Quan Minh Bui; Le-Minh Nguyen 001; Hiep Nguyen; Trung Vo; Son T. Luu; Shoshin Nomura; Minh Le Nguyen 001 (CoRR, 2025)

AS400-DET: Detection using Deep Learning Model for IBM i (AS/400). - Thanh Tran; Son T. Luu; Quan Minh Bui; Shoshin Nomura (CoRR, 2025)