Tsubasa Takagi

Orcid: 0000-0001-9890-1015

According to our database1, Tsubasa Takagi authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Completeness and Termination of Tableau Calculus for Undirected Graphs.
CoRR, 2024

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

Automated Quantum Program Verification in Dynamic Quantum Logic.
Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022
An Algebra of Quantum Programs with the Kleene Star Operator.
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.
Proceedings of the Human Interface and the Management of Information. Information-Rich and Intelligent Environments, 2021


  Loading...