Marcel Jackson

Orcid: 0000-0002-8149-1141

According to our database¹, Marcel Jackson authored at least 32 papers between 2000 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Restriction in Program Algebra.

[BibT_eX]

[DOI]

Marcel Jackson

Tim Stokes

Log. J. IGPL, September, 2023

2022

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity.

[BibT_eX]

[DOI]

Lucy Ham

Marcel Jackson

CoRR, 2022

Qualitative representations of chromatic algebras.

[BibT_eX]

[DOI]

CoRR, 2022

2019

Algebraic foundations for qualitative calculi and networks.

[BibT_eX]

[DOI]

Robin Hirsch

Marcel Jackson

Tomasz Kowalski

Theor. Comput. Sci., 2019

Domain and range for angelic and demonic compositions.

[BibT_eX]

[DOI]

Marcel Jackson

Szabolcs Mikulás

J. Log. Algebraic Methods Program., 2019

Override and update.

[BibT_eX]

[DOI]

Marcel Jackson

Tim Stokes

CoRR, 2019

2017

On the atoms of algebraic lattices arising in 픮-theory.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2017

Axiomatisability and hardness for universal Horn classes of hypergraphs.

[BibT_eX]

[DOI]

Lucy Ham

Marcel Jackson

CoRR, 2017

All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems.

[BibT_eX]

[DOI]

Lucy Ham

Marcel Jackson

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Complexity and polymorphisms for digraph constraint problems under some basic constructions.

[BibT_eX]

[DOI]

Marcel Jackson

Tomasz Kowalski

Todd Niven

Int. J. Algebra Comput., 2016

Low growth equational complexity.

[BibT_eX]

[DOI]

Marcel Jackson

CoRR, 2016

Algebraic foundations for qualitative calculi and networks.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Monoids with tests and the algebra of possibly non-halting programs.

[BibT_eX]

[DOI]

Marcel Jackson

Tim Stokes

J. Log. Algebraic Methods Program., 2015

Flexible constraint satisfiability and a problem in semigroup theory.

[BibT_eX]

[DOI]

Marcel Jackson

CoRR, 2015

A finer reduction of constraint problems to digraphs.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

On Maltsev Digraphs.

[BibT_eX]

[DOI]

Electron. J. Comb., 2015

2014

The algebra of functions with antidomain and range.

[BibT_eX]

[DOI]

Robin Hirsch

Marcel Jackson

Szabolcs Mikulás

CoRR, 2014

2013

Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.

[BibT_eX]

[DOI]

Marcel Jackson

Belinda Trotta

Stud Logica, 2013

Digraph related constructions and the complexity of digraph homomorphism problems

[BibT_eX]

[DOI]

Marcel Jackson

Tomasz Kowalski

Todd Niven

CoRR, 2013

On the Reduction of the CSP Dichotomy Conjecture to Digraphs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Well-structured program equivalence is highly undecidable.

[BibT_eX]

[DOI]

Robert Goldblatt

Marcel Jackson

ACM Trans. Comput. Log., 2012

Undecidability of representability as binary relations.

[BibT_eX]

[DOI]

Robin Hirsch

Marcel Jackson

J. Symb. Log., 2012

2011

Modal restriction Semigroups: towards an Algebra of Functions.

[BibT_eX]

[DOI]

Marcel Jackson

Timothy Stokes

Int. J. Algebra Comput., 2011

Proving Symmetries by Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion.

[BibT_eX]

[DOI]

Marcel Jackson

Mikhail V. Volkov

Proceedings of the Fields of Logic and Computation, 2010

2009

SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS.

[BibT_eX]

[DOI]

Marcel Jackson

Timothy Stokes

Int. J. Algebra Comput., 2009

2008

Flat algebras and the translation of universal Horn logic to equational logic.

[BibT_eX]

[DOI]

Marcel Jackson

J. Symb. Log., 2008

2006

Identities in the Algebra of Partial Maps.

[BibT_eX]

[DOI]

Marcel Jackson

Timothy Stokes

Int. J. Algebra Comput., 2006

Interpreting Graph Colorability in Finite Semigroups.

[BibT_eX]

[DOI]

Marcel Jackson

Ralph McKenzie

Int. J. Algebra Comput., 2006

2005

Finite Semigroups with Infinite Irredundant Identity Bases.

[BibT_eX]

[DOI]

Marcel Jackson

Int. J. Algebra Comput., 2005

2003

Dualisability of Finite Semigroups.

[BibT_eX]

[DOI]

Marcel Jackson

Int. J. Algebra Comput., 2003

2000

Finitely Based, Finite Sets of Words.

[BibT_eX]

[DOI]

Marcel Jackson

Olga Sapir

Int. J. Algebra Comput., 2000

Marcel Jackson

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...