Search results for "coalgebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
125	Andrea Corradini 0001, Reiko Heckel, Ugo Montanari	Tile Transition Systems as Structured Coalgebras.	FCT	1999	DBLP DOI BibTeX RDF
110	H. Peter Gumm	On Minimal Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B20, 68Q85, 16W30
95	Christian Lomp, Virgínia Rodrigues	Covering Coalgebras and Dual Non-singularity.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16S90, 16W30
80	Ranald Clouston, Robert Goldblatt	Covarieties of Coalgebras: Comonads and Coequations.	ICTAC	2005	DBLP DOI BibTeX RDF
75	Marcello M. Bonsangue, Alexander Kurz 0001	Duality for Logics of Transition Systems.	FoSSaCS	2005	DBLP DOI BibTeX RDF
65	Robert Wisbauer	Algebras Versus Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30
65	Uwe Wolter	Cofree Coalgebras for Signature Morphisms.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
51	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
50	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
50	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	A Kleene Theorem for Polynomial Coalgebras.	FoSSaCS	2009	DBLP DOI BibTeX RDF
45	Clemens Kupke, Raul Andres Leal	Characterising Behavioural Equivalence: Three Sides of One Coin.	CALCO	2009	DBLP DOI BibTeX RDF
45	Imre Bálint	Scalar Extension of Bicoalgebroids.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 16W30, Secondary 16S40, 18C15, 18D10
45	Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova	The Microcosm Principle and Concurrency in Coalgebra.	FoSSaCS	2008	DBLP DOI BibTeX RDF
45	Filippo Bonchi, Ugo Montanari	Coalgebraic Models for Reactive Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
45	Bart Jacobs 0001	Exercises in Coalgebraic Specification.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
35	Christoph Schubert	Terminal Coalgebras for Measure-Polynomial Functors.	TAMC	2009	DBLP DOI BibTeX RDF
35	Hans-E. Porst	Fundamental Constructions for Coalgebras, Corings, and Comodules.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 16W30, Secondary 18C05
35	Alexander Kurz 0001, Jirí Rosický	The Goldblatt-Thomason Theorem for Coalgebras.	CALCO	2007	DBLP DOI BibTeX RDF
35	Miodrag-Cristian Iovanov	The Splitting Problem for Coalgebras: A Direct Approach.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16W30, 16S90, 16Lxx, 16Nxx, 18E40
35	Ignacio D. Viglizzo	Final Sequences and Final Coalgebras for Measurable Spaces.	CALCO	2005	DBLP DOI BibTeX RDF
35	Dirk Pattinson	Translating Logics for Coalgebras.	WADT	2002	DBLP DOI BibTeX RDF
35	Thorsten Altenkirch	Representations of First Order Function Types as Terminal Coalgebras.	TLCA	2001	DBLP DOI BibTeX RDF
35	Dirk Pattinson	Semantical Principles in the Modal Logic of Coalgebras.	STACS	2001	DBLP DOI BibTeX RDF
30	Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	Deriving Syntax and Axioms for Quantitative Regular Behaviours.	CONCUR	2009	DBLP DOI BibTeX RDF
30	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF
30	Christian Kissig, Yde Venema	Complementation of Coalgebra Automata.	CALCO	2009	DBLP DOI BibTeX RDF
30	Sam Staton	Relating Coalgebraic Notions of Bisimulation.	CALCO	2009	DBLP DOI BibTeX RDF
30	Milad Niqui	Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.	TYPES	2008	DBLP DOI BibTeX RDF	Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
30	Lutz Schröder, Dirk Pattinson	Rank-1 Modal Logics Are Coalgebraic.	STACS	2007	DBLP DOI BibTeX RDF
30	Jan J. M. M. Rutten	Coalgebraic Foundations of Linear Systems.	CALCO	2007	DBLP DOI BibTeX RDF
30	Marcello M. Bonsangue, Alexander Kurz 0001	Presenting Functors by Operations and Equations.	FoSSaCS	2006	DBLP DOI BibTeX RDF
30	Clemens Kupke, Yde Venema	Closure Properties of Coalgebra Automata.	LICS	2005	DBLP DOI BibTeX RDF
30	Gordon D. Plotkin	Adequacy for Algebraic Effects with State.	CALCO	2005	DBLP DOI BibTeX RDF
30	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
30	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
30	Roy L. Crole	Introduction.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
30	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
30	Jan J. M. M. Rutten, Daniele Turi	On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.	REX Workshop	1992	DBLP DOI BibTeX RDF	final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
20	Fosco Loregiàn	Automata and coalgebras in categories of species.	CoRR	2024	DBLP DOI BibTeX RDF
20	Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild	Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.	STACS	2024	DBLP DOI BibTeX RDF
20	Ezra Schoen, Jade Master, Clemens Kupke	Beyond Initial Algebras and Final Coalgebras.	CoRR	2023	DBLP DOI BibTeX RDF
20	Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild	Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.	CoRR	2023	DBLP DOI BibTeX RDF
20	Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing	Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.	CoRR	2023	DBLP DOI BibTeX RDF
20	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Shailendra Singh 0005, S. P. Tiwari, Sutapa Mahato	On L-fuzzy automata, coalgebras and dialgebras: Associated categories and L-fuzzy topologies.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Sutapa Mahato, S. P. Tiwari	On the Categories of Coalgebras, Dialgebras and Powerset Theory over L-Fuzzy Approximation Spaces.	IJCCI	2023	DBLP DOI BibTeX RDF
20	Harald König, Uwe Wolter, Tim Kräuter	Structural Operational Semantics for Heterogeneously Typed Coalgebras.	CALCO	2023	DBLP DOI BibTeX RDF
20	Toby St Clere Smithe	Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing.	ACT	2022	DBLP DOI BibTeX RDF
20	Heinz-Peter Gumm, Mona Taheri	Saturated Kripke Structures as Vietoris Coalgebras.	CoRR	2022	DBLP BibTeX RDF
20	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	Duality for powerset coalgebras.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Marta Bílková, Matej Dostál	Moss' logic for ordered coalgebras.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
20	Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001	Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.	ACM Trans. Program. Lang. Syst.	2022	DBLP DOI BibTeX RDF
20	H. Peter Gumm, Mona Taheri	Saturated Kripke Structures as Vietoris Coalgebras.	CMCS	2022	DBLP DOI BibTeX RDF
20	Harsh Beohar, Barbara König 0001, Sebastian Küpper, Christina Mika-Michalski	Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.	CMCS	2022	DBLP DOI BibTeX RDF
20	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	CoRR	2021	DBLP BibTeX RDF
20	Harsh Beohar, Barbara König 0001, Sebastian Küpper, Christina Mika-Michalski	Coalgebraic modal logic and games for coalgebras with side effects.	CoRR	2021	DBLP BibTeX RDF
20	Cyrille Nganteu Tchikapa, Maurice Kianpi, Célestin Lélé	On MV-coalgebras over the category of BL-algebras.	Soft Comput.	2021	DBLP DOI BibTeX RDF
20	Shailendra Singh 0005, S. P. Tiwari	On the category of L-fuzzy automata, coalgebras and dialgebras.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
20	Jirí Adámek, Stefan Milius, Henning Urbat	On the behaviour of coalgebras with side effects and algebras with effectful iteration.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
20	Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001	Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.	ESOP	2021	DBLP DOI BibTeX RDF
20	Bryce Clarke	Delta Lenses as Coalgebras for a Comonad.	STAF Workshops	2021	DBLP BibTeX RDF
20	James Clift, Daniel Murfet	Cofree coalgebras and differential linear logic.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Dirk Hofmann, Pedro Nora	Hausdorff Coalgebras.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
20	Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001	Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.	CoRR	2020	DBLP BibTeX RDF
20	Joël A. Doat	Towards Coalgebras in Stylometry.	CoRR	2020	DBLP BibTeX RDF
20	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	Coalgebras for the powerset functor and Thomason duality.	CoRR	2020	DBLP BibTeX RDF
20	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Well-Founded and Recursive Coalgebras.	FoSSaCS	2020	DBLP DOI BibTeX RDF
20	J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright	Tangent Categories from the Coalgebras of Differential Categories.	CSL	2020	DBLP DOI BibTeX RDF
20	Dirk Hofmann, Renato Neves, Pedro Nora	Limits in categories of Vietoris coalgebras.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
20	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Well-Founded and Recursive Coalgebras.	CoRR	2019	DBLP BibTeX RDF
20	Marta Bílková, Matej Dostál	Moss' logic for ordered coalgebras.	CoRR	2019	DBLP BibTeX RDF
20	Stefan Milius, Jirí Adámek, Henning Urbat	On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration.	CoRR	2019	DBLP BibTeX RDF
20	Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo	Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.	FoSSaCS	2019	DBLP DOI BibTeX RDF
20	Jirí Adámek	On Terminal Coalgebras Derived from Initial Algebras.	CALCO	2019	DBLP DOI BibTeX RDF
20	David Sprunger	A complete logic for behavioural equivalence in coalgebras of finitary set functors.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
20	Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin	Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies.	MFPS	2018	DBLP DOI BibTeX RDF
20	Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo	Path category for free - Open morphisms from coalgebras with non-deterministic branching.	CoRR	2018	DBLP BibTeX RDF
20	Sebastian Enqvist, Sumit Sourabh	Bisimulations for coalgebras on Stone spaces.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
20	Barbara König 0001, Christina Mika-Michalski	(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.	CONCUR	2018	DBLP DOI BibTeX RDF
20	Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva 0001	Well-founded coalgebras, revisited.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
20	Volodymyr Lyubashenko	Curved Homotopy Coalgebras.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
20	Dusko Pavlovic, Peter-Michael Seidel	Quotients in monadic programming: Projective algebras are equivalent to coalgebras.	CoRR	2017	DBLP BibTeX RDF
20	Harsh Beohar, Sebastian Küpper	On path-based coalgebras and weak notions of bisimulation.	CoRR	2017	DBLP BibTeX RDF
20	Barbara König 0001, Christina Mika	Bisimulation Games on Coalgebras.	CoRR	2017	DBLP BibTeX RDF
20	James Clift, Daniel Murfet	Cofree coalgebras and differential linear logic.	CoRR	2017	DBLP BibTeX RDF
20	Ernst-Erich Doberkat	Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial.	CoRR	2017	DBLP BibTeX RDF
20	Ernst-Erich Doberkat	Using coalgebras and the Giry monad for interpreting game logics - a tutorial.	Frontiers Comput. Sci.	2017	DBLP DOI BibTeX RDF
20	Wolfram Kahl	Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras.	RAMiCS	2017	DBLP DOI BibTeX RDF
20	Dusko Pavlovic, Peter-Michael Seidel	Quotients in monadic programming: Projective algebras are equivalent to coalgebras.	LICS	2017	DBLP DOI BibTeX RDF
20	Harsh Beohar, Sebastian Küpper	On Path-Based Coalgebras and Weak Notions of Bisimulation.	CALCO	2017	DBLP DOI BibTeX RDF
20	Dirk Hofmann, Renato Neves, Pedro Nora	Limits in Categories of Vietoris Coalgebras.	CoRR	2016	DBLP BibTeX RDF
20	David Sprunger	A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.	CMCS	2016	DBLP DOI BibTeX RDF
20	Renato Neves, Luís Soares Barbosa	Hybrid Automata as Coalgebras.	ICTAC	2016	DBLP DOI BibTeX RDF
20	Wenjuan Chen	Characterizations of coalgebras in terms of interval valued (α, β)-fuzzy subcoalgebras.	ICNC-FSKD	2016	DBLP DOI BibTeX RDF
20	Ichiro Hasuo	Coalgebras and Higher-Order Computation: a GoI Approach.	FSCD	2016	DBLP DOI BibTeX RDF
20	Tomasz Brengos, Marino Miculan, Marco Peressotti	Behavioural equivalences for coalgebras with unobservable moves.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
20	Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu	Bisimulation proof methods in a path-based specification language for polynomial coalgebras.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
20	Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa	On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
20	Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten	Context-free coalgebras.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF