Author: "Katsumata, Shin-ya" / Publisher: ieee - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Katsumata, Shin-ya"' showing total 5 results

Start Over Author "Katsumata, Shin-ya" Publisher ieee

5 results on '"Katsumata, Shin-ya"'

1. Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation

Author: Komorida, Yuichi, primary, Katsumata, Shin-ya, additional, Kupke, Clemens, additional, Rot, Jurriaan, additional, and Hasuo, Ichiro, additional
Published: 2021
Full Text: View/download PDF

2. Differentiable Causal Computations via Delayed Trace

Author: Sprunger, David, primary and Katsumata, Shin-ya, additional
Published: 2019
Full Text: View/download PDF

3. Probabilistic Relational Reasoning via Metrics

Author: de Amorim, Arthur Azevedo, primary, Gaboardi, Marco, additional, Hsu, Justin, additional, and Katsumata, Shin-ya, additional
Published: 2019
Full Text: View/download PDF

4. Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy

Author: Sato, Tetsuya, primary, Barthe, Gilles, additional, Gaboardi, Marco, additional, Hsu, Justin, additional, and Katsumata, Shin-ya, additional
Published: 2019
Full Text: View/download PDF

5. Codensity Games for Bisimilarity

Author: Komorida, Yuichi, primary, Katsumata, Shin-ya, additional, Hu, Nick, additional, Klin, Bartek, additional, and Hasuo, Ichiro, additional
Published: 2019
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results