Author

Matthew A. Valeriote

Observed names: M. A. Valeriote, M. Valeriote, MATT VALERIOTE, Matt Valeriote, Matt, Valeriote, Matthew A. Valeriote, Matthew Valeriote, Valeriote, Matt, Valeriote, Matthew

Institution: McMaster University

Observed institutions: Natural Sciences and Engineering Research Council of Canada, University of Waterloo, Carnegie Mellon University, University of California, Berkeley, Stanford University, McMaster University

ORCID: 0000-0001-6568-7526

Observed ORCID: 0000-0001-6568-7526

OpenAlex ID: A5081757255

Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.

1989 · Matthew Valeriote · Journal of Symbolic Logic · 297

Varieties with few subalgebras of powers

2009 · Joel Berman, Paweł Idziak, et al. · Transactions of the American Mathematical Society · 122

PDF

Tractability and Learnability Arising from Algebras with Few Subpowers

2010 · PaweŁ Idziak, Petar Marković, et al. · SIAM Journal on Computing · 118

Recent Results on the Algebraic Approach to the CSP

2008 · Andrei A. Bulatov, Matthew A. Valeriote · Lecture notes in computer science · 65

Characterizations of several Maltsev conditions

2015 · Marcin Kozik, Andrei Krokhin, et al. · Algebra Universalis · 61

Structure of Decidable Locally Finite Varieties

1989 · Ralph McKenzie, Matthew Valeriote · Progress in mathematics · 58

Lectures on Algebraic Model Theory

2001 · Hart, Bradd, Valeriote, Matthew · American Mathematical Society eBooks · 49

On the Complexity of Some Maltsev Conditions

2009 · RALPH FREESE, MATTHEW A. VALERIOTE · International Journal of Algebra and Computation · 48

Tractability and learnability arising from algebras with few subpowers

2007 · Pawel Idziak, Petar Markovic, et al. · Proceedings - Symposium on Logic in Computer Science · 44

A Subalgebra Intersection Property for Congruence Distributive Varieties

2009 · Matthew A. Valeriote · Canadian Journal of Mathematics · 31

PDF

Minimal sets and varieties

1998 · Keith Kearnes, Emil Kiss, et al. · Transactions of the American Mathematical Society · 24

PDF

Abelian algebras and the hamiltonian property

1993 · Emil W. Kiss, Matthew A. Valeriote · Journal of Pure and Applied Algebra · 21

Omitting Types, Bounded Width and the Ability to Count

2009 · BENOIT LAROSE, MATT VALERIOTE, et al. · International Journal of Algebra and Computation · 20

On tractability and congruence distributivity

2007 · Emil Kiss, Matthew Valeriote · Logical Methods in Computer Science · 18

PDF

Decidable discriminator varieties from unary varieties

1991 · Stanley Burris, Ralph Mckenzie, et al. · Journal of Symbolic Logic · 17

Idempotent n -permutable varieties

2014 · M. Valeriote, R. Willard · Bulletin of the London Mathematical Society · 16

Finite Simple Abelian Algebras are Strictly Simple

1990 · Matthew A. Valeriote · Proceedings of the American Mathematical Society · 16

PDF

Algebraic Model Theory

1997 · Hart, Bradd, Lachlan, Alistair, et al. · Springer eBooks · 15

A Structure Theorem for Strongly Abelian Varieties with Few Models

1991 · Bradd Hart, Matthew Valeriote · Journal of Symbolic Logic · 14

Vaught's Conjecture for Varieties

1994 · Bradd Hart, Sergei Starchenko, et al. · Transactions of the American Mathematical Society · 13

PDF

Deciding Some Maltsev Conditions in Finite Idempotent Algebras

2020 · ALEXANDR KAZDA, MATT VALERIOTE · Journal of Symbolic Logic · 10

PDF

On Tractability and Congruence Distributivity

2006 · E. Kiss, M. Valeriote · Proceedings - Symposium on Logic in Computer Science · 10

A geometric consequence of residual smallness

1999 · Keith A. Kearnes, Emil W. Kiss, et al. · Annals of Pure and Applied Logic · 10

PDF

Testing Assignments to Constraint Satisfaction Problems

2016 · Hubie Chen, Matt Valeriote, et al. · Annual Symposium on Foundations of Computer Science · 9

PDF

Some Properties of Finitely Decidable Varieties

1992 · MATTHEW A. VALERIOTE, ROSS WILLARD · International Journal of Algebra and Computation · 9

Works count: 90

Citation count: 1,206

H-index: 16

I10-index: 23