Login / Signup
Tsubasa Takagi
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Semantic Analysis
Quantum Computation
Logic Circuits
Laplace Beltrami
Top Venues
FAVPQC@ICFEM
ACM Trans. Comput. Log.
DaLí
HCI (5)
</>
Publications
</>
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)