Scholar

Takeshi Tsukada

Google Scholar ID: pmynGcgAAAAJ

Chiba University

Programming Languages

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

665

H-index

14

i10-index

21

Publications

20

Co-authors

3

list available

Contact

No contact links provided.

Publications

3 items

Full Definability in a Profunctorial Model

2026

Cited

0

Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs

2025

Cited

0

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)

2025

Cited

0

Resume (English only)

Co-authors

3 total

Naoki Kobayashi

The University of Tokyo

Distinguished University Professor, Nanyang Technological University

Tohoku University