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

Publications

5 items

Causality in Pure Quantum Computation with Quantum Control

2026

Cited

0

Programming with Quantum-Controlled Quantum Channels

2026

Cited

0

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

Co-authors

3 total

Naoki Kobayashi

The University of Tokyo

Distinguished University Professor, Nanyang Technological University

Tohoku University