- P. Jipsen, "Computer-aided investigations of relation algebras", (Abstract), Mathematics Department Vanderbilt University, 1992, under the supervision of Bjarni Jonsson (his Google Scholar profile)

- P. Jipsen and H. Rose, "Varieties of Lattices", Lecture Notes in Mathematics, Vol. 1533, Springer-Verlag, 1992, x+162 pages
- N. Galatos, P. Jipsen, T. Kowalski and H. Ono, "Residuated Lattices: An Algebraic Glimpse at Substructural Logics", Studies in Logic and the Foundations of Mathematics, Vol. 151, Elsevier, 532 pages, April 2007

- P. Jipsen and H. Rose,
*Absolute retracts and amalgamation in certain congruence distributive varieties*, Canad. Math. Bull.,**32**(3) (1989), 309-313 - P. Jipsen and H. Rose,
*Ultraproducts of atomic Boolean algebras*, Bull. Korean Math. Soc.,**27**(1) (1990), 19-26 - P. Jipsen and E. Lukacs,
*Representability of finite simple relation algebras with many identity atoms*, in "Algebraic Logic" (Proc. Conf. Budapest 1988), ed. by H. Andreka, J.D. Monk, and I. Nemeti, Colloq. Math. Soc. J. Bolyai, Vol. 54, North-Holland, Amsterdam, 1991, 241-244 - P. Jipsen,
*Discriminator varieties of Boolean algebras with residuated operators*, in "Algebraic Logic", Banach Center Publication, Vol. 28, Institute of Math., Polish Academy of Sciences, Warszawa, 1993, 239-252 - P. Jipsen and E. Lukacs,
*Minimal relation algebras*, Algebra Universalis,**32**, (1994), 189-203 - P. Jipsen, R. D. Maddux and Z. Tuza,
*Small representations of the relation algebra E*, Algebra Universalis,_{n+1}(1, 2, 3)**33**(1995), 136-139 - P. Jipsen, B. Jónsson and J. Rafter,
*Adjoining units to residuated Boolean algebras*, Algebra Universalis,**34**(1995), 118-127 - P. Jipsen, R. L. Kramer and R. D. Maddux,
*Total tense algebras and symmetric semiassociative relation algebras*, Algebra Universalis,**34**(1995), 404-423 - R. E. L. Aldred, M. N. Ellingham, R. L. Hemminger and P. Jipsen,
*P*, Journal of Graph Theory,_{3}-isomorphisms for graphs**26**(1997), 35-51 - C. Brink, P. Jipsen and G. Schmidt,
*Chapter 1 Background Material*, "Relational Methods in Computer Science", Advances in Computing Science, Springer-Verlag, 1997, 1-21 - P. Jipsen and R. D. Maddux,
*Nonrepresentable sequential algebras*, Journal of the IGPL,**5**(4) (1997), 565-574 - P. Jipsen and H. Rose,
*Varieties of Lattices*, Appendix in "General Lattice Theory", G. Grätzer, second edition, Birkhäuser Verlag, 1998 - P. Jipsen and H. Rose,
*Partition complete Boolean algebras and almost compact cardinals*, Mathematical Logic Quarterly,**45**(2) (1999), 241-255 - M. Jenner, P. Jipsen, P. Ouwehand, H. Rose,
*Absolute retracts as reduced products*, Questiones Mathematicae,**24**(2) (2001), 129-132 - P. Jipsen, A. Pinus and H. Rose,
*Rudin-Keisler posets of complete Boolean algebras*, Mathematical Logic Quarterly,**47**(4) (2001), 447-454 - R. Freese, J. Jezek, P. Jipsen,
P. Markovic, M. Maroti and R. McKenzie,
*The variety generated by order algebras*, Algebra Universalis,**47**(2002), 103-138 - P. Jipsen and C. Tsinakis,
*A survey of residuated lattices*(ps), in "Ordered Algebraic Structures" (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56 - P. Bahls, J. Cole, N. Galatos, P. Jipsen and C. Tsinakis,
*Cancellative residuated lattices*(ps), Algebra Universalis,**50**(1) (2003), 83-106 - P. Jipsen,
*An overview of generalized basic logic algebras*, Neural Network World,**13**(5) (2003), 491-500 - P. Jipsen,
*A note on complex algebras of semigroups*, in "Relational and Kleene-Algebraic Methods in Computer Science" (ed. R. Berghammer, B. Möller, G. Struth), Lecture Notes in Computer Science, Vol. 3051, Springer-Verlag (2004), 171-177 - P. Jipsen,
*From semirings to residuated Kleene lattices*, Studia Logica**76**(2) (2004), 291-303 - F. Belardinelli, P. Jipsen and H. Ono,
*Algebraic aspects of cut elimination*, Studia Logica,**77**(2) (2004), 209-240 - P. Jipsen and A. Kisielewicz,
*Minimal expansions of semilattices*, International Journal of Algebra and Computation,**14**(4) (2004), 465-477 - P. Jipsen,
*Representable sequential algebras and observation spaces*, Journal on Relational Methods in Computer Science,**1**(2004), 235-250 - P. Jipsen and F. Montagna,
*On the structure of generalized BL-algebras*, Algebra Universalis,**55**(2006), 226-237 - P. Jipsen and G. Struth,
*The structure of the one-generated free domain semiring*, in "Relations and Kleene Algebra in Computer Science" (ed. R. Berghammer, B. Möller, G. Struth), Lecture Notes in Computer Science, Vol. 4988, Springer-Verlag (2008), 234-242 - P. Jipsen and F. Montagna,
*The Blok-Ferreirim theorem for normal GBL-algebras and its application*, Algebra Universalis,**60**, (2009), 381-404 - J. Desharnais, P. Jipsen and G. Struth,
*Domain and antidomain semigroups*, in "Relations and Kleene Algebra in Computer Science", R. Berghammer et al. (Eds.), Lecture Notes in Computer Science, Vol. 5827, Springer-Verlag (2009), 73-87 - P. Jipsen,
*Generalizations of Boolean products for lattice-ordered algebras*, Annals of Pure and Applied Logic,**161**(2009), 228-234 - N. Galatos and P. Jipsen,
*A survey of Generalized Basic Logic algebras*, in "Witnessed Years: Essays in Honour of Petr Hajek", ed. P. Cintula, Z. Hanikova, V. Svejdar, College Publications, 2009, 305-331 - P. Jipsen and F. Montagna,
*Embedding theorems for classes of GBL-algebras*, Journal of Pure and Applied Algebra,**214**(2010), 1559-1575 - N. Galatos and P. Jipsen,
*Periodic lattice-ordered pregroups are distributive*, Algebra Universalis,**68**(1-2) (2012), 145-150 - P. Jipsen,
*Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings*, in proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, Cambridge, UK, Sept 17-21, 2012, Timothy G. Griffin and Wolfram Kahl (Eds.), Lecture Notes in Computer Science, Vol. 7560, Springer-Verlag (2012), 195-206 - N. Galatos and P. Jipsen,
*Residuated frames with applications to decidability*, Transactions of the American Mathematical Society,**365**(2013), 1219-1249 - N. Galatos and P. Jipsen,
*Relation algebras as expanded FL-algebras*, Algebra Universalis,**69**(1) (2013), 1-21 - P. Jipsen, A. Ledda and F. Paoli,
*On some properties of quasi-MV algebras and √'quasi-MV algebras, Part IV*, Reports on Mathematical Logic,**48**(2013), 3-36 - M. A. Moshier and P. Jipsen,
*Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions*, Algebra Universalis,**71**(2) (2014), 109-126 - P. Jipsen,
*Concurrent Kleene algebras with tests*, in proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, Marienstatt, Germany, April 28-May 1, 2014, Lecture Notes in Computer Science, Vol. 8428, Springer (2014), 37-48 - M. A. Moshier and P. Jipsen,
*Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators*, Algebra Universalis,**71**(3) (2014), 221-234 - P. Jipsen and N. Lawless,
*Generating all finite modular lattices of a given size*, Algebra Universalis,**74**(3) (2015), 253-264 doi:10.1007/s00012-015-0348-x - P. Jipsen and M. A. Moshier,
*Concurrent Kleene algebra with tests and branching automata*, Journal of Logical and Algebraic Methods in Programming,**85**(4) (2016), 637-652 dx.doi.org/10.1016/j.jlamp.2015.12.005 - P. Jipsen and H. Rose,
*Varieties of Lattices*, Chapter 1 in "Lattice Theory: Special Topics and Applications", eds. G. Grätzer and F. Wehrung, Springer, 2016, 1-26 - P. Jipsen,
*On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras*, Soft Computing,**21**(1) (2017), 17-27 dx.doi.org/10.1007/s00500-016-2345-1 - P. Jipsen,
*Relation algebras, idempotent semirings and generalized bunched implication algebras*, in proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), May 15 - 19, 2017, ENS Lyon, France, Lecture Notes in Computer Science, Vol. 10226, Springer (2017), 144-158 - H. Andreka, S. Givant, P. Jipsen and I. Nemeti,
*On Tarski's axiomatic foundations of the calculus of relations*(pdf), The Journal of Symbolic Logic,**82**(3), (2017), 966-994 - N. Galatos and P. Jipsen,
*Distributive residuated frames and generalized bunched implication algebras*, Algebra Universalis,**78**(3), (2017), 303-336, doi.org/10.1007/s00012-017-0456-x, - S. Alexander, P. Jipsen and N. Upegui,
*On the structure of generalized effect algebras and separation algebras*, in proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Oct 29 - Nov 1, 2018, Open University, Groningen, Netherlands, Lecture Notes in Computer Science Vol 11194, Springer (2018), 148-165 - G. Greco, P. Jipsen, K. Manoorkar, A. Palmigiano and A. Tzimoulis,
*Logics for rough concept analysis*, Md. A. Khan and A. Manuel (Eds.): ICLA 2019, Lecture Notes in Computer Science 11600, (2019) 144-159, doi.org/10.1007/978-3-662-58771-3_14 - P. Jipsen and M. Kinyon,
*Nonassociative right hoops*, Algebra Universalis,**80**, 47 (2019) 14p. doi.org/10.1007/s00012-019-0618-0 - W. Fussner and P. Jipsen,
*Distributive laws in residuated binars*, Algebra Universalis,**80**, 54 (2019) 13p. doi.org/10.1007/s00012-019-0625-1 - N. Galatos and P. Jipsen,
*The structure of generalized BI-algebras and weakening relation algebras*, Algebra Universalis, (2020) 81: 35. doi.org/10.1007/s00012-020-00663-9 - N. Alpay and P. Jipsen,
*Commutative doubly-idempotent semirings determined by chains and by preorder forests*, in proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Lecture Notes in Computer Science Vol 12062, Springer (2020), 1-14 - J. Gil-Ferez, P. Jipsen and G. Metcalfe,
*Structure theorems for idempotent residuated lattices*, Algebra Universalis,**81**, 28 (2020) 25p. doi.org/10.1007/s00012-020-00659-5 - N. Galatos and P. Jipsen,
*Weakening relation algebras and FL^2-algebras*, in proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Lecture Notes in Computer Science Vol 12062, Springer (2020), 117-133 - N. Galatos, P. Jipsen, M. Kinyon, A. Prenosil,
*Lattice-ordered pregroups are semi-distributive,*Algebra Univers. 82, 16 (2021) doi.org/10.1007/s00012-020-00703-4 - P. Jipsen, M. E. Kurd-Misto and J. Wimberley,
*On the representation of Boolean magmas and Boolean semilattices*, In: Madarász J., Székely G. (eds) Hajnal Andréka and István Németi on Unity of Science. Outstanding Contributions to Logic, vol 19. Springer, Cham., (2021), Ch 12, 289-312. doi.org/10.1007/978-3-030-64187-0_12 - P. Jipsen and S. Vannucci,
*Injective and projective semimodules over involutive semirings*, Journal of Algebra and its Applications, (2021) doi.org/10.1142/S0219498822501821 - P. Jipsen, O. Tuyt and D. Valota,
*The structure of finite commutative idempotent involutive residuated lattices,*Algebra Univers. 82, 57 (2021) doi.org/10.1007/s00012-021-00751-4 - N. Alpay, P. Jipsen and M. Sugimoto,
*Unary determined distributive l-magma and bunched implication algebras*, in proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), U. Fahrenberg et al. (Eds.), Lecture Notes in Computer Science Vol 13027, Springer (2021), 19-36, doi.org/10.1007/978-3-030-88701-8_2 - W. Conradie, V. Goranko and P. Jipsen,
*Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL*, in proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), U. Fahrenberg et al. (Eds.), Lecture Notes in Computer Science Vol 13027, Springer (2021), 126-143, doi.org/10.1007/978-3-030-88701-8_8 - P. Jipsen and T. Litak,
*An algebraic glimpse at bunched implications and separation logic*, in: Galatos, N., Terui, K. (eds) Hiroakira Ono on Substructural Logics. Outstanding Contributions to Logic, vol 23. Springer, Cham. 2022, doi.org/10.1007/978-3-030-76920-8_5 - P. Jipsen and J. B. Nation,
*Primitive lattice varieties,*International Journal of Algebra and Computation. (2022) doi.org/10.1142/S021819672250031X - M. Abbadini, P. Jipsen, T. Kroupa and S. Vannucci,
*A finite axiomatization of positive MV-algebras*, Algebra Universalis.**83**, 28 (2022). doi.org/10.1007/s00012-022-00776-3 - J. Gil-Férez, P. Jipsen and S. Lodhia,
*The structure of locally integral involutive po-monoids and semirings*, in proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), R. Glück et al. (Eds.), Lecture Notes in Computer Science Vol 13896, Springer (2023), 69-86, doi.org/10.1007/978-3-031-28083-2_5 - P. Jipsen and J. Semrl,
*Representable and diagonally representable weakening relation algebras*, in proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), R. Glück et al. (Eds.), Lecture Notes in Computer Science Vol 13896, Springer (2023), 140-157, doi.org/10.1007/978-3-031-28083-2_9 - G. Greco, P. Jipsen, F. Liang, A. Palmigiano, A. Tzimoulis,
*Algebraic Proof Theory for LE-logics*, ACM Transactions on Computational Logic,**25**(1) 2024 6, pp 1-37 doi.org/10.1145/3632526 - N. Alpay, P. Jipsen and M. Sugimoto,
*Varieties of unary-determined distributive l-magmas and bunched implication algebras*, Logical Methods in Computer Science,**20**(1) 1:12, 2024, pp 1-22 doi.org/10.46298/lmcs-20(1:12)2024

- N. Galatos, P. Jipsen and H. Ono, (eds),
*Preface*, in Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics, Studia Logica, Volume 100, Issue 6, 2012 - P. Höfner, P. Jipsen, W. Kahl and M. E. Müller, (eds),
*Preface*, in "Relational and Algebraic Methods in Computer Science", Proceedings of the 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 - May 1, Lecture Notes in Computer Science 8428, Springer, 2014 - P. Höfner, P. Jipsen, W. Kahl and M. E. Müller, (eds),
*Relational and Algebraic Methods in Computer Science*, special issue, Journal of Logical and Algebraic Methods in Programming, Vol 85, Issue 4 (June 2016), 447-652 - U. Fahrenberg, P. Jipsen, M. Winter, (eds), Relational and Algebraic Methods in Computer Science, Proceedings of the 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26 - 29, Proceedings, Lecture Notes in Computer Science 12062, Springer, 2020 doi.org/10.1007/978-3-030-43520-2

ResearchGate profile --- Chapman Digital Commons