Takeshi Tsukada

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議の検証済み掲載データを、全分野・選択したEditionでまとめています。過去の論文は出版・論文種別・著者との対応を確認できたものから追加しており、全発表論文の網羅を保証するものではありません。著者ページだけへの追加分は大学ランキングの件数に含みません。著者ページは、公開時の所属大学IDと論文上の著者名の完全一致を基に作成しています。本人の業績一覧などで同一人物の論文と個別に確認できた場合は、所属が異なる論文も追加します。氏名だけの自動名寄せは行いません。表示する大学はこのページの識別用で、掲載した全論文の出版時所属や現在所属を示すものではありません。研究者の総合順位を表すものでもありません。

著者ページの大学: 千葉大学 · Top conference papers: 12

分野別内訳

• Programming Languages & Formal Methods 11
• AI (General) 1

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

論文一覧（新しい年順）

1. 2026 · CAV

   Lagrangian-Based Duality for Quantified SMT Algorithms

   Bocevska, Ivana, Tsukada, Takeshi, Unno, Hiroshi, Padon, Oded, Shoham, Sharon

   Programming Languages & Formal Methods

   千葉大学 / 東北大学

2. 2026 · LICS

   Causality in Pure Quantum Computation with Quantum Control

   Kengo Hirata, Takeshi Tsukada

   Programming Languages & Formal Methods

   千葉大学 / 京都大学

3. 2026 · PLDI

   Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification

   Satoshi Kura, Hiroshi Unno, Takeshi Tsukada

   Programming Languages & Formal Methods

   千葉大学 / 東北大学 / 早稲田大学

4. 2025 · AAAI

   Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking

   Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

   AI (General)

   千葉大学 / 東北大学

5. 2025 · PLDI

   Nola: Later-Free Ghost State for Verifying Termination in Iris

   Yusuke Matsushita, Takeshi Tsukada

   Programming Languages & Formal Methods

   千葉大学 / 京都大学

6. 2025 · POPL

   A Primal-Dual Perspective on Program Verification Algorithms

   Takeshi Tsukada, Hiroshi Unno, Oded Padon, Sharon Shoham

   Programming Languages & Formal Methods

   千葉大学 / 東北大学

7. 2024 · PLDI

   Inductive Approach to Spacer

   Takeshi Tsukada, Hiroshi Unno

   Programming Languages & Formal Methods

   千葉大学 / 東北大学

8. 2024 · POPL

   Enriched Presheaf Model of Quantum FPC

   Takeshi Tsukada, Kazuyuki Asada

   Programming Languages & Formal Methods

   千葉大学 / 東北大学

9. 2023 · POPL

   HFL(Z) Validity Checking for Automated Program Verification

   Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada

   Programming Languages & Formal Methods

   千葉大学 / 東京大学

10. 2023 · POPL

    Optimal CHC Solving via Termination Proofs

    Yu Gu, Takeshi Tsukada, Hiroshi Unno

    Programming Languages & Formal Methods

    千葉大学 / 筑波大学

11. 2022 · LICS

    Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱

    Takeshi Tsukada, Kazuyuki Asada

    Programming Languages & Formal Methods

    千葉大学 / 東北大学

12. 2022 · POPL

    Software model-checking as cyclic-proof search

    Takeshi Tsukada, Hiroshi Unno

    Programming Languages & Formal Methods

    千葉大学 / 筑波大学