Search results for "Coalgebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Lawrence C. Paulson	A Concrete Final Coalgebra Theorem for ZF Set Theory.	TYPES	1994	DBLP DOI BibTeX RDF
23	Peter Aczel, Nax Paul Mendler	A Final Coalgebra Theorem.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
23	William Graves	A Sheaf of Bicomodules over the Incidence Coalgebra.	J. Comb. Theory, Ser. A	1972	DBLP DOI BibTeX RDF
23	Robert Davis	Universal Coalgebra and Categories of Transition Systems.	Math. Syst. Theory	1970	DBLP DOI BibTeX RDF
22	Sun Meng, Luís Soares Barbosa	Towards the introduction of QoS information in a component model.	SAC	2010	DBLP DOI BibTeX RDF	QoS properties, component-based design, coalgebra
22	Samson Abramsky	Coalgebras, Chu Spaces, and Representations of Physical Systems.	LICS	2010	DBLP DOI BibTeX RDF	Chu spaces, representation of physical systems, categories, coalgebra, quantum mechanics
22	Stefan Milius	A Sound and Complete Calculus for Finite Stream Circuits.	LICS	2010	DBLP DOI BibTeX RDF	streams, regular expressions, linear systems, coalgebra, Kleene algebra
22	Luís Soares Barbosa, Sun Meng	QoS-aware Component Composition.	CISIS	2010	DBLP DOI BibTeX RDF	QoS, Component, Composition, Coalgebra
22	Lutz Schröder, Dirk Pattinson	PSPACE bounds for rank-1 modal logics.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Shallow models, resolution, coalgebra
22	Sun Meng, Luís Soares Barbosa	A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.	QSIC	2008	DBLP DOI BibTeX RDF	UML, Algebra, Sequence diagram, Coalgebra
22	Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001	A type-level approach to component prototyping.	SYANCO	2007	DBLP DOI BibTeX RDF	type-level programming, Haskell, coalgebra, mealy machine, combinator library
22	Sun Meng, Zhang Naixiao, Luís Soares Barbosa	On Semantics and Refinement of UML Statecharts: A Coalgebraic View.	SEFM	2004	DBLP DOI BibTeX RDF	Semantics, Refinement, Statechart, Coalgebra
22	Julien Bichon, Ross Street	Militaru's D-Equation in Monoidal Categories.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	bialgebra, D-equation, coalgebra, monoidal category
22	Brian A. Davey, John C. Galati	A Coalgebraic View of Heyting Duality.	Stud Logica	2003	DBLP DOI BibTeX RDF	Priestley duality, Coalgebra, Heyting algebra
22	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
22	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	1996	DBLP DOI BibTeX RDF	second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
22	Peter Aczel	Final Universes of Processes.	MFPS	1993	DBLP DOI BibTeX RDF	Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra
22	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
16	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	A Kleene Theorem for Polynomial Coalgebras.	FoSSaCS	2009	DBLP DOI BibTeX RDF
16	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF
16	Stefaan Caenepeel, Kris Janssen, Shuanhong Wang	Group Corings.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16W30, 16W50
16	H. Peter Gumm	On Minimal Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B20, 68Q85, 16W30
16	Edwin J. Beggs, Tomasz Brzezinski	An Explicit Formula for a Strong Connection.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16W30, 58B34
16	Jiho Kim	Coinductive Properties of Causal Maps.	AMAST	2008	DBLP DOI BibTeX RDF
16	Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner	Theoretical and Practical Challenges of Integrating Ecosystem Data.	OTM Workshops	2008	DBLP DOI BibTeX RDF
16	Radhia Cousot	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.	VMCAI	2008	DBLP DOI BibTeX RDF
16	Alexandra Silva 0001, Jan J. M. M. Rutten	Behavioural Differential Equations and Coinduction for Binary Trees.	WoLLIC	2007	DBLP DOI BibTeX RDF
16	Filippo Bonchi, Ugo Montanari	Coalgebraic Models for Reactive Systems.	CONCUR	2007	DBLP DOI BibTeX RDF
16	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
16	Lars Kadison	Codepth Two and Related Topics.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 13B02, 16W30
16	S. Dascalescu, Constantin Nastasescu, A. Tudorache, Leonard Daus	Relative Regular Objects in Categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
16	Daniel Bulacu, Blas Torrecillas	Two-sided Two-cosided Hopf Modules and Yetter-Drinfeld Modules for Quasi-Hopf Algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
16	Lawrence S. Moss	Uniform Functors on Sets.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
16	Marino Miculan, Kidane Yemane	A Unifying Model of Variables and Names.	FoSSaCS	2005	DBLP DOI BibTeX RDF
16	Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder	Iterative Circular Coinduction for CoCasl in Isabelle/HOL.	FASE	2005	DBLP DOI BibTeX RDF
16	Gabriel Ciobanu, Viorel Mihai Gontineac	Algebraic and Coalgebraic Aspects of Membrane Computing.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
16	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
16	Luís Soares Barbosa	A Perspective on Component Refinement.	FMCO	2004	DBLP DOI BibTeX RDF
16	Giovanna D'Agostino, Albert Visser	Finality regained: A coalgebraic study of Scott-sets and multisets.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
16	Alexander Kurz 0001	Logics Admitting Final Semantics.	FoSSaCS	2002	DBLP DOI BibTeX RDF
16	Franck van Breugel, James Worrell 0001	Towards Quantitative Verification of Probabilistic Transition Systems.	ICALP	2001	DBLP DOI BibTeX RDF
16	Franck van Breugel, James Worrell 0001	An Algorithm for Quantitative Verification of Probabilistic Transition Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
16	Martin Erwig	Random Access to Abstract Data Types.	AMAST	2000	DBLP DOI BibTeX RDF	adt, graph algorithm, category theory, catamorphism
16	Jan J. M. M. Rutten	Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.	ICALP	1999	DBLP DOI BibTeX RDF
16	Bart Jacobs 0001	Inheritance and Cofree Constructions.	ECOOP	1996	DBLP DOI BibTeX RDF