Marcel Jackson

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 14

Top Topics

Finite Model Theory

Cardinal Directions

Qualitative Spatial

Constraint Problems

Top Venues

J. Log. Algebraic Methods Program.

Int. J. Algebra Comput.

Publications

Marcel Jackson, Tim Stokes
Restriction in Program Algebra. Log. J. IGPL 31 (5) (2023)
Lucy Ham, Marcel Jackson
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity. CoRR (2022)
Badriah Al Juaid, Marcel Jackson, James Koussas, Tomasz Kowalski
Qualitative representations of chromatic algebras. CoRR (2022)
Marcel Jackson, Szabolcs Mikulás
Domain and range for angelic and demonic compositions. J. Log. Algebraic Methods Program. 103 (2019)
Marcel Jackson, Tim Stokes
Override and update. CoRR (2019)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski
Algebraic foundations for qualitative calculi and networks. Theor. Comput. Sci. 768 (2019)
Marcel Jackson, Szabolcs Mikulás
Domain and range for angelic and demonic compositions. CoRR (2018)
Attila Egri-Nagy, Marcel Jackson, John Rhodes, Benjamin Steinberg
On the atoms of algebraic lattices arising in 픮-theory. Int. J. Algebra Comput. 27 (2) (2017)
Lucy Ham, Marcel Jackson
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. CP (2017)
Lucy Ham, Marcel Jackson
Axiomatisability and hardness for universal Horn classes of hypergraphs. CoRR (2017)
Lucy Ham, Marcel Jackson
All or nothing: toward a promise problem dichotomy for constraint problems. CoRR (2016)
Marcel Jackson
Low growth equational complexity. CoRR (2016)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven
Algebraic foundations for qualitative calculi and networks. CoRR (2016)
Marcel Jackson, Tomasz Kowalski, Todd Niven
Complexity and polymorphisms for digraph constraint problems under some basic constructions. Int. J. Algebra Comput. 26 (7) (2016)
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
A finer reduction of constraint problems to digraphs. Log. Methods Comput. Sci. 11 (4) (2015)
Marcel Jackson, Tim Stokes
Monoids with tests and the algebra of possibly non-halting programs. J. Log. Algebraic Methods Program. 84 (2) (2015)
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
On Maltsev Digraphs. Electron. J. Comb. 22 (1) (2015)
Marcel Jackson
Flexible constraint satisfiability and a problem in semigroup theory. CoRR (2015)
Marcel Jackson, Tim Stokes
Monoids with tests and the algebra of possibly non-halting programs. CoRR (2014)
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
The algebra of functions with antidomain and range. CoRR (2014)
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
On the Reduction of the CSP Dichotomy Conjecture to Digraphs. CP (2013)
Marcel Jackson, Belinda Trotta
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring. Stud Logica 101 (1) (2013)
Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
On the reduction of the CSP dichotomy conjecture to digraphs CoRR (2013)
Marcel Jackson, Tomasz Kowalski, Todd Niven
Digraph related constructions and the complexity of digraph homomorphism problems CoRR (2013)
Robert Goldblatt, Marcel Jackson
Well-structured program equivalence is highly undecidable. ACM Trans. Comput. Log. 13 (3) (2012)
Robin Hirsch, Marcel Jackson
Undecidability of representability as binary relations. J. Symb. Log. 77 (4) (2012)
Marcel Jackson, Timothy Stokes
Modal restriction Semigroups: towards an Algebra of Functions. Int. J. Algebra Comput. 21 (7) (2011)
Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace
Proving Symmetries by Model Transformation. CP (2011)
Robert Goldblatt, Marcel Jackson
Well structured program equivalence is highly undecidable CoRR (2011)
Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven
On Maltsev Digraphs. CSR (2011)
Marcel Jackson, Mikhail V. Volkov
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion. Fields of Logic and Computation (2010)
Marcel Jackson, Timothy Stokes
SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS. Int. J. Algebra Comput. 19 (7) (2009)
Marcel Jackson
Flat algebras and the translation of universal Horn logic to equational logic. J. Symb. Log. 73 (1) (2008)
Marcel Jackson, Timothy Stokes
Identities in the Algebra of Partial Maps. Int. J. Algebra Comput. 16 (6) (2006)
Marcel Jackson, Ralph McKenzie
Interpreting Graph Colorability in Finite Semigroups. Int. J. Algebra Comput. 16 (1) (2006)
Marcel Jackson
Finite Semigroups with Infinite Irredundant Identity Bases. Int. J. Algebra Comput. 15 (3) (2005)
Marcel Jackson
Dualisability of Finite Semigroups. Int. J. Algebra Comput. 13 (4) (2003)
Marcel Jackson, Olga Sapir
Finitely Based, Finite Sets of Words. Int. J. Algebra Comput. 10 (6) (2000)