Peter Jipsen - RankMe

45 papers C 14Journal 23Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Balanced residuated partially ordered semigroups. CoRR Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2025	J	`jnl`	Duality theory and representations for distributive quasi relation algebras and DInFL-algebras. CoRR Andrew Craig, Peter Jipsen, Claudette Robinson
2024	J	`jnl`	Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis
2024	C	`conf`	Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. RAMiCS Andrew Craig, Peter Jipsen, Claudette Robinson
2024	J	`jnl`	Locally Integral Involutive PO-Semigroups. Fundam. Informaticae José Gil-Férez, Peter Jipsen, Melissa Sugimoto
2024	C	`conf`	On the Structure of Balanced Residuated Partially Ordered Monoids. RAMiCS Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2024	J	`jnl`	Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. Log. Methods Comput. Sci. Natanael Alpay, Peter Jipsen, Melissa Sugimoto
2023	C	`conf`	Representable and Diagonally Representable Weakening Relation Algebras. RAMiCS Peter Jipsen, Jas Semrl
2023	J	`jnl`	Representable and diagonally representable weakening relation algebras. CoRR Peter Jipsen, Jas Semrl
2023	C	`conf`	The Structure of Locally Integral Involutive Po-monoids and Semirings. RAMiCS José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
2022	J	`jnl`	Primitive lattice varieties. Int. J. Algebra Comput. Peter Jipsen, James B. Nation
2021	C	`conf`	Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS Willem Conradie, Valentin Goranko, Peter Jipsen
2021	J	`jnl`	Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR Willem Conradie, Valentin Goranko, Peter Jipsen
2021	C	`conf`	Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. RAMiCS Natanael Alpay, Peter Jipsen, Melissa Sugimoto
2020	C	`conf`	Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. RAMiCS Natanael Alpay, Peter Jipsen
2020	C	`ed.`	Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. RAMiCS Uli Fahrenberg, Peter Jipsen, Michael Winter
2020	C	`conf`	Weakening Relation Algebras and FL RAMiCS Nikolaos Galatos, Peter Jipsen
2019	—	`conf`	Logics for Rough Concept Analysis. ICLA Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
2018	J	`jnl`	Logics for Rough Concept Analysis. CoRR Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
2018	C	`conf`	On the Structure of Generalized Effect Algebras and Separation Algebras. RAMiCS Sarah Alexander, Peter Jipsen, Nadiya Upegui
2017	J	`jnl`	An Algebraic Glimpse at Bunched Implications and Separation Logic. CoRR Peter Jipsen, Tadeusz Litak
2017	J	`jnl`	On Tarski's Axiomatic Foundations of the Calculus of Relations. J. Symb. Log. Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi
2017	J	`jnl`	On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Soft Comput. Peter Jipsen
2017	C	`conf`	Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. RAMiCS Peter Jipsen
2016	J	`jnl`	Concurrent Kleene algebra with tests and branching automata. J. Log. Algebraic Methods Program. Peter Jipsen, M. Andrew Moshier
2016	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2014	C	`conf`	Concurrent Kleene Algebra with Tests. RAMiCS Peter Jipsen
2014	C	`ed.`	Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2013	—	`conf`	Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. TACL Peter Jipsen
2013	J	`jnl`	On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Reports Math. Log. Peter Jipsen, Antonio Ledda, Francesco Paoli
2012	C	`conf`	Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. RAMiCS Peter Jipsen
2012	J	`jnl`	Preface. Stud Logica Nikolaos Galatos, Peter Jipsen, Hiroakira Ono
2009	—	`conf`	Domain and Antidomain Semigroups. RelMiCS Jules Desharnais, Peter Jipsen, Georg Struth
2009	J	`jnl`	Generalizations of Boolean products for lattice-ordered algebras. Ann. Pure Appl. Log. Peter Jipsen
2008	—	`conf`	The Structure of the One-Generated Free Domain Semiring. RelMiCS Peter Jipsen, Georg Struth
2004	J	`jnl`	Algebraic Aspects of Cut Elimination. Stud Logica Francesco Belardinelli, Peter Jipsen, Hiroakira Ono
2004	J	`jnl`	From Semirings to Residuated Kleene Lattices. Stud Logica Peter Jipsen
2004	J	`jnl`	Minimal Expansions of Semilattices. Int. J. Algebra Comput. Peter Jipsen, Andrzej Kisielewicz
2003	—	`conf`	A Note on Complex Algebras of Semigroups. RelMiCS Peter Jipsen
2001	J	`jnl`	Rudin-Keisler Posets of Complete Boolean Algebras. Math. Log. Q. Peter Jipsen, Alexander Pinus, Henry Rose
2000	—	`conf`	Some Results about Complex Algebras of Algebras. RelMiCS Peter Jipsen
1999	J	`jnl`	Partition Complete Boolean Algebras and Almost Compact Cardinals. Math. Log. Q. Peter Jipsen, Henry Rose
1998	—	`conf`	Sequential Q-algebras. RelMiCS Peter Jipsen
1997	—	`ch.`	Background Material. Relational Methods in Computer Science Peter Jipsen, Chris Brink, Gunther Schmidt
1997	J	`jnl`	Nonrepresentable Sequential Algebras. Log. J. IGPL Peter Jipsen, Roger D. Maddux