Authors · raw publication identity
Takeshi Tsukada
2021–2025 確定版
日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。
公開時所属: 千葉大学 · Top conference papers: 10
印刷日： 全論文
出典：https://topcsuniv.org/japan/2021-2025/authors/e96eb41ae65fbd181c1a/
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
論文一覧
- 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
Programming Languages & Formal Methods
日本大学: 千葉大学