49 papers:
FoSSaCS-2015-KlinR #algebra #logic #semantics- Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.
ICALP-v2-2015-KozenMP0 #algebra- Nominal Kleene Coalgebra (DK, KM, DP, AS), pp. 286–298.
ICFP-2015-GaboardiP #algebra #λ-calculus- Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.
BX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional- Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
POPL-2015-FosterKM0T #algebra- A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.
CSL-2015-Traytel #algebra- A Coalgebraic Decision Procedure for WS1S (DT), pp. 487–503.
LICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.
- FoSSaCS-2014-Cirstea #algebra #approach #linear #logic
- A Coalgebraic Approach to Linear-Time Logics (CC), pp. 426–440.
- ICALP-v2-2014-BonsangueRABR #algebra #induction
- A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
- ICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.
IJCAR-2014-GorinPSWW #algebra #hybrid #logic #named- Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
- LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
- FoSSaCS-2013-DahlqvistP #algebra #logic
- Some Sahlqvist Completeness Results for Coalgebraic Logics (FD, DP), pp. 193–208.
- FoSSaCS-2013-KatsumataS #algebra #monad #simulation
- Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
CIAA-J-2012-Oliveira13 #algebra #automaton #category theory #matrix- Weighted Automata as Coalgebras in Categories of Matrices (JNO), pp. 709–728.
- ICALP-v2-2013-CarreiroGS #algebra #logic
- Coalgebraic Announcement Logics (FC, DG, LS), pp. 101–112.
- FoSSaCS-2012-AdamekBHKMS #algebra
- A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.
- FoSSaCS-2012-AdamekMMS #algebra
- Well-Pointed Coalgebras (Extended Abstract) (JA, SM, LSM, LS), pp. 89–103.
- ICALP-v2-2012-LitakPSS #algebra #logic
- Coalgebraic Predicate Logic (TL, DP, KS, LS), pp. 299–311.
- BX-2012-GibbonsJ #algebra #lens
- Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.
- FoSSaCS-2011-Jacobs #algebra #quantum
- Coalgebraic Walks, in Quantum and Turing Computation (BJ0), pp. 12–26.
- FoSSaCS-2011-Levy #algebra #similarity
- Similarity Quotients as Final Coalgebras (PBL), pp. 27–41.
- BX-2011-Gibbons1 #algebra #lens #monad
- Lenses are Coalgebras for the Costate Comonad (JG), p. 56.
- BX-2011-Gibbons2 #algebra #lens
- Lenses, Coalgebraically (JG), p. 57.
LDTA-2011-DominguezP #algebra- Exploiting algebra/coalgebra duality for program fusion extensions (FD, AP), p. 6.
- CSL-2011-KomendantskayaP #algebra #logic programming
- Coalgebraic Derivations in Logic Programming (EK, JP), pp. 352–366.
- FoSSaCS-2010-SchroderP #algebra
- Coalgebraic Correspondence Theory (LS, DP), pp. 328–342.
TACAS-2010-GoreKP #algebra #algorithm #logic- Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.
- ICALP-v2-2010-FontaineLV #algebra #approach #automaton #using
- Automata for Coalgebras: An Approach Using Predicate Liftings (GF, RAL, YV), pp. 381–392.
- IJCAR-2010-GoreKPS #algebra #logic
- Global Caching for Coalgebraic Description Logics (RG, CK, DP, LS), pp. 46–60.
- LICS-2010-Abramsky #algebra #physics
- Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
- FoSSaCS-2009-BonsangueRS #algebra #polynomial #theorem
- A Kleene Theorem for Polynomial Coalgebras (MMB, JJMMR, AS), pp. 122–136.
- FoSSaCS-2009-MyersPS #algebra #hybrid #logic
- Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
- CSL-2009-CirsteaKP #algebra #calculus #μ-calculus
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (CC, CK, DP), pp. 179–193.
- LICS-2009-BonsangueRS #algebra #polynomial
- An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
- FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis
- Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.
- FoSSaCS-2008-HasuoJS #algebra #concurrent
- The Microcosm Principle and Concurrency in Coalgebra (IH, BJ, AS), pp. 246–260.
- FoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics
- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
ESOP-2007-HasuoK #algebra #probability #simulation- Probabilistic Anonymity Via Coalgebraic Simulations (IH, YK), pp. 379–394.
- FoSSaCS-2006-Schroder #algebra #finite #logic
- A Finite Model Construction for Coalgebraic Modal Logic (LS), pp. 157–171.
- FoSSaCS-2005-Schroder #algebra #logic
- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.
- LICS-2005-KupkeV #algebra #automaton
- Closure Properties of Coalgebra Automata (CK, YV), pp. 199–208.
SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml- On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
- FoSSaCS-2002-Cirstea #algebra #logic #on the #reachability #specification
- On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability (CC), pp. 82–97.
- FoSSaCS-2001-KrsticLP #algebra #category theory #process
- Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.
TLCA-2001-Altenkirch #algebra #first-order- Representations of First Order Function Types as Terminal Coalgebras (TA), pp. 8–21.
- LICS-1998-JohnstonePTWW #algebra #axiom #category theory
- An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.
- ICALP-1997-VinkR #algebra #approach #bisimulation #probability
- Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (EPdV, JJMMR), pp. 460–470.
DAC-1992-HsuS #algebra #logic #multi #synthesis- Coalgebraic Division for Multilevel Logic Synthesis (WJH, WZS), pp. 438–442.
