Marcel Jackson

40 papers A 3Misc 1Journal 35Unranked 1

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