| 2015 | A Quest for Kleene Algebra in 2 Dimensions. Gheorghe Stefanescu |
| 2015 | Closure, Properties and Closure Properties of Multirelations. Rudolf Berghammer, Walter Guttmann |
| 2015 | Completeness and Incompleteness in Nominal Kleene Algebra. Dexter Kozen, Konstantinos Mamouras, Alexandra Silva |
| 2015 | Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. Fredrik Dahlqvist, David J. Pym |
| 2015 | Connections between Relation Algebras and Cylindric Algebras. Ian M. Hodkinson |
| 2015 | Decomposition of Database Preferences on the Power Set of the Domain. Patrick Roocks |
| 2015 | Encoding and Decoding in Refinement Algebra. Kim Solin |
| 2015 | Generalised N-ary Relations and Allegories. Bartosz Zielinski |
| 2015 | Investigating and Computing Bipartitions with Algebraic Means. Rudolf Berghammer, Insa Stucke, Michael Winter |
| 2015 | L-Fuzzy Databases in Arrow Categories. Evans Adjei, Wazed Chowdhury, Michael Winter |
| 2015 | Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. Musa Al-hassy, Wolfram Kahl |
| 2015 | Metaphorisms in Programming. José Nuno Oliveira |
| 2015 | Relational Formalisations of Compositions and Liftings of Multirelations. Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari |
| 2015 | Relational Mathematics for Relative Correctness. Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili |
| 2015 | Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings Wolfram Kahl, Michael Winter, José Nuno Oliveira |
| 2015 | Relations among Matrices over a Semiring. Dylan Killingbeck, Milene Santos Teixeira, Michael Winter |
| 2015 | Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations. Martin E. Müller |
| 2015 | Solving a Tropical Optimization Problem via Matrix Sparsification. Nikolai Krivulin |
| 2015 | Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. Abdelaali Hassaïne, Souad Mecheter, Ali Jaoua |
| 2015 | Tool-Based Verification of a Relational Vertex Coloring Program. Rudolf Berghammer, Peter Höfner, Insa Stucke |
| 2015 | Towards Antichain Algebra. Bernhard Möller |
| 2015 | Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. Roland Glück, Florian Benedikt Krebs |
| 2015 | Towards a Probabilistic Interpretation of Game Logic. Ernst-Erich Doberkat |
| 2015 | Type Checking by Domain Analysis in Ampersand. Stef M. M. Joosten, Sebastiaan J. C. Joosten |