Shin-ya Katsumata

Available identifiers

zbMath Open katsumata.shin-yaMaRDI QIDQ1652970

List of research outcomes

Publication	Date of Publication	Type
Divergences on monads for relational program logics	2024-03-05	Paper
Control-data separation and logical condition propagation for efficient inference on probabilistic programs	2024-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q6134267	2023-08-21	Paper
Weakest preconditions in fibrations	2022-12-20	Paper
Relational Differential Dynamic Logic	2022-10-13	Paper
Stone Dualities from Opfibrations	2022-08-30	Paper
On inverse operators in dynamic epistemic logic	2022-07-01	Paper
Stone dualities from opfibrations	2022-05-25	Paper
Weakest preconditions in fibrations	2022-04-29	Paper
Architecture-guided test resource allocation via logic	2022-03-21	Paper
Fibrational bisimulations and quantitative reasoning: Extended version	2021-10-21	Paper
Generalized bounded linear logic and its categorical semantics	2021-10-18	Paper
Graded Hoare logic and its categorical semantics	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4986735	2021-04-27	Paper
Interaction Laws of Monads and Comonads	2021-01-21	Paper
A coalgebraic view on reachability	2020-03-06	Paper
Path category for free. Open morphisms from coalgebras with non-deterministic branching	2020-01-28	Paper
Relational differential dynamic logic	2019-10-22	Paper
Differentiable Causal Computations via Delayed Trace	2019-03-04	Paper
A Coalgebraic View on Reachability	2019-01-30	Paper
Codensity Lifting of Monads and its Dual	2018-11-02	Paper
Fibrational bisimulations and quantitative reasoning	2018-10-23	Paper
A double category theoretic analysis of graded linear exponential comonads	2018-07-17	Paper
A semantic account of metric preservation	2017-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5275349	2017-07-11	Paper
Combining effects and coeffects via grading	2017-05-10	Paper
Towards a Formal Theory of Graded Monads	2016-06-10	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement	2015-08-03	Paper
Parametric effect monads and semantics of effect systems	2014-04-10	Paper
Relating computational effects by \(\top \top \)-lifting	2013-06-06	Paper
Preorders on Monads and Coalgebraic Simulations	2013-03-18	Paper
Relating Computational Effects by ⊤ ⊤-Lifting	2011-07-07	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories	2010-01-28	Paper
Algebraic fusion of functions with an accumulating parameter and its improvement	2008-12-18	Paper
A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators	2008-11-20	Paper
Attribute Grammars and Categorical Semantics	2008-08-19	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Computer Science Logic	2006-11-01	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q2763683	2002-01-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shin-ya Katsumata