| Publication | Date of Publication | Type |
|---|
Restriction in Program Algebra
Logic Journal of the IGPL | 2024-02-20 | Paper |
Equationally defined classes of semigroups
Semigroup Forum | 2024-01-09 | Paper |
Edge colourings and qualitative representations of chromatic algebras
Journal of Algebraic Combinatorics | 2023-07-18 | Paper |
Flat extensions of groups and limit varieties of additively idempotent semirings
Journal of Algebra | 2023-04-04 | Paper |
Nonfinitely based ai-semirings with finitely based semigroup reducts
Journal of Algebra | 2022-09-29 | Paper |
Flat extensions of groups and limit varieties of ai-semirings
(available as arXiv preprint) | 2022-08-29 | Paper |
Nonfinitely based ai-semirings with finitely based semigroup reducts
(available as arXiv preprint) | 2021-12-27 | Paper |
Undecidability of Algebras of Binary Relations
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
From \(A\) to \(B\) to \(Z\)
Semigroup Forum | 2021-06-30 | Paper |
Override and update
Journal of Pure and Applied Algebra | 2020-09-24 | Paper |
Algebras defined by equations
Journal of Algebra | 2020-04-21 | Paper |
Low growth equational complexity
Proceedings of the Edinburgh Mathematical Society | 2019-08-09 | Paper |
Domain and range for angelic and demonic compositions
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Domain and range for angelic and demonic compositions
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Algebraic foundations for qualitative calculi and networks
Theoretical Computer Science | 2019-03-26 | Paper |
Axiomatisability and hardness for universal Horn classes of hypergraphs
Algebra Universalis | 2018-07-16 | Paper |
Erratum to: ``Finiteness properties of varieties and the restriction to finite algebras
Semigroup Forum | 2018-06-13 | Paper |
Monoid varieties with extreme properties
Transactions of the American Mathematical Society | 2018-04-23 | Paper |
On the atoms of algebraic lattices arising in 𝔮-theory
International Journal of Algebra and Computation | 2017-05-16 | Paper |
Axiomatisability and hardness for universal Horn classes of hypergraphs
(available as arXiv preprint) | 2017-04-07 | Paper |
Complexity and polymorphisms for digraph constraint problems under some basic constructions
International Journal of Algebra and Computation | 2016-12-14 | Paper |
| All or nothing: toward a promise problem dichotomy for constraint problems | 2016-11-03 | Paper |
The algebra of functions with antidomain and range
Journal of Pure and Applied Algebra | 2016-02-04 | Paper |
The algebra of functions with antidomain and range
Journal of Pure and Applied Algebra | 2016-02-04 | Paper |
A finer reduction of constraint problems to digraphs
Logical Methods in Computer Science | 2016-01-07 | Paper |
| Flexible constraint satisfiability and a problem in semigroup theory | 2015-12-09 | Paper |
| Infinite irredundant equational axiomatisability for a finite monoid | 2015-11-18 | Paper |
Well-structured program equivalence is highly undecidable
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Natural dualities, nilpotence and projective planes
Algebra Universalis | 2015-09-01 | Paper |
On Maltsev digraphs
The Electronic Journal of Combinatorics | 2015-03-11 | Paper |
Monoids with tests and the algebra of possibly non-halting programs
Journal of Logical and Algebraic Methods in Programming | 2015-02-27 | Paper |
On the reduction of the CSP dichotomy conjecture to digraphs
Lecture Notes in Computer Science | 2014-05-12 | Paper |
On representing semigroups with subsemilattices.
Journal of Algebra | 2013-08-26 | Paper |
Constraint satisfaction, irredundant axiomatisability and continuous colouring
Studia Logica | 2013-08-19 | Paper |
Undecidability of representability as binary relations
Journal of Symbolic Logic | 2013-01-07 | Paper |
Finite degree: algebras in general and semigroups in particular
Semigroup Forum | 2012-03-23 | Paper |
Modal restriction semigroups: towards an algebra of functions.
International Journal of Algebra and Computation | 2012-01-11 | Paper |
On Maltsev digraphs
Computer Science – Theory and Applications | 2011-06-17 | Paper |
The equational complexity of Lyndon's algebra
Algebra Universalis | 2011-06-01 | Paper |
The algebra of adjacency patterns: Rees matrix semigroups with reversion
Fields of Logic and Computation | 2010-09-03 | Paper |
The Division Relation: Congruence Conditions and Axiomatisability
Communications in Algebra | 2010-03-24 | Paper |
| The Kuratowski closure-complement theorem | 2010-03-02 | Paper |
Semigroups with if-then-else and halting programs
International Journal of Algebra and Computation | 2010-01-15 | Paper |
Partial Maps with Domain and Range: Extending Schein's Representation
Communications in Algebra | 2009-09-11 | Paper |
Undecidable problems for completely 0-simple semigroups.
Journal of Pure and Applied Algebra | 2009-06-18 | Paper |
Relatively inherently nonfinitely q-based semigroups
Transactions of the American Mathematical Society | 2009-04-17 | Paper |
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
Journal of the Australian Mathematical Society | 2008-12-22 | Paper |
| Residual bounds for compact totally disconnected algebras | 2008-07-21 | Paper |
The axiomatizability of topological prevarieties
Advances in Mathematics | 2008-07-10 | Paper |
Flat algebras and the translation of universal Horn logic to equational logic
Journal of Symbolic Logic | 2008-05-08 | Paper |
IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
International Journal of Algebra and Computation | 2007-03-21 | Paper |
INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
International Journal of Algebra and Computation | 2006-05-29 | Paper |
| Syntactic semigroups and the finite basis problem. | 2006-02-13 | Paper |
Standard topological algebras: syntactic and principal congruences and profiniteness
Algebra Universalis | 2006-01-06 | Paper |
Semilattices with closure
Algebra Universalis | 2006-01-06 | Paper |
FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES
International Journal of Algebra and Computation | 2005-09-12 | Paper |
Finiteness properties of varieties and the restriction to finite algebras.
Semigroup Forum | 2005-06-06 | Paper |
On locally finite varieties with undecidable equational theory.
Algebra Universalis | 2005-04-19 | Paper |
Generalising congruence regularity for varieties.
Algebra Universalis | 2005-04-19 | Paper |
Semilattice Pseudo-complements on Semigroups
Communications in Algebra | 2005-01-24 | Paper |
DUALISABILITY OF FINITE SEMIGROUPS
International Journal of Algebra and Computation | 2004-08-06 | Paper |
Agreeable semigroups.
Journal of Algebra | 2003-09-07 | Paper |
Small inherently nonfinitely based finite semigroups
Semigroup Forum | 2002-05-30 | Paper |
An invitation to \(C\)-semigroups
Semigroup Forum | 2002-04-07 | Paper |
Finitely based, finite sets of words
International Journal of Algebra and Computation | 2001-11-21 | Paper |
scientific article; zbMATH DE number 1668759 (Why is no real title available?)
Acta Scientiarum Mathematicarum | 2001-11-05 | Paper |
| scientific article; zbMATH DE number 1563405 (Why is no real title available?) | 2001-05-13 | Paper |
Small semigroup related structures with infinite properties
Bulletin of the Australian Mathematical Society | 2001-02-28 | Paper |
Finite semigroups whose varieties have uncountably many subvarieties
Journal of Algebra | 2001-01-29 | Paper |
Some undecidable embedding problems for finite semigroups
Proceedings of the Edinburgh Mathematical Society | 2000-05-04 | Paper |
A note on HSI-algebras and counterexamples to Wilkie's identity
Algebra Universalis | 1998-11-24 | Paper |
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
(available as arXiv preprint) | N/A | Paper |
