Tsubasa Takagi

According to our database, Tsubasa Takagi authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

2025

Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic.

Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata

ACM Trans. Softw. Eng. Methodol., July, 2025

Formal Verification of Measurement-Based Quantum Computation in Maude.

Ryuichi Nagoshi, Tsubasa Takagi

Proceedings of the Software Fault Prevention, Verification, and Validation, 2025

2024

Completeness and Termination of Tableau Calculus for Undirected Graphs.

Yuki Nishimura, Tsubasa Takagi

CoRR, 2024

A Tableau-Based Approach to Model Checking Linear Temporal Properties.

Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect.

Tsubasa Takagi

ACM Trans. Comput. Log., 2023

Automated Quantum Program Verification in Dynamic Quantum Logic.

Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022

An Algebra of Quantum Programs with the Kleene Star Operator.

Tsubasa Takagi

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022

2021

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

Proceedings of the Human Interface and the Management of Information. Information-Rich and Intelligent Environments, 2021