Authors · raw publication identity
Takeshi Tsukada
全分野 · 掲載済みの全期間（2012–2026年）
データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。
対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。
著者ページの大学: 千葉大学 · Top conference papers: 22
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
年別内訳
- 2026年 3
- 2025年 3
- 2024年 2
- 2023年 2
- 2022年 2
- 2021年 1
- 2020年 2
- 2018年 1
- 2017年 1
- 2016年 2
- 2015年 1
- 2014年 1
- 2012年 1
論文一覧（新しい年順）
- Lagrangian-Based Duality for Quantified SMT Algorithms
- Causality in Pure Quantum Computation with Quantum Control
- Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
- Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
- Nola: Later-Free Ghost State for Verifying Termination in Iris
- A Primal-Dual Perspective on Program Verification Algorithms
- Inductive Approach to Spacer
- Enriched Presheaf Model of Quantum FPC
- HFL(Z) Validity Checking for Automated Program Verification
- Optimal CHC Solving via Termination Proofs
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
- Software model-checking as cyclic-proof search
- CPS transformation with affine types for call-by-value implicit polymorphism
- Signature restriction for polymorphic algebraic effects
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- On Computability of Logical Approaches to Branching-Time Property Verification of Programs
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Species, Profunctors and Taylor Expansion Weighted by SMCC
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Generalised species of rigid resource terms
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Automatically disproving fair termination of higher-order functional programs.
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Plays as Resource Terms via Non-idempotent Intersection Types
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Nondeterminism in Game Semantics via Sheaves
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Compositional higher-order model checking via ω -regular games over Böhm trees
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Two-Level Game Semantics, Intersection Types, and Recursion Schemes.
著者の全期間ページへの追加分（出版時所属は示していません）