Shoshin Nomura

According to our database, Shoshin Nomura authored at least 6 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

AS400-DET: Detection using Deep Learning Model for IBM i (AS/400).

Thanh Tran, Son T. Luu, Quan Minh Bui, Shoshin Nomura

CoRR, June, 2025

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs.

Nguyen Minh Le, Quan Minh Bui, Le-Minh Nguyen, Hiep Nguyen, Trung Vo, Son T. Luu, Shoshin Nomura, Minh Le Nguyen

CoRR, June, 2025

2020

A cut-free labelled sequent calculus for dynamic epistemic logic.

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

J. Log. Comput., 2020

2019

Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 11th International Conference, 2019

The Dynamics of Narrow-minded Belief.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2015

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015