CMCS

Keyphrases

Publications

2022

H. Peter Gumm, Mona Taheri
Saturated Kripke Structures as Vietoris Coalgebras. CMCS (2022)
Lawrence S. Moss, Victoria Noquez
Corecursive Algebras in Nature. CMCS (2022)
Florian Frank, Stefan Milius, Henning Urbat
Coalgebraic Semantics for Nominal Automata. CMCS (2022)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CMCS (2022)
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CMCS (2022)
Samson Abramsky, Tomás Jakl, Thomas Paine
Discrete Density Comonads and Graph Parameters. CMCS (2022)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS (2022)
Damien Pous, Jurriaan Rot, Ruben Turkenburg
Corecursion Up-to via Causal Transformations. CMCS (2022)
Bart Jacobs
Stick Breaking, in Coalgebra and Probability. CMCS (2022)

volume 13225, 2022

Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings CMCS 13225 (2022)

2020

volume 12094, 2020

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 CMCS 12094 (2020)

2018

volume 11202, 2018

Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers CMCS 11202 (2018)

2016

volume 9608, 2016

Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers CMCS 9608 (2016)

2014

Baltasar Trancón y Widemann, Michael Hauhs
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. CMCS (2014)

volume 8446, 2014

Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers CMCS 8446 (2014)