| Publication | Date of Publication | Type |
|---|
| Orchards in elliptic curves over finite fields | 2021-02-18 | Paper |
| Automated reasoning with power maps | 2020-04-07 | Paper |
| Means Compatible with Semigroup Laws | 2020-03-06 | Paper |
| Commutativity Theorems in Groups with Power-like Maps | 2019-09-18 | Paper |
| Single identities forcing lattices to be Boolean | 2018-08-23 | Paper |
| Commutativity theorems for cancellative semigroups | 2018-02-28 | Paper |
| Lattices with unique complementation | 2017-11-10 | Paper |
| Automated Deduction in Ring Theory | 2016-09-28 | Paper |
| Group Embedding of the Projective Plane PG(2, 3) | 2013-04-16 | Paper |
| A Geometric Procedure with Prover9 | 2013-04-16 | Paper |
| A 2-base for inverse semigroups | 2012-10-11 | Paper |
| A universal variety of point algebras | 2010-10-20 | Paper |
| Terms that are self-dual in Boolean algebras but not in \(MO_{2}\) | 2010-01-04 | Paper |
| Equational spectrum of Hilbert varieties | 2009-11-02 | Paper |
| Axioms for lattices and Boolean algebras | 2008-09-15 | Paper |
| Another independent self-dual basis for the trivial variety | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5293995 | 2007-07-09 | Paper |
| An implication basis for linear forms | 2007-01-29 | Paper |
| Uniqueness of Steiner laws on cubic curves | 2007-01-22 | Paper |
| Yet another single law for lattices | 2006-07-12 | Paper |
| Self-dual bases for varieties of orthomodular lattices | 2006-07-12 | Paper |
| Levi's commutator theorems for cancellative semigroups. | 2006-03-22 | Paper |
| Orthomodular lattices and permutable congruences | 2006-01-06 | Paper |
| Automated discovery of single axioms for ortholattices | 2006-01-06 | Paper |
| Irredundant self-dual bases for self-dual lattice varieties | 2006-01-06 | Paper |
| Semilattice operations generated by lattice terms | 2005-11-24 | Paper |
| Self-dual lattice identities. | 2005-04-19 | Paper |
| \(M\)-solid varieties generated by lattices | 2003-04-23 | Paper |
| A hyperbase for binary lattice hyperidentities | 2000-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939385 | 2000-02-23 | Paper |
| Lattice ordered polynomial algebras | 1999-05-16 | Paper |
| Single identities for lattice theory and for weakly associative lattices | 1998-11-24 | Paper |
| Automated deduction in equational logic and cubic curves | 1996-08-04 | Paper |
| Varieties of operator semigroups representing partitions | 1996-04-10 | Paper |
| Single identities for ternary Boolean algebras | 1995-05-01 | Paper |
| Automated reasoning about cubic curves | 1995-02-02 | Paper |
| Subdirectly irreducible \(n\)-quasilattices | 1994-12-12 | Paper |
| The number of varieties of pure majority algebras | 1994-11-24 | Paper |
| Binary hyperidentities of lattices | 1993-04-01 | Paper |
| Placement of the Desargues configuration on a cubic curve | 1992-06-26 | Paper |
| Block configurations on real cubic curves | 1992-06-26 | Paper |
| A Nonconstructible Isomorphism | 1992-06-25 | Paper |
| Variety-independence in lattice theory | 1989-01-01 | Paper |
| Self-inscribed polygons with vertices on nonsingular cubic curves | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796295 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776140 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776141 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774449 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3831578 | 1987-01-01 | Paper |
| Identities common to four Abelian group operations with zero | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737480 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3702067 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699712 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184937 | 1985-01-01 | Paper |
| A Self-Dual Equational Basis for Boolean Algebras | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934447 | 1982-01-01 | Paper |
| Logic of Equality in Geometry | 1982-01-01 | Paper |
| Equational Theories with a Minority Polynomial | 1981-01-01 | Paper |
| A first order proof of a theorem of Frink | 1981-01-01 | Paper |
| Idempotent reducts of Abelian groups | 1980-01-01 | Paper |
| A note on lattices with unique comparable complements | 1979-01-01 | Paper |
| Symmetric difference in Abelian groups | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109838 | 1978-01-01 | Paper |
| A polynomial map preserving the finite basis property | 1977-01-01 | Paper |
| Equational theory of algebras with a majority polynomial | 1977-01-01 | Paper |
| Minimal identities for Boolean groups | 1975-01-01 | Paper |
| On M-Symmetric Lattices | 1974-01-01 | Paper |
| Equational Theories of Algebras with Distributive Congruences | 1973-01-01 | Paper |
| A single identity for Boolean groups and Boolean rings | 1972-01-01 | Paper |
| On identities defining lattices | 1972-01-01 | Paper |
| Subdirect decomposition of Plonka sums | 1972-01-01 | Paper |
| Equational theory of idempotent algebras | 1972-01-01 | Paper |
| Characterization of a class of groupoids | 1972-01-01 | Paper |
| Errata | 1972-01-01 | Paper |
| Regular Identities in Lattices | 1971-01-01 | Paper |
| On idempotent, commutative, and nonassociative groupoids | 1971-01-01 | Paper |
| Two Identities for Lattices | 1969-01-01 | Paper |
| Inverse Loops as Groupoids with One Law | 1969-01-01 | Paper |
| On Single Equational-Axiom Systems for Abelian Groups | 1969-01-01 | Paper |
| A note on inverse binary operation in abelian groups | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559560 | 1968-01-01 | Paper |
| On Axioms for Semi-Lattices | 1966-01-01 | Paper |
| On some ternary relations in lattices | 1966-01-01 | Paper |
