| 2014 | A Mechanised Abstract Formalisation of Concept Lattices. Wolfram Kahl |
| 2014 | A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. Takeo Uramoto |
| 2014 | A Point-Free Relation-Algebraic Approach to General Topology. Gunther Schmidt |
| 2014 | A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. Koki Nishizawa, Hitoshi Furusawa |
| 2014 | Abstract Dynamic Frames. Han-Hing Dang |
| 2014 | Algebras for Program Correctness in Isabelle/HOL. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | Automated Verification of Relational While-Programs. Rudolf Berghammer, Peter Höfner, Insa Stucke |
| 2014 | Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis. Nikolai Krivulin |
| 2014 | Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. Michael R. Laurence, Georg Struth |
| 2014 | Concurrent Kleene Algebra with Tests. Peter Jipsen |
| 2014 | Developments in Concurrent Kleene Algebra. Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn |
| 2014 | Endowing Concurrent Kleene Algebra with Communication Actions. Jason Jaskolka, Ridha Khédri, Qinglei Zhang |
| 2014 | Extended Conscriptions Algebraically. Walter Guttmann |
| 2014 | Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. Sabine Frittella, Luigi Santocanale |
| 2014 | Fuzzifying Modal Algebra. Jules Desharnais, Bernhard Möller |
| 2014 | Higher-Order Arrow Categories. Michael Winter |
| 2014 | Kleene Algebra with Converse. Paul Brunet, Damien Pous |
| 2014 | Nominal Sets over Algebraic Atoms. Joanna Ochremiak |
| 2014 | On Faults and Faulty Programs. Ali Mili, Marcelo F. Frias, Ali Jaoua |
| 2014 | Parameterised Bisimulations: Some Applications. S. Arun-Kumar, Divyanshu Bagga |
| 2014 | Preparing Relational Algebra for "Just Good Enough" Hardware. José Nuno Oliveira |
| 2014 | Refinements of the RCC25 Composition Table. Manas Ghosh, Michael Winter |
| 2014 | Relation Algebra and RelView Applied to Approval Voting. Rudolf Berghammer, Nikita Danilenko, Henning Schnoor |
| 2014 | Relational Lattices. Tadeusz Litak, Szabolcs Mikulás, Jan Hidders |
| 2014 | Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller |
| 2014 | Tableau Development for a Bi-intuitionistic Tense Logic. John G. Stell, Renate A. Schmidt, David E. Rydeheard |
| 2014 | Towards Finding Maximal Subrelations with Desired Properties. Martin Eric Müller |
| 2014 | Type-2 Fuzzy Controllers in Arrow Categories. Michael Winter, Ethan C. Jackson, Yuki Fujiwara |