| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lawrence S. Moss, Victoria Noquez |
Corecursive Algebras in Nature.  |
CMCS  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Tomas Jakl, Thomas Paine |
Discrete Density Comonads and Graph Parameters. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Pous, Jurriaan Rot, Ruben Turkenburg |
Corecursion Up-to via Causal Transformations. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Frank 0002, Stefan Milius, Henning Urbat |
Coalgebraic Semantics for Nominal Automata. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Stick Breaking, in Coalgebra and Probability. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001 |
A Categorical Framework for Learning Generalised Tree Automata. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
Algebraic Presentation of Semifree Monads. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Peter Gumm, Mona Taheri |
Saturated Kripke Structures as Vietoris Coalgebras. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Fabio Zanasi (eds.) |
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 |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Barbara König 0001, Sebastian Küpper, Christina Mika-Michalski |
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Komorida |
Injective Objects and Fibered Codensity Liftings. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot |
Duality for Instantial Neighbourhood Logic via Coalgebra. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Peter Gumm |
Free-Algebra Functors from a Coalgebraic Perspective. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001, Christina Mika-Michalski, Lutz Schröder |
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Sam Staton |
De Finetti's Construction as a Categorical Limit. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelios Tsampas 0001, Andreas Nuyts, Dominique Devriese, Frank Piessens |
A Categorical Approach to Secure Compilation. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Petrisan, Jurriaan Rot (eds.) |
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 |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanaël Fijalkow |
The Theory of Universal Graphs for Games: Past and Future. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek |
Approximate Coalgebra Homomorphisms and Approximate Solutions. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerco van Heerdt, Matteo Sammartino, Alexandra Silva 0001 |
Learning Automata with Side-Effects. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Zamdzhiev |
Semantics for First-Order Affine Inductive Data Types via Slice Categories. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger 0001, Anton Setzer |
Undecidability of Equality for Codata Types. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Natsuki Urabe, Ichiro Hasuo |
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo |
Fibrational Bisimulations and Quantitative Reasoning. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke |
Coalgebraic Logics & Duality. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Milius, Jirí Adámek, Henning Urbat |
On Algebras with Effectful Iteration. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Paul Blain Levy, Jurriaan Rot |
Steps and Traces. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea (eds.) |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Muzamil Yahia |
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Makoto Tatsuta |
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss |
Long-Term Values in Markov Decision Processes, (Co)Algebraically. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Nihil Shah |
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Goy 0002, Jurriaan Rot |
(In)finite Trace Equivalence of Probabilistic Transition Systems. |
CMCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist |
Coalgebraic Completeness-via-Canonicity - Principles and Applications. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel 0001 |
Compositional Coinduction with Sized Types. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Octavian Babus, Alexander Kurz 0001 |
On the Logic of Generalised Metric Spaces. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot |
Duality of Equations and Coequations via Contravariant Adjunctions. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Winter |
Product Rules and Distributive Laws. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ievgen Ivanov |
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek |
Fixed Points of Functors - A Short Abstract. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sprunger |
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, John Power |
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
Relational Lattices via Duality. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Affine Monads and Side-Effect-Freeness. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Pawel Sobocinski 0001, Fabio Zanasi |
Lawvere Categories as Composed PROPs. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Zarrad, H. Peter Gumm |
Transitivity and Difunctionality of Bisimulations. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo (eds.) |
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 |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina Lenisa |
Coalgebraic Multigames. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Baltasar Trancón y Widemann, Michael Hauhs |
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo |
Generic Weakest Precondition Semantics from Monads Enriched with Order. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat |
Canonical Nondeterministic Automata. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Kerstan, Barbara König 0001, Bram Westerbaan |
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Enqvist, Joshua Sack |
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Dijkstra Monads in Monadic Computation. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue (eds.) |
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 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Stefan Milius, Alexandra Silva 0001, Fabio Zanasi |
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Brengos |
On Coalgebras with Internal Moves. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Peter Gumm, Mehdi Zarrad |
Coalgebraic Simulations and Congruences. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Baltasar Trancón y Widemann |
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl |
Categories of Coalgebras with Monadic Homomorphisms. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Picard, Ralph Matthes |
Permutations in Coinductive Graph Representation. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic |
Tracing the Man in the Middle in Monoidal Categories. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Wilkinson |
Internal Models for Coalgebraic Modal Logics. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Alexandra Silva 0001, Ana Sokolova |
Trace Semantics via Determinization. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz 0001, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski 0001 |
Relational Presheaves as Labelled Transition Systems. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftherios Matsikoudis, Edward A. Lee |
From Transitions to Executions. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Marino Miculan |
Structural Operational Semantics for Continuous State Probabilistic Processes. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter |
Defining Context-Free Power Series Coalgebraically. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder (eds.) |
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Yde Venema |
Stream Automata Are Coalgebras. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Marti, Yde Venema |
Lax Extensions of Coalgebra Functors. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
On Finitary Functors and Their Presentations. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Jonathan A. Zvesper |
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Clemens Kupke |
Preface. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu, Varmo Vene |
Comonadic Notions of Computation. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Andres Leal |
Predicate Liftings Versus Nabla Modalities. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Badouel, Maurice Tchoupé Tchendji |
Merging Hierarchically-Structured Documents in Workflow Systems. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Mehrnoosh Sadrzadeh |
Modular Games for Coalgebraic Fixed Point Logics. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Egbert Fohry |
On Products of Transition Systems. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Ugo Montanari |
A Name Abstraction Functor for Named Sets. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schwencke |
Coequational Logic for Finitary Functors. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz 0001, Daniela Petrisan |
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bertot, Ekaterina Komendantskaya |
Inductive and Coinductive Components of Corecursive Functions in Coq. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Jan J. M. M. Rutten |
Observational Coalgebras and Complete Sets of Co-operations. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Admissibility of Cut in Coalgebraic Logics. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen |
Coalgebraising Subsequential Transducers. |
CMCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Clemens Kupke (eds.) |
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008 |
CMCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul Blain Levy |
Infinitary Howe's Method. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, Peter G. Hancock, Dirk Pattinson |
Continuous Functions on Final Coalgebras. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki |
A Coalgebraic Representation of Reduction by Cone of Influence. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
How Iterative are Iterative Algebras? |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingyun Luo |
An Effective Coalgebraic Bisimulation Proof Method. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Cancila, Furio Honsell, Marina Lenisa |
Some Properties and Some Problems on Set Functors. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova |
Generic Trace Theory. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea |
Modularity in Coalgebra. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, John Power |
Preface. |
CMCS |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license