論文表記の著者名
Takeshi Tsukada
千葉大学Programming Languages & Formal Methods2022–2026 LIVE
対象論文 10 本
著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。
印刷日： 全論文
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
対象論文
論文一覧
- Causality in Pure Quantum Computation with Quantum ControlDOI
- Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound VerificationDOI
- Nola: Later-Free Ghost State for Verifying Termination in IrisDOI
- A Primal-Dual Perspective on Program Verification AlgorithmsDOI
- Inductive Approach to SpacerDOI
- Enriched Presheaf Model of Quantum FPCDOI
- HFL(Z) Validity Checking for Automated Program VerificationDOI
- Optimal CHC Solving via Termination ProofsDOI
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱DOI
- Software model-checking as cyclic-proof searchDOI