Takeshi Tsukada

Identifiers

• name variant Takeshi Tsukada 0.60 · backfill

Papers (4)

1. Full Definability in a Profunctorial Model cs.LO · 2026 · author #1
2. Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification cs.LO · 2025 · author #3
3. Higher-Order Program Verification via HFL Model Checking cs.PL · 2017 · author #2
4. Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence cs.PL · 2014 · author #1

Mentions

• 1409.2764 #1 · backfill · confidence 0.70 Takeshi Tsukada

Frequent Coauthors

• C.-H. Luke Ong 1 shared papers
• Hiroshi Unno 1 shared papers
• Kazuyuki Asada 1 shared papers
• Keiichi Watanabe 1 shared papers
• Kengo Hirata 1 shared papers
• Naoki Kobayashi 1 shared papers
• Satoshi Kura 1 shared papers