Tsubasa Takagi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Quantum Computing

Laplace Beltrami

Undirected Graph

Top Venues

ACM Trans. Comput. Log.

Publications

Yuki Nishimura, Tsubasa Takagi
Completeness and Termination of Tableau Calculus for Undirected Graphs. CoRR (2024)
Tsubasa Takagi
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect. ACM Trans. Comput. Log. 24 (3) (2023)
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Automated Quantum Program Verification in Dynamic Quantum Logic. DaLí (2023)
Tsubasa Takagi
An Algebra of Quantum Programs with the Kleene Star Operator. FAVPQC@ICFEM (2022)
Tsubasa Takagi, Ayumu Osawa, Miwa Nakanishi
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. HCI (5) (2021)