The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Coalgebra with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1970-1998 (18) 1999-2001 (17) 2002-2004 (20) 2005 (37) 2006-2007 (45) 2008 (15) 2009 (37) 2010-2011 (43) 2012-2013 (46) 2014-2015 (35) 2016-2017 (37) 2018-2019 (31) 2020-2021 (36) 2022-2023 (28)
Publication types (Num. hits)
article(63) book(1) inproceedings(368) phdthesis(1) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 117 occurrences of 85 keywords

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