Search results for "Coalgebra"

Hits ?▲	Authors	Title	Venue	Year	Link
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