Tsubasa Takagi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2026
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | Reachable Completeness Theorem of Order Sorted Equational Logic with Infinite Proofs. | Taeseung Sohn, Tsubasa Takagi |
| 2024 | ICFEM | A Tableau-Based Approach to Model Checking Linear Temporal Properties. | Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata |
| 2022 | ICFEM | An Algebra of Quantum Programs with the Kleene Star Operator. | Tsubasa Takagi |
| 2021 | HCI | 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 |