Takeshi Tsukada

2022–2026 LIVE

著者一覧 · 国際会議 · 大学ランキング

日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。

公開時所属: 千葉大学 · Top conference papers: 11

印刷日：（JavaScript有効時に印刷日を記録）全論文

出典：https://topcsuniv.org/japan/authors/e96eb41ae65fbd181c1a/

論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。

分野別内訳

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

論文一覧

2026 · LICS
Causality in Pure Quantum Computation with Quantum Control
Kengo Hirata, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 京都大学
2026 · PLDI
Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
Satoshi Kura, Hiroshi Unno, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学 / 早稲田大学
2025 · AAAI
Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang
AI (General)
日本大学: 千葉大学 / 東北大学
2025 · PLDI
Nola: Later-Free Ghost State for Verifying Termination in Iris
Yusuke Matsushita, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 京都大学
2025 · POPL
A Primal-Dual Perspective on Program Verification Algorithms
Takeshi Tsukada, Hiroshi Unno, Oded Padon, Sharon Shoham
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学
2024 · PLDI
Inductive Approach to Spacer
Takeshi Tsukada, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学
2024 · POPL
Enriched Presheaf Model of Quantum FPC
Takeshi Tsukada, Kazuyuki Asada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学
2023 · POPL
HFL(Z) Validity Checking for Automated Program Verification
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東京大学
2023 · POPL
Optimal CHC Solving via Termination Proofs
Yu Gu, Takeshi Tsukada, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 千葉大学 / 筑波大学
2022 · LICS
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
Takeshi Tsukada, Kazuyuki Asada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東北大学
2022 · POPL
Software model-checking as cyclic-proof search
Takeshi Tsukada, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 千葉大学 / 筑波大学