Background Material. - Peter Jipsen; Chris Brink; Gunther Schmidt 001 (Relational Methods in Computer Science, 1997)

Nonrepresentable Sequential Algebras. - Peter Jipsen; Roger D. Maddux (Log. J. IGPL, 1997)

P3-isomorphisms for graphs. - Robert E. L. Aldred; Mark N. Ellingham; Robert L. Hemminger; Peter Jipsen (J. Graph Theory, 1997)

Sequential Q-algebras. - Peter Jipsen (RelMiCS, 1998)

Partition Complete Boolean Algebras and Almost Compact Cardinals. - Peter Jipsen; Henry Rose (Math. Log. Q., 1999)

Some Results about Complex Algebras of Algebras. - Peter Jipsen (RelMiCS, 2000)

Rudin-Keisler Posets of Complete Boolean Algebras. - Peter Jipsen; Alexander Pinus; Henry Rose (Math. Log. Q., 2001)

A Note on Complex Algebras of Semigroups. - Peter Jipsen (RelMiCS, 2003)

Minimal Expansions of Semilattices. - Peter Jipsen; Andrzej Kisielewicz 001 (Int. J. Algebra Comput., 2004)

Algebraic Aspects of Cut Elimination. - Francesco Belardinelli; Peter Jipsen; Hiroakira Ono (Stud Logica, 2004)

From Semirings to Residuated Kleene Lattices. - Peter Jipsen (Stud Logica, 2004)

The Structure of the One-Generated Free Domain Semiring. - Peter Jipsen; Georg Struth (RelMiCS, 2008)

Domain and Antidomain Semigroups. - Jules Desharnais; Peter Jipsen; Georg Struth (RelMiCS, 2009)

Generalizations of Boolean products for lattice-ordered algebras. - Peter Jipsen (Ann. Pure Appl. Log., 2009)

Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. - Peter Jipsen (RAMiCS, 2012)

Preface. - Nikolaos Galatos; Peter Jipsen; Hiroakira Ono (Stud Logica, 2012)

Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. - Peter Jipsen (TACL, 2013)

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. - Peter Jipsen; Antonio Ledda; Francesco Paoli (Reports Math. Log., 2013)

Concurrent Kleene Algebra with Tests. - Peter Jipsen (RAMiCS, 2014)

Relational and algebraic methods in computer science. - Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller (J. Log. Algebraic Methods Program., 2016)

Concurrent Kleene algebra with tests and branching automata. - Peter Jipsen; M. Andrew Moshier (J. Log. Algebraic Methods Program., 2016)

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. - Peter Jipsen (RAMiCS, 2017)

An Algebraic Glimpse at Bunched Implications and Separation Logic. - Peter Jipsen; Tadeusz Litak (CoRR, 2017)

On Tarski's Axiomatic Foundations of the Calculus of Relations. - Hajnal Andréka; Steven Givant; Peter Jipsen; István Németi (J. Symb. Log., 2017)

On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. - Peter Jipsen (Soft Comput., 2017)

On the Structure of Generalized Effect Algebras and Separation Algebras. - Sarah Alexander; Peter Jipsen; Nadiya Upegui (RAMiCS, 2018)

Logics for Rough Concept Analysis. - Giuseppe Greco 001; Peter Jipsen; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis (ICLA, 2019)

Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. - Natanael Alpay; Peter Jipsen (RAMiCS, 2020)

Weakening Relation Algebras and FL2-algebras. - Nikolaos Galatos; Peter Jipsen (RAMiCS, 2020)

Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. - Natanael Alpay; Peter Jipsen; Melissa Sugimoto (RAMiCS, 2021)

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. - Willem Conradie; Valentin Goranko; Peter Jipsen (RAMiCS, 2021)

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). - Willem Conradie; Valentin Goranko; Peter Jipsen (CoRR, 2021)

Primitive lattice varieties. - Peter Jipsen; James B. Nation (Int. J. Algebra Comput., 2022)

The Structure of Locally Integral Involutive Po-monoids and Semirings. - José Gil-Férez; Peter Jipsen; Siddhartha Lodhia (RAMiCS, 2023)

Representable and Diagonally Representable Weakening Relation Algebras. - Peter Jipsen; Jas Semrl (RAMiCS, 2023)

On the Structure of Balanced Residuated Partially Ordered Monoids. - Stefano Bonzio; José Gil-Férez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto (RAMiCS, 2024)

Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. - Andrew Craig; Peter Jipsen; Claudette Robinson (RAMiCS, 2024)

Varieties of unary-determined distributive $ ell$-magmas and bunched implication algebras. - Natanael Alpay; Peter Jipsen; Melissa Sugimoto (Log. Methods Comput. Sci., 2024)

Algebraic Proof Theory for LE-logics. - Giuseppe Greco 001; Peter Jipsen; Fei Liang; Alessandra Palmigiano; Apostolos Tzimoulis (ACM Trans. Comput. Log., 2024)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras. - Andrew Craig; Peter Jipsen; Claudette Robinson (CoRR, 2025)

Balanced residuated partially ordered semigroups. - Stefano Bonzio; José Gil-Férez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto (CoRR, 2025)