Extraction and Extended Analysis of Good Jobs from Safety Reports Using Text Mining - Focusing on the Voluntary Information Contributory to Enhancement of the Safety (VOICES) Data. - Tsubasa Takagi; Ayumu Osawa; Miwa Nakanishi (HCI (5), 2021)

An Algebra of Quantum Programs with the Kleene Star Operator. - Tsubasa Takagi (FAVPQC@ICFEM, 2022)

Automated Quantum Program Verification in Dynamic Quantum Logic. - Tsubasa Takagi; Canh Minh Do; Kazuhiro Ogata 001 (DaLí, 2023)

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect. - Tsubasa Takagi (ACM Trans. Comput. Log., 2023)

A Tableau-Based Approach to Model Checking Linear Temporal Properties. - Canh Minh Do; Tsubasa Takagi; Kazuhiro Ogata 001 (ICFEM, 2024)

Completeness and Termination of Tableau Calculus for Undirected Graphs. - Yuki Nishimura; Tsubasa Takagi (CoRR, 2024)

Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic. - Canh Minh Do; Tsubasa Takagi; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2025)