Scholar

Takeshi Tsukada

Google Scholar ID: pmynGcgAAAAJ

Chiba University

Programming Languages

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

444

H-index

10

i10-index

11

Publications

20

Co-authors

3

list available

Contact

No contact links provided.

Publications

2 items

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