publication venue for
- A Quest for Kleene Algebra in 2 Dimensions. 2015
- Closure, Properties and Closure Properties of Multirelations. 2015
- Completeness and Incompleteness in Nominal Kleene Algebra. 2015
- Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. 2015
- Connections between Relation Algebras and Cylindric Algebras. 2015
- Decomposition of Database Preferences on the Power Set of the Domain. 2015
- Encoding and Decoding in Refinement Algebra. 2015
- Generalised N-ary Relations and Allegories. 2015
- Investigating and Computing Bipartitions with Algebraic Means. 2015
- L-Fuzzy Databases in Arrow Categories. 2015
- Metaphorisms in Programming. 2015
- Relational Formalisations of Compositions and Liftings of Multirelations. 2015
- Relational Mathematics for Relative Correctness. 2015
- Relations among Matrices over a Semiring. 2015
- Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations. 2015
- Solving a Tropical Optimization Problem via Matrix Sparsification. 2015
- Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. 2015
- Tool-Based Verification of a Relational Vertex Coloring Program. 2015
- Towards Antichain Algebra. 2015
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. 2015
- Towards a Probabilistic Interpretation of Game Logic. 2015
- Type Checking by Domain Analysis in Ampersand. 2015
- A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. 2014
- A Point-Free Relation-Algebraic Approach to General Topology. 2014
- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. 2014
- Abstract Dynamic Frames. 2014
- Algebras for Program Correctness in Isabelle/HOL. 2014
- Automated Verification of Relational While-Programs. 2014
- Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis. 2014
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. 2014
- Concurrent Kleene Algebra with Tests. 2014
- Developments in Concurrent Kleene Algebra. 2014
- Extended Conscriptions Algebraically. 2014
- Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. 2014
- Fuzzifying Modal Algebra. 2014
- Higher-Order Arrow Categories. 2014
- Kleene Algebra with Converse. 2014
- Nominal Sets over Algebraic Atoms. 2014
- On Faults and Faulty Programs. 2014
- Parameterised Bisimulations: Some Applications. 2014
- Preparing Relational Algebra for "Just Good Enough" Hardware. 2014
- Refinements of the RCC25 Composition Table. 2014
- Relation Algebra and RelView Applied to Approval Voting. 2014
- Relational Lattices. 2014
- Tableau Development for a Bi-intuitionistic Tense Logic. 2014
- Towards Finding Maximal Subrelations with Desired Properties. 2014
- Type-2 Fuzzy Controllers in Arrow Categories. 2014
- An Algebra of Layered Complex Preferences. 2012
- Automated Reasoning in Higher-Order Regular Algebra. 2012
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. 2012
- Continuous Relations and Richardson's Theorem. 2012
- Deciding Regular Expressions (In-)Equivalence in Coq. 2012
- Extension Properties of Boolean Contact Algebras. 2012
- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. 2012
- Incremental Pseudo Rectangular Organization of Information Relative to a Domain. 2012
- Left-Handed Completeness. 2012
- On Completeness of Omega-Regular Algebras. 2012
- Point Axioms in Dedekind Categories. 2012
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams. 2012
- Relational Concepts in Social Choice. 2012
- Relational Representation Theorem for Powerset Quantales. 2012
- Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings 2012
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. 2012
- Relations on Hypergraphs. 2012
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. 2012
- Towards an Algebra for Real-Time Programs. 2012
- Transitive Separation Logic. 2012
- Two Observations in Dioid Based Model Refinement. 2012
- Unifying Lazy and Strict Computations. 2012
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. 2012