| 2012 | An Algebra of Layered Complex Preferences. Bernhard Möller, Patrick Roocks |
| 2012 | Automated Reasoning in Higher-Order Regular Algebra. Alasdair Armstrong, Georg Struth |
| 2012 | Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. Peter Jipsen |
| 2012 | Continuous Relations and Richardson's Theorem. Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara |
| 2012 | Deciding Regular Expressions (In-)Equivalence in Coq. Nelma Moreira, David Pereira, Simão Melo de Sousa |
| 2012 | Extension Properties of Boolean Contact Algebras. Ivo Düntsch, Sanjiang Li |
| 2012 | Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. Peter Höfner, Bernhard Möller, Andreas Zelend |
| 2012 | Incremental Pseudo Rectangular Organization of Information Relative to a Domain. Sahar Ahmad Ismail, Ali Jaoua |
| 2012 | Left-Handed Completeness. Dexter Kozen, Alexandra Silva |
| 2012 | On Completeness of Omega-Regular Algebras. Michael R. Laurence, Georg Struth |
| 2012 | Point Axioms in Dedekind Categories. Hitoshi Furusawa, Yasuo Kawahara |
| 2012 | Relation Algebras, Matrices, and Multi-valued Decision Diagrams. Francis Atampore, Michael Winter |
| 2012 | Relational Concepts in Social Choice. Gunther Schmidt |
| 2012 | Relational Representation Theorem for Powerset Quantales. Koki Nishizawa, Hitoshi Furusawa |
| 2012 | Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings Wolfram Kahl, Timothy G. Griffin |
| 2012 | Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. Nuno Macedo, Hugo Pacheco, Alcino Cunha |
| 2012 | Relations on Hypergraphs. John G. Stell |
| 2012 | Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. Rudolf Berghammer, Sebastian Fischer |
| 2012 | Towards Certifiable Implementation of Graph Transformation via Relation Categories. Wolfram Kahl |
| 2012 | Towards an Algebra for Real-Time Programs. Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin |
| 2012 | Transitive Separation Logic. Han-Hing Dang, Bernhard Möller |
| 2012 | Two Observations in Dioid Based Model Refinement. Roland Glück |
| 2012 | Unifying Lazy and Strict Computations. Walter Guttmann |
| 2012 | Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. Nikita Danilenko |