| 2017 | Aggregation of Votes with Multiple Positions on Each Issue. Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos |
| 2017 | Algebra for Quantitative Information Flow. Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja |
| 2017 | Algebraic Investigation of Connected Components. Roland Glück |
| 2017 | Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. Wolfram Kahl |
| 2017 | Complete Solution of an Optimization Problem in Tropical Semifield. Nikolai Krivulin |
| 2017 | Concurrency-Preserving Minimal Process Representation. Adrián Puerto Aubel |
| 2017 | Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. Jean-Éric Pin |
| 2017 | Embeddability into Relational Lattices Is Undecidable. Luigi Santocanale |
| 2017 | Non-associative Kleene Algebra and Temporal Logics. Jules Desharnais, Bernhard Möller |
| 2017 | Parsing and Printing of and with Triples. Sebastiaan J. C. Joosten |
| 2017 | Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. Insa Stucke |
| 2017 | Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. Peter Jipsen |
| 2017 | Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings Peter Höfner, Damien Pous, Georg Struth |
| 2017 | Relations as Images. Mathieu Alain, Jules Desharnais |
| 2017 | Software Development in Relation Algebra with Ampersand. Stef Joosten |
| 2017 | Stone Relation Algebras. Walter Guttmann |
| 2017 | Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. Rudolf Berghammer |
| 2017 | Tower Induction and Up-to Techniques for CCS with Fixed Points. Steven Schäfer, Gert Smolka |
| 2017 | Type-n Arrow Categories. Michael Winter |
| 2017 | Varieties of Cubical Sets. Ulrik Buchholtz, Edward Morehouse |