Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot |
Duality for Instantial Neighbourhood Logic via Coalgebra. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek |
Approximate Coalgebra Homomorphisms and Approximate Solutions. |
CMCS |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
Coalgebra Learning via Duality. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
23 | Tomasz Brengos, Marco Peressotti |
Two modes of recognition: algebra, coalgebra, and languages. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
23 | Michele Boreale |
Algebra, coalgebra, and minimization in polynomial differential equations. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Pacaud Lemay |
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
Coalgebra Learning via Duality. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Michele Boreale |
On the Coalgebra of Partial Differential Equations. |
MFCS |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Markus Roggenbach, Ana Sokolova (eds.) |
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. |
CALCO |
2019 |
DBLP BibTeX RDF |
|
23 | Graham Campbell 0001, Brian Courtehoute, Detlef Plump |
Linear-Time Graph Algorithms in GP 2. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coinduction: Automata, Formal Proof, Companions (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nick Bezhanishvili, Jim de Groot, Yde Venema |
Coalgebraic Geometric Logic. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius |
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
The Axiom of Choice in Cartesian Bicategories. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek |
On Terminal Coalgebras Derived from Initial Algebras. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001 |
Tree Automata as Algebras: Minimisation and Determinisation. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Balco, Alexander Kurz 0001 |
Nominal String Diagrams. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu |
Hybridisation of Institutions in HETS (Tool Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tao Gu, Fabio Zanasi |
A Coalgebraic Perspective on Probabilistic Logic Programming. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Astrid Belder, Bas Luttik, Jos C. M. Baeten |
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Xiaohong Chen 0002, Grigore Rosu |
Matching mu-Logic: Foundation of K Framework (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Danel Ahman, Tarmo Uustalu |
Decomposing Comonad Morphisms. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Vincenzo Ciancia, Yde Venema |
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Stefano Gogioso |
A Diagrammatic Approach to Quantum Dynamics. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Marc de Visme, Glynn Winskel |
Causal Unfoldings. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001, Paul W. Wilson 0002, Fabio Zanasi |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Paul Blain Levy, Sergey Goncharov 0001 |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mehrnoosh Sadrzadeh |
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Lemay |
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | Xinxin Liu, Xiaofeng Wang |
A Representation Method and Optimization of Network Flow Based on Coalgebra. |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Pacaud Lemay |
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Dusko Pavlovic, Bertfried Fauser |
Smooth coalgebra: testing vector analysis. |
Math. Struct. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Michele Boreale |
Algebra, coalgebra, and minimization in polynomial differential equations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
23 | Ekaterina Komendantskaya, John Power (eds.) |
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. |
CoALP-Ty |
2017 |
DBLP BibTeX RDF |
|
23 | Michele Boreale |
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Barbara König 0001 (eds.) |
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia |
CALCO |
2017 |
DBLP BibTeX RDF |
|
23 | Zeinab Bakhtiarinoodeh |
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra. (La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre). |
|
2017 |
RDF |
|
23 | |
Front Matter, Table of Contents, Preface, List of Authors. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo |
Parity Automata for Quantitative Linear Time Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Colcombet, Daniela Petrisan |
Automata Minimization: a Functorial Approach. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Fatemeh Seifan, Lutz Schröder, Dirk Pattinson |
Uniform Interpolation in Coalgebraic Modal Logic. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Dan Marsden, Fabrizio Genovese |
Custom Hypergraph Categories via Generalized Relations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Brendan Fong, Fabio Zanasi |
A Universal Construction for (Co)Relations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Reutter, Jamie Vicary |
A Classical Groupoid Model for Quantum Networks. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Harsh Beohar, Sebastian Küpper |
On Path-Based Coalgebras and Weak Notions of Bisimulation. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alex Simpson |
Probability Sheaves and the Giry Monad. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius |
Proper Functors and their Rational Fixed Point. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz |
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Kenta Cho 0002, Bart Jacobs 0001 |
The EfProb Library for Probabilistic Calculations. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Tomas Jakl, Achim Jung |
Free Constructions and Coproducts of d-Frames. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | William John Gowers, James Laird |
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Zeinab Bakhtiari, Helle Hvid Hansen |
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Henning Urbat |
Finite Behaviours and Finitary Corecursion. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Ana Sokolova, Harald Woracek |
Termination in Convex Sets of Distributions. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Fredrik Dahlqvist, Alexander Kurz 0001 |
The Positivication of Coalgebraic Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Enqvist, Yde Venema |
Disjunctive Bases: Normal Forms for Modal Logics. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek, Stefan Milius |
On Corecursive Algebras for Functors Preserving Coproducts. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Reutter, Jamie Vicary |
A 2-Categorical Approach to Composing Quantum Structures. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Sprunger, Lawrence S. Moss |
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Harald König, Uwe Wolter |
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Knapp, Till Mossakowski |
UML Interactions Meet State Machines - An Institutional Approach. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Henning Basold, Damien Pous, Jurriaan Rot |
Monoidal Company for Accessible Functors. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
Introduction to Coalgebra: Towards Mathematics of States and Observation |
|
2016 |
DOI RDF |
|
23 | Bashar Igried, Anton Setzer |
Trace and Stable Failures Semantics for CSP-Agda. |
CoALP-Ty |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yue Li 0021 |
Structural Resolution with Co-inductive Loop Detection. |
CoALP-Ty |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya |
Structural Resolution for Abstract Compilation of Object-Oriented Languages. |
CoALP-Ty |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Extending Coinductive Logic Programming with Co-Facts. |
CoALP-Ty |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Marti, Yde Venema |
Lax extensions of coalgebra functors and their logic. |
J. Comput. Syst. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann, Michael Hauhs |
Scientific Modelling with Coalgebra-Algebra Homomorphisms. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
23 | Toshiki Kataoka, Dusko Pavlovic |
Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
23 | Prasit Bhattacharya |
The p-adic Integers as Final Coalgebra. |
WoLLIC |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coinductive techniques, from automata to coalgebra. |
PLMW@POPL |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva 0001 |
Nominal Kleene Coalgebra. |
ICALP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Jirí Adámek, Stefan Milius, Henning Urbat |
Syntactic Monoids in a Category. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ionut Tutu, José Luiz Fiadeiro |
Revisiting the Institutional Approach to Herbrand's Theorem. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Marti, Fatemeh Seifan, Yde Venema |
Uniform Interpolation for Coalgebraic Fixpoint Logic. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Paul Blain Levy |
Final Coalgebras from Corecursive Algebras. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | |
Front Matter, Table of Contents, Preface, List of Authors. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ulrich Fahrenberg, Axel Legay |
Partial Higher-dimensional Automata. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 |
Towards Trace Metrics via Functor Lifting. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Bartek Klin, Beata Nachyla |
Presenting Morphisms of Distributive Laws. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
A Recipe for State-and-Effect Triangles. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An Intensionally Fully-abstract Sheaf Model for pi. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Aleks Kissinger, David Quick |
A First-order Logic for String Diagrams. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Codensity Liftings of Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
Open System Categorical Quantum Semantics in Natural Language Processing. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Natsuki Urabe, Ichiro Hasuo |
Coalgebraic Infinite Traces and Kleisli Simulations. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea |
Canonical Coalgebraic Linear Time Logics. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius, Dirk Pattinson, Lutz Schröder |
Generic Trace Semantics and Graded Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extensions of Functors From Set to V-cat. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Maciej Piróg, Nicolas Wu, Jeremy Gibbons |
Modules Over Monads and Their Algebras. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Liang-Ting Chen 0001, Henning Urbat |
A Fibrational Approach to Automata Theory. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Algebra-coalgebra duality in Brzozowski's minimization algorithm. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Wolfram Kahl |
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|