| 2013 | A Coalgebraic View of ε-Transitions. Alexandra Silva, Bram Westerbaan |
| 2013 | A Logic-Programming Semantics of Services. Ionut Tutu, José Luiz Fiadeiro |
| 2013 | A Simple Case of Rationality of Escalation. Pierre Lescanne |
| 2013 | A Timed CTL Model Checker for Real-Time Maude. Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
| 2013 | Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings Reiko Heckel, Stefan Milius |
| 2013 | An Effect System for Algebraic Effects and Handlers. Andrej Bauer, Matija Pretnar |
| 2013 | Automata and Algebras for Infinite Words and Trees. Mikolaj Bojanczyk |
| 2013 | Checking Conservativity with Hets. Mihai Codescu, Till Mossakowski, Christian Maeder |
| 2013 | Coalgebraic Up-to Techniques. Damien Pous |
| 2013 | Coalgebras with Symmetries and Modelling Quantum Systems. Daniel Marsden |
| 2013 | Constructor-Based Inductive Theorem Prover. Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto |
| 2013 | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. Robert Furber, Bart Jacobs |
| 2013 | From Operational Chu Duality to Coalgebraic Quantum Symmetry. Yoshihiro Maruyama |
| 2013 | Full Abstraction for Fair Testing in CCS. Tom Hirschowitz |
| 2013 | Homomorphisms of Coalgebras from Predicate Liftings. Sebastian Enqvist |
| 2013 | Hybridisation at Work. Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa |
| 2013 | Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. Vincenzo Ciancia |
| 2013 | Many-Valued Relation Lifting and Moss' Coalgebraic Logic. Marta Bílková, Matej Dostál |
| 2013 | Nets, Relations and Linking Diagrams. Pawel Sobocinski |
| 2013 | Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. Andrei Popescu, Johannes Hölzl, Tobias Nipkow |
| 2013 | Penrose: Putting Compositionality to Work for Petri Net Reachability. Pawel Sobocinski, Owen Stephens |
| 2013 | Positive Fragments of Coalgebraic Logics. Adriana Balan, Alexander Kurz, Jirí Velebil |
| 2013 | Positive Inductive-Recursive Definitions. Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
| 2013 | Preface to CALCO-Tools. Lutz Schröder |
| 2013 | Presenting Distributive Laws. Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2013 | QStream: A Suite of Streams. Joost Winter |
| 2013 | Saturated Semantics for Coalgebraic Logic Programming. Filippo Bonchi, Fabio Zanasi |
| 2013 | Simulations and Bisimulations for Coalgebraic Modal Logics. Daniel Gorín, Lutz Schröder |
| 2013 | The HI-Maude Tool. Muhammad Fadlisyah, Peter Csaba Ölveczky |
| 2013 | Trace Semantics via Generic Observations. Sergey Goncharov |