Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Henning Basold, Damien Pous, Jurriaan Rot |
Monoidal Company for Accessible Functors. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Henning Urbat |
Syntactic Monoids in a Category. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Tutu, José Luiz Fiadeiro |
Revisiting the Institutional Approach to Herbrand's Theorem. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Marti, Fatemeh Seifan, Yde Venema |
Uniform Interpolation for Coalgebraic Fixpoint Logic. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Final Coalgebras from Corecursive Algebras. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kurz 0001, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, List of Authors. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg, Axel Legay |
Partial Higher-dimensional Automata. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 |
Towards Trace Metrics via Functor Lifting. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Beata Nachyla |
Presenting Morphisms of Distributive Laws. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
A Recipe for State-and-Effect Triangles. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An Intensionally Fully-abstract Sheaf Model for pi. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aleks Kissinger, David Quick |
A First-order Logic for String Diagrams. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss, Pawel Sobocinski 0001 (eds.) |
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands |
CALCO |
2015 |
DBLP BibTeX RDF |
|
1 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Codensity Liftings of Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
Open System Categorical Quantum Semantics in Natural Language Processing. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Ichiro Hasuo |
Coalgebraic Infinite Traces and Kleisli Simulations. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Toshiki Kataoka, Dusko Pavlovic |
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea |
Canonical Coalgebraic Linear Time Logics. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Dirk Pattinson, Lutz Schröder |
Generic Trace Semantics and Graded Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extensions of Functors From Set to V-cat. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Nicolas Wu, Jeremy Gibbons |
Modules Over Monads and Their Algebras. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Liang-Ting Chen 0001, Henning Urbat |
A Fibrational Approach to Automata Theory. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Zanasi |
Saturated Semantics for Coalgebraic Logic Programming. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
Positive Inductive-Recursive Definitions. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gorín, Lutz Schröder |
Simulations and Bisimulations for Coalgebraic Modal Logics. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Marsden |
Coalgebras with Symmetries and Modelling Quantum Systems. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Furber, Bart Jacobs 0001 |
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Renato Neves, Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Hybridisation at Work. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Sobocinski 0001 |
Nets, Relations and Linking Diagrams. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joost Winter |
QStream: A Suite of Streams. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001, Bram Westerbaan |
A Coalgebraic View of ε-Transitions. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Till Mossakowski, Christian Maeder |
Checking Conservativity with Hets. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Matija Pretnar |
An Effect System for Algebraic Effects and Handlers. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Positive Fragments of Coalgebraic Logics. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
Coalgebraic Up-to Techniques. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Sobocinski 0001, Owen Stephens |
Penrose: Putting Compositionality to Work for Petri Net Reachability. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001 |
Trace Semantics via Generic Observations. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Stefan Milius (eds.) |
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Tutu, José Luiz Fiadeiro |
A Logic-Programming Semantics of Services. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Enqvist |
Homomorphisms of Coalgebras from Predicate Liftings. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia |
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Maruyama |
From Operational Chu Duality to Coalgebraic Quantum Symmetry. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Automata and Algebras for Infinite Words and Trees. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz 0001, Jurriaan Rot |
Presenting Distributive Laws. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gâinâ, Min Zhang 0002, Yuki Chiba, Yasuhito Arimoto |
Constructor-Based Inductive Theorem Prover. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tom Hirschowitz |
Full Abstraction for Fair Testing in CCS. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Fadlisyah, Peter Csaba Ölveczky |
The HI-Maude Tool. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder |
Preface to CALCO-Tools. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
A Simple Case of Rationality of Escalation. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Matej Dostál |
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu |
Preface to CALCO-Tools. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002 |
Tool Interoperability in the Maude Formal Environment. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Bartek Klin, Corina Cîrstea (eds.) |
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
Abstract Local Reasoning for Program Modules. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Clément Fumex, Neil Ghani, Patricia Johann |
Indexed Induction and Coinduction, Fibrationally. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
A Counterexample to Tensorability of Effects. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Vincent Danos, Ohad Kammar |
On the Statistical Thermodynamics of Reversible Communicating Processes. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea |
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Camilo Rocha, José Meseguer 0001 |
Proving Safety Properties of Rewrite Theories. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Mahdieh Haddadi, Stefan Milius |
From Corecursive Algebras to Corecursive Monads. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Alexander Kurz 0001, Daniela Petrisan, Jirí Velebil |
Relation Liftings on Preorders and Posets. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Dirk Pattinson |
On the Fusion of Coalgebraic Logics. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
Stone Duality for Nominal Boolean Algebras with И. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Michael Luttenberger |
Solving Fixed-Point Equations by Derivation Tree Analysis. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Lantair, Pawel Sobocinski 0001 |
WiCcA : LTS Generation Tool for Wire Calculus. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Musab AlTurki, José Meseguer 0001 |
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
Infinite Computation, Co-induction and Computational Logic. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, John Power |
Coalgebraic Semantics for Derivations in Logic Programming. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André Martins, Luís Soares Barbosa, Nuno F. Rodrigues |
Shacc: A Functional Prototyper for a Component Calculus. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel A. Martins 0001, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa |
Hybridization of Institutions. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Bases as Coalgebras. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jort Bergfeld, Yde Venema |
Model Constructions for Moss' Coalgebraic Logic. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
A Categorical Semantics for Inductive-Inductive Definitions. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Michael Hauhs |
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Ejlers Møgelberg, Sam Staton |
Linearly-Used State in Models of Call-by-Value. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano |
Generalized Product of Coalgebraic Hybrid Logics. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Till Mossakowski |
Refinement Trees: Calculi, Tools, and Applications. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Balan, Alexander Kurz 0001 |
Finitary Functors: From Set to Preord and Poset. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Context-Free Languages, Coalgebraically. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo |
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing |
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Algebras for Parameterised Monads. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kissig, Yde Venema |
Complementation of Coalgebra Automata. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | M. Andrew Moshier, Daniela Petrisan |
A Duality Theorem for Real C* Algebras. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Raul Andres Leal |
Characterising Behavioural Equivalence: Three Sides of One Coin. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
Non-strongly Stable Orders Also Define Interesting Simulation Relations. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans Bruun, Dion Coumans, Mai Gehrke |
Distributive Lattice-Structured Ontologies. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Heindel, Pawel Sobocinski 0001 |
Van Kampen Colimits as Bicolimits in Span. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Conor McBride |
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Rolf Hennicker |
Views on Behaviour Protocols and Their Semantic Foundation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|