| 2018 | A Modal and Relevance Logic for Qualitative Spatial Reasoning. Pranab Kumar Ghosh, Michael Winter |
| 2018 | A Set Solver for Finite Set Relation Algebra. Maximiliano Cristiá, Gianfranco Rossi |
| 2018 | Algebraic Derivation of Until Rules and Application to Timer Verification. Jessica Ertel, Roland Glück, Bernhard Möller |
| 2018 | Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems. Nikolai Krivulin |
| 2018 | Axiomatizing Discrete Spatial Relations. Giulia Sindoni, Katsuhiko Sano, John G. Stell |
| 2018 | C-Dioids and \mu -Continuous Chomsky-Algebras. Hans Leiß, Mark Hopkins |
| 2018 | Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. Wolfram Kahl |
| 2018 | Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock |
| 2018 | Coalgebraic Tools for Randomness-Conserving Protocols. Dexter Kozen, Matvey Soloviev |
| 2018 | Coequalizers and Tensor Products for Continuous Idempotent Semirings. Mark Hopkins, Hans Leiß |
| 2018 | Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. Koki Nishizawa, Norihiro Tsumagari |
| 2018 | Counting Finite Linearly Ordered Involutive Bisemilattices. Stefano Bonzio, Michele Pra Baldi, Diego Valota |
| 2018 | Decidability of Equational Theories for Subsignatures of Relation Algebra. Robin Hirsch |
| 2018 | Distances, Norms and Error Propagation in Idempotent Semirings. Roland Glück |
| 2018 | False Failure: Creating Failure Models for Separation Logic. Callum Bannister, Peter Höfner |
| 2018 | Finite Relation Algebras with Normal Representations. Manuel Bodirsky |
| 2018 | MIX \star -Autonomous Quantales and the Continuous Weak Order. Maria João Gouveia, Luigi Santocanale |
| 2018 | On the Computational Complexity of Non-dictatorial Aggregation. Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos |
| 2018 | On the Structure of Generalized Effect Algebras and Separation Algebras. Sarah Alexander, Peter Jipsen, Nadiya Upegui |
| 2018 | Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings Jules Desharnais, Walter Guttmann, Stef Joosten |
| 2018 | T-Norm Based Operations in Arrow Categories. Michael Winter |
| 2018 | Towards an Analysis of Dynamic Gossip in Netkat. Malvin Gattinger, Jana Wagemaker |
| 2018 | Verifying Hybrid Systems with Modal Kleene Algebra. Jonathan Julián Huerta y Munive, Georg Struth |