Search results for "F-coalgebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Christian Kissig, Yde Venema	Complementation of Coalgebra Automata.	CALCO	2009	DBLP DOI BibTeX RDF
91	Jan Komenda, Jan H. van Schuppen	Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	bisimulation, supervisory control, coalgebra, coinduction, partial observations
78	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
70	H. Peter Gumm	From T-Coalgebras to Filter Structures and Transition Systems.	CALCO	2005	DBLP DOI BibTeX RDF
62	Jirí Adámek	Algebra 'cap' Coalgebra = Presheaves.	CALCO	2005	DBLP DOI BibTeX RDF
60	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
59	Erik P. de Vink, Jan J. M. M. Rutten	Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.	ICALP	1997	DBLP DOI BibTeX RDF	probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra
54	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
54	Gordon D. Plotkin	Adequacy for Algebraic Effects with State.	CALCO	2005	DBLP DOI BibTeX RDF
54	Jan J. M. M. Rutten	Automata and Coinduction (An Exercise in Coalgebra).	CONCUR	1998	DBLP DOI BibTeX RDF
47	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
47	A. S. Hegazi, F. Ismail, M. M. Elsofy	Induced and Coinduced Representations of Hopf Group Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
47	Richard Ehrenborg	k-Eulerian Posets.	Order	2001	DBLP DOI BibTeX RDF	cd-index, flag operators
46	Toshiki Kataoka, Dusko Pavlovic	Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra.	CALCO	2015	DBLP DOI BibTeX RDF
44	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
44	Alessandra Palmigiano, Yde Venema	Nabla Algebras and Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF	relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
39	Clemens Kupke, Raul Andres Leal	Characterising Behavioural Equivalence: Three Sides of One Coin.	CALCO	2009	DBLP DOI BibTeX RDF
39	Hans Bruun, Dion Coumans, Mai Gehrke	Distributive Lattice-Structured Ontologies.	CALCO	2009	DBLP DOI BibTeX RDF
39	Nick Bezhanishvili, Mai Gehrke	Free Heyting Algebras: Revisited.	CALCO	2009	DBLP DOI BibTeX RDF
39	Bart Jacobs 0001, Ana Sokolova	Traces, Executions and Schedulers, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
39	Sam Staton	Relating Coalgebraic Notions of Bisimulation.	CALCO	2009	DBLP DOI BibTeX RDF
39	Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova	The Microcosm Principle and Concurrency in Coalgebra.	FoSSaCS	2008	DBLP DOI BibTeX RDF
39	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
39	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit	Bisimulation for Neighbourhood Structures.	CALCO	2007	DBLP DOI BibTeX RDF	Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
39	César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna	Final Semantics for Event-Pattern Reactive Programs.	CALCO	2005	DBLP DOI BibTeX RDF
39	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF
39	Hao Shen, Yongqiang Sun	Web Semantics, Grid and Coalgebra.	IEEE SCC	2004	DBLP DOI BibTeX RDF
37	Milad Niqui	Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.	TYPES	2008	DBLP DOI BibTeX RDF	Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
37	Sun Meng, Luís Soares Barbosa, Zhang Naixiao	On Refinement of Software Architectures.	ICTAC	2005	DBLP DOI BibTeX RDF	software architecture, refinement, Software component, coalgebra
37	Daniela Cancila, Furio Honsell	A Coalgebraic Description of Web Interactions.	ICTCS	2003	DBLP DOI BibTeX RDF	User-Visit, Coalgebraic Bisimulation, Simulation, Relators, Web Site, Coalgebra, Log File
37	Baltasar Trancón y Widemann	Stacking Cycles: Functional Transformation of Circular Data.	IFL	2002	DBLP DOI BibTeX RDF	corecursion, anamorphism, function memoization, code generation, Coalgebra, cycle detection
31	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Corecursive Algebras: A Study of General Structured Corecursion.	SBMF	2009	DBLP DOI BibTeX RDF
31	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
31	Tomasz Brzezinski, Ryan B. Turner	The Galois Theory of Matrix C-rings.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
31	Jirí Adámek	A Logic of Coequations.	CSL	2005	DBLP DOI BibTeX RDF
31	Ugo Montanari, Marco Pistore	pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.	MFCS	2000	DBLP DOI BibTeX RDF
31	Martin Erwig	Categorical Programming with Abstract Data Types.	AMAST	1998	DBLP DOI BibTeX RDF
31	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Integrating the Specification Techniques of Graph Transformation and Temporal Logic.	MFCS	1997	DBLP DOI BibTeX RDF
23	Paolo Baldan, Valeria de Paiva (eds.)	10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA	CALCO	2023	DBLP BibTeX RDF
23	Paige Randall North, Maximilien Péroux	Coinductive Control of Inductive Data Types.	CALCO	2023	DBLP DOI BibTeX RDF
23	Jirí Adámek, Matej Dostál, Jirí Velebil	Strongly Finitary Monads for Varieties of Quantitative Algebras.	CALCO	2023	DBLP DOI BibTeX RDF
23		Front Matter, Table of Contents, Preface, Conference Organization.	CALCO	2023	DBLP DOI BibTeX RDF
23	Jérémy Dubut	Aczel-Mendler Bisimulations in a Regular Category.	CALCO	2023	DBLP DOI BibTeX RDF
23	Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot	Forward and Backward Steps in a Fibration.	CALCO	2023	DBLP DOI BibTeX RDF
23	Roberto Bruni	Local Completeness for Program Correctness and Incorrectness (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
23	Harrison Grodin, Robert Harper 0001	Amortized Analysis via Coinduction (Early Ideas).	CALCO	2023	DBLP DOI BibTeX RDF
23	Jurriaan Rot, Thorsten Wißmann	Bisimilar States in Uncertain Structures.	CALCO	2023	DBLP DOI BibTeX RDF
23	Sergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat	Higher-Order Mathematical Operational Semantics (Early Ideas).	CALCO	2023	DBLP DOI BibTeX RDF
23	Assia Mahboubi	Machine-Checked Computational Mathematics (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
23	Elaine Pimentel, Luiz Carlos Pereira	A Tour on Ecumenical Systems (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
23	Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia	Completeness for Categories of Generalized Automata ((Co)algebraic pearls).	CALCO	2023	DBLP DOI BibTeX RDF
23	Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi	String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.	CALCO	2023	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).	CALCO	2023	DBLP DOI BibTeX RDF
23	Andrzej Tarlecki	Interpolation Is (Not Always) Easy to Spoil.	CALCO	2023	DBLP DOI BibTeX RDF
23	Henning Basold, Tanjona Ralaivaosaona	Composition and Recursion for Causal Structures.	CALCO	2023	DBLP DOI BibTeX RDF
23	Robert Harper 0001	Integrating Cost and Behavior in Type Theory (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
23	Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino	Generators and Bases for Monadic Closures.	CALCO	2023	DBLP DOI BibTeX RDF
23	Todd Schmid, Victoria Noquez, Lawrence S. Moss	Fractals from Regular Behaviours.	CALCO	2023	DBLP DOI BibTeX RDF
23	Dario Stein, Richard Samuelson	A Category for Unifying Gaussian Probability and Nondeterminism.	CALCO	2023	DBLP DOI BibTeX RDF
23	Alexander Kurz 0001, Wolfgang Poiger	Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties.	CALCO	2023	DBLP DOI BibTeX RDF
23	Harald König, Uwe Wolter, Tim Kräuter	Structural Operational Semantics for Heterogeneously Typed Coalgebras.	CALCO	2023	DBLP DOI BibTeX RDF
23	Jeremy G. Siek	The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk).	CALCO	2023	DBLP DOI BibTeX RDF
23	Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta	Weakly Markov Categories and Weakly Affine Monads.	CALCO	2023	DBLP DOI BibTeX RDF
23	Nathan Liittschwager, Stelios Tsampas 0001, Jonathan Castello, Lindsey Kuper	CRDTs, Coalgebraically (Early Ideas).	CALCO	2023	DBLP DOI BibTeX RDF
23	Luís Soares Barbosa	Coalgebra for the working software engineer.	FLAP	2022	DBLP BibTeX RDF
23	Bart Jacobs 0001	Stick Breaking, in Coalgebra and Probability.	CMCS	2022	DBLP DOI BibTeX RDF
23	Graham Leach-Krouse	Coalgebra and Abstraction.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
23	Michele Boreale, Daniele Gorla	Algebra and coalgebra of stream products.	CoRR	2021	DBLP BibTeX RDF
23	Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann	Coalgebra Encoding for Efficient Minimization.	CoRR	2021	DBLP BibTeX RDF
23	Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata	Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.	CoRR	2021	DBLP BibTeX RDF
23	Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann	Coalgebra Encoding for Efficient Minimization.	FSCD	2021	DBLP DOI BibTeX RDF
23	Niccolò Veltri	Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.	FSCD	2021	DBLP DOI BibTeX RDF
23	Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata	Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.	CONCUR	2021	DBLP DOI BibTeX RDF
23	Michele Boreale, Daniele Gorla	Algebra and Coalgebra of Stream Products.	CONCUR	2021	DBLP DOI BibTeX RDF
23	Fabio Gadducci, Alexandra Silva 0001 (eds.)	9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria.	CALCO	2021	DBLP BibTeX RDF
23	Filippo Bonchi, Alessandro Di Giorgio 0002, Fabio Zanasi	From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Viktor Vafeiadis	The Challenges of Weak Persistency (Invited Talk).	CALCO	2021	DBLP DOI BibTeX RDF
23	Georgi Nakov, Fredrik Nordvall Forsberg	Quantitative Polynomial Functors (Early Ideas).	CALCO	2021	DBLP DOI BibTeX RDF
23	Jos C. M. Baeten, Cesare Carissimo, Bas Luttik	Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.	CALCO	2021	DBLP DOI BibTeX RDF
23		Front Matter, Table of Contents, Preface, Conference Organization.	CALCO	2021	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Jean-Simon Pacaud Lemay	Coderelictions for Free Exponential Modalities.	CALCO	2021	DBLP DOI BibTeX RDF
23	Thorsten Wißmann	Minimality Notions via Factorization Systems ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Eugenia Cheng	Distributive Laws for Lawvere Theories (Invited Talk).	CALCO	2021	DBLP DOI BibTeX RDF
23	Fredrik Dahlqvist, Todd Schmid	How to Write a Coequation ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Chase Ford, Stefan Milius, Lutz Schröder	Monads on Categories of Relational Structures.	CALCO	2021	DBLP DOI BibTeX RDF
23	Ana Sokolova, Harald Woracek	Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Davide Castelnovo, Marino Miculan	Closure Hyperdoctrines.	CALCO	2021	DBLP DOI BibTeX RDF
23	Jirí Adámek, Jirí Rosický	Which Categories Are Varieties? ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Xiaodong Jia 0002, Michael W. Mislove, Vladimir Zamdzhiev	The Central Valuations Monad (Early Ideas).	CALCO	2021	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius, Lawrence S. Moss	Initial Algebras Without Iteration ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
23	Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin	Tensor of Quantitative Equational Theories.	CALCO	2021	DBLP DOI BibTeX RDF
23	Valeria de Paiva	Dialectica Comonads (Invited Talk).	CALCO	2021	DBLP DOI BibTeX RDF
23	Clemens Grabmayer	A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.	CALCO	2021	DBLP DOI BibTeX RDF
23	Holger Giese	Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk).	CALCO	2021	DBLP DOI BibTeX RDF
23	Richard Garner	Stream Processors and Comodels.	CALCO	2021	DBLP DOI BibTeX RDF
23	Jade Master	The Open Algebraic Path Problem.	CALCO	2021	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski 0001	On Doctrines and Cartesian Bicategories.	CALCO	2021	DBLP DOI BibTeX RDF
23	Tao Gu, Fabio Zanasi	Functorial Semantics as a Unifying Perspective on Logic Programming.	CALCO	2021	DBLP DOI BibTeX RDF
23	Koko Muroya, Takahiro Sanada, Natsuki Urabe	Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).	CALCO	2021	DBLP DOI BibTeX RDF