Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Bertfried Fauser, Dusko Pavlovic |
Smooth coalgebra: testing vector analysis. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
23 | Baltasar Trancón y Widemann |
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
23 | John Power, Cai Wingfield (eds.) |
Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013 |
WACT |
2014 |
DBLP BibTeX RDF |
|
23 | Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter |
A Final Coalgebra for k-regular Sequences. |
Horizons of the Mind |
2014 |
DBLP DOI BibTeX RDF |
|
23 | |
An algebraic approach to weak and delay bismulation in coalgebra |
CoRR |
2013 |
DBLP BibTeX RDF |
|
23 | 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 |
|
23 | Sebastian Kerkhoff, Reinhard Pöschel, Friedrich Martin Schneider |
A Short Introduction to Clones. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Martin Hyland |
Towards a Notion of Lambda Monoid. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Friedrich Martin Schneider |
Chaotic Actions of Locally Compact Hausdorff Topological Groups. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | John Power, Cai Wingfield |
Preface. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mike Behrisch |
Clones with Nullary Operations. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Kerkhoff |
Dualizing Clones as Models of Lawvere Theories. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ekaterina Komendantskaya, Martin Schmidt 0002, Jónathan Heras |
Exploiting Parallelism in Coalgebraic Logic Programming. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sam Staton |
Freyd categories are Enriched Lawvere Theories. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Cynthia Vera Glodeanu |
Exploring Users' Preferences in a Fuzzy Setting. |
WACT |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Fabio Zanasi |
Saturated Semantics for Coalgebraic Logic Programming. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
Positive Inductive-Recursive Definitions. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Gorín, Lutz Schröder |
Simulations and Bisimulations for Coalgebraic Modal Logics. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Marsden |
Coalgebras with Symmetries and Modelling Quantum Systems. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Robert Furber, Bart Jacobs 0001 |
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Renato Neves, Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Hybridisation at Work. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001 |
Nets, Relations and Linking Diagrams. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Joost Winter |
QStream: A Suite of Streams. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Alexandra Silva 0001, Bram Westerbaan |
A Coalgebraic View of ε-Transitions. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu, Till Mossakowski, Christian Maeder |
Checking Conservativity with Hets. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Andrej Bauer, Matija Pretnar |
An Effect System for Algebraic Effects and Handlers. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Positive Fragments of Coalgebraic Logics. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coalgebraic Up-to Techniques. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001, Owen Stephens |
Penrose: Putting Compositionality to Work for Petri Net Reachability. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Sergey Goncharov 0001 |
Trace Semantics via Generic Observations. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ionut Tutu, José Luiz Fiadeiro |
A Logic-Programming Semantics of Services. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Enqvist |
Homomorphisms of Coalgebras from Predicate Liftings. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Vincenzo Ciancia |
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Yoshihiro Maruyama |
From Operational Chu Duality to Coalgebraic Quantum Symmetry. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mikolaj Bojanczyk |
Automata and Algebras for Infinite Words and Trees. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz 0001, Jurriaan Rot |
Presenting Distributive Laws. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Gâinâ, Min Zhang 0002, Yuki Chiba, Yasuhito Arimoto |
Constructor-Based Inductive Theorem Prover. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Tom Hirschowitz |
Full Abstraction for Fair Testing in CCS. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Muhammad Fadlisyah, Peter Csaba Ölveczky |
The HI-Maude Tool. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Lutz Schröder |
Preface to CALCO-Tools. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Lescanne |
A Simple Case of Rationality of Escalation. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Marta Bílková, Matej Dostál |
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey R. Schmidt |
From Coalgebra to Bialgebra for the Six-Vertex Model: The Star-Triangle Relation as a Necessary Condition for Commuting Transfer Matrices. |
Axioms |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann |
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra |
CoRR |
2012 |
DBLP BibTeX RDF |
|
23 | Johannes Marti, Yde Venema |
Lax Extensions of Coalgebra Functors. |
CMCS |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Clemens Kupke, Jan J. M. M. Rutten |
On the Final Coalgebra of Automatic Sequences. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Lutz Schröder, Dirk Pattinson |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. |
Math. Struct. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Nick Bezhanishvili, Mai Gehrke |
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra |
Log. Methods Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Facundo Domínguez, Alberto Pardo |
Exploiting algebra/coalgebra duality for program fusion extensions. |
LDTA |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Lawrence S. Moss |
Connections of coalgebra and semantic modeling. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | 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 |
|
23 | Dorel Lucanu |
Preface to CALCO-Tools. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002 |
Tool Interoperability in the Maude Formal Environment. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
Abstract Local Reasoning for Program Modules. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Clément Fumex, Neil Ghani, Patricia Johann |
Indexed Induction and Coinduction, Fibrationally. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Sergey Goncharov 0001, Lutz Schröder |
A Counterexample to Tensorability of Effects. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Giorgio Bacci, Vincent Danos, Ohad Kammar |
On the Statistical Thermodynamics of Reversible Communicating Processes. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea |
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Camilo Rocha, José Meseguer 0001 |
Proving Safety Properties of Rewrite Theories. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek, Mahdieh Haddadi, Stefan Milius |
From Corecursive Algebras to Corecursive Monads. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Marta Bílková, Alexander Kurz 0001, Daniela Petrisan, Jirí Velebil |
Relation Liftings on Preorders and Posets. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Fredrik Dahlqvist, Dirk Pattinson |
On the Fusion of Coalgebraic Logics. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
Stone Duality for Nominal Boolean Algebras with И. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Javier Esparza, Michael Luttenberger |
Solving Fixed-Point Equations by Derivation Tree Analysis. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jennifer Lantair, Pawel Sobocinski 0001 |
WiCcA : LTS Generation Tool for Wire Calculus. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Musab AlTurki, José Meseguer 0001 |
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Ekaterina Komendantskaya, John Power |
Coalgebraic Semantics for Derivations in Logic Programming. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | André Martins, Luís Soares Barbosa, Nuno F. Rodrigues |
Shacc: A Functional Prototyper for a Component Calculus. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Manuel A. Martins 0001, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa |
Hybridization of Institutions. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
Bases as Coalgebras. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jort Bergfeld, Yde Venema |
Model Constructions for Moss' Coalgebraic Logic. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
A Categorical Semantics for Inductive-Inductive Definitions. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann, Michael Hauhs |
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Rasmus Ejlers Møgelberg, Sam Staton |
Linearly-Used State in Models of Call-by-Value. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Katsuhiko Sano |
Generalized Product of Coalgebraic Hybrid Logics. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu, Till Mossakowski |
Refinement Trees: Calculi, Tools, and Applications. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001 |
Finitary Functors: From Set to Preord and Poset. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Context-Free Languages, Coalgebraically. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ichiro Hasuo |
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Michael Hauhs, Baltasar Trancón y Widemann |
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. |
CMCS@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kurz 0001, Alessandra Palmigiano, Yde Venema |
Coalgebra and Logic: A Brief Overview. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kurz 0001, Marina Lenisa, Andrzej Tarlecki (eds.) |
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Robert Atkey |
Algebras for Parameterised Monads. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | M. Andrew Moshier, Daniela Petrisan |
A Duality Theorem for Real C* Algebras. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
Non-strongly Stable Orders Also Define Interesting Simulation Relations. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Tobias Heindel, Pawel Sobocinski 0001 |
Van Kampen Colimits as Bicolimits in Span. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Conor McBride |
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian S. Bauer, Rolf Hennicker |
Views on Behaviour Protocols and Their Semantic Foundation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mai Gehrke |
Stone Duality and the Recognisable Languages over an Algebra. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|