search result

Cover von Bisimilar States in Uncertain Structures

Bisimilar States in Uncertain Structures

Year: 2023
Media group: LIPIcs
Cover von Coalgebraic Methods in Computer Science
15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25 - 26, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12094
Media group: MONOGRAPHIE
Cover von Separation and Renaming in Nominal Sets

Separation and Renaming in Nominal Sets

Year: 2020
Media group: LIPIcs
Cover von Expressive Logics for Coinductive Predicates

Expressive Logics for Coinductive Predicates

Year: 2020
Media group: LIPIcs
Cover von Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl)

Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl)

Year: 2025
Media group: LIPIcs
Cover von Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach

Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach

Year: 2025
Media group: LIPIcs
Cover von Preservation of Equations by Monoidal Monads

Preservation of Equations by Monoidal Monads

Year: 2020
Media group: LIPIcs
Cover von Monoidal Company for Accessible Functors

Monoidal Company for Accessible Functors

Year: 2017
Media group: LIPIcs
Cover von Relational Connectors and Heterogeneous Simulations
article in Foundations of Software Science and Computation Structures 2025
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691 : article
Media group: ARTICLE
Cover von Behavioural Metrics and Quantitative Logics; 10
pp. 58-75
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0