Shin-ya Katsumata

Identifiers

• name variant Shin-ya Katsumata 0.50 · backfill

Papers (5)

1. Codensity Games for Bisimilarity cs.LO · 2019 · author #2
2. Differentiable Causal Computations via Delayed Trace cs.LO · 2019 · author #2
3. Path category for free - Open morphisms from coalgebras with non-deterministic branching cs.FL · 2018 · author #3
4. Quantitative bisimulations using coreflections and open morphisms cs.LO · 2018 · author #3
5. Probabilistic Relational Reasoning via Metrics cs.PL · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Ichiro Hasuo 3 shared papers
• David Sprunger 2 shared papers
• J\'er\'emy Dubut 2 shared papers
• Arthur Azevedo de Amorim 1 shared papers
• Bartek Klin 1 shared papers
• Justin Hsu 1 shared papers
• Marco Gaboardi 1 shared papers
• Nick Hu 1 shared papers
• Thorsten Wi{\ss}mann 1 shared papers
• Yuichi Komorida 1 shared papers