Publication List

Books, Chapters in Books

  1. B. Hart and M. Valeriote (editors),  Lectures on Algebraic Model Theory, Fields Institute Monographs, volume 15, published by the American Mathematical Society, 2002.
  2. M. Clasen and M. Valeriote, Tame Congruence Theory, in Lectures on Algebraic Model Theory, Fields Institute Monographs, volume 15, pages 67--111, published by the American Mathematical Society, 2002. Downloadpdf
  3. B. Hart, A. Lachlan and M. Valeriote (editors), Proceedings of the NATO Advanced Studies Institute on Algebraic Model Theory, Kluwer Academic Publishers, NATO ASI Series C, 277 pages, Volume 496, 1997.
  4. M. Valeriote, Decidable Equational Classes in Proceedings of the NATO ASI on Algebraic Model Theory, edited by A. Lachlan et al, Kluwer Academic Publishing, NATO ASI Series C, Volume 496, pages 207-221, 1997. Download: pdf
  5. R. McKenzie and M. Valeriote, The Structure of Decidable Locally Finite Varieties, Birkhauser, Boston, Progress in Mathematics Series, 212 pages, Volume 79, October 1989.

Refereed Journal Publications 

  1.  M. Campanella, S. Conley, and M. Valeriote, Preserving near unanimity terms under products, Algebra Universalis (accepted)  2015, 10 pages. Download: pdf
  2. M. Kozik, A. Krokhin, M. Valeriote, and R. Willard, Characterizations of several  Maltsev conditions, Algebra Universalis, 73 (2015), 205-224.  Download: pdf
  3. M. Valeriote and R. Willard, Idempotent n-permutable varieties, Bulletin of the London Mathematical Society, Vol. 46 (2014), 870-880. Download: pdf
  4. S. Bova, H. Chen, and M. Valeriote, Generic Expression Hardness Results for Primitive Positive Formula Comparison, Information and Computation, Vol. 222 (2013), 108-120. Download: pdf
  5. S. Bova, H. Chen, and M. Valeriote, On the expression complexity of equivalence and isomorphism of primitive positive formulas, Theory of Computing Systems, Vol. 50  (2012), no. 2, 329-353.  Download: pdf
  6. P. Idziak, P. Markovic, R. McKenzie, M. Valeriote, and R. Willard, Tractability and learnability arising from algebras with few subpowers,  SIAM Journal on Computing, Vol. 39 (7) 2010, 3023-3037. Download: pdf
  7. J. Berman, P. Idziak, P. Markovic, R. McKenzie, M. Valeriote and R. Willard, Varieties with few subalgebras of powers, Transactions of the American Mathematical Society, Vol. 362, Number 3, March 2010, 1445-1473. Download: pdf
  8. B. Larose, M. Valeriote, and L. Zádori, Omitting types, bounded width and the ability to count,  International Journal of Algebra and Computation, 19 (2009), no. 5, 647-668. Download: pdf
  9. R. Freese, M. Valeriote, On the complexity of some Maltsev conditions, International Journal of Algebra and Computation, 19 (2009), no. 2, 451-464. Download: pdf
  10. P. Idziak, R. McKenzie and M. Valeriote, The structure of locally finite varieties with polynomially many models, the Journal of the American Mathematical Society, 22 (2009), no. 1, 119-165. Download: pdf
  11. M. Valeriote, A subalgebra intersection property for congruence distributive varieties,  the Canadian Journal of Mathematics, 61 (2009), no. 2, 451-464. Download: pdf
  12. P. Idziak, K. Kearnes, E. Kiss and M. Valeriote, Definable principal congruences and solvability,  the Annals of Pure and Applied Logic, 157 (2009), no. 1, 30-49.  Download: pdf
  13. E. Kiss and M. Valeriote, On tractability and congruence distributivity, Logical Methods in Computer Science, Vol. 3 (2:6) 2007, 20 pages.  Link to online version of the paper
  14. P. Idziak and M. Valeriote, A property of the solvable radical in finitely decidable varieties, Fundamenta Mathematicae, 170 (2001), no. 1-2, 69--86. Download: pdf
  15. K. Kearnes, E.  Kiss and M. Valeriote, A geometric consequence of residual smallness, the Annals of Pure and Applied Logic, vol. 99 1999, 137--169. Download: pdf
  16. K. Kearnes and M. Valeriote, A modification of Polin's variety, Algebra Universalis, vol. 41, 1999, 229--231. Download: pdf
  17. K. Kearnes, E. Kiss and M. Valeriote, Minimal sets and varieties, the Transactions of the American Mathematical Society, Vol. 350, Number 1, 1998, pages 1--41. Download: pdf
  18. M. Valeriote, A Residually small, finitely generated, semi-simple variety which is not residually finite, International Journal of Algebra and Computation, Vol. 6, No. 5 1996, 563-569. Download: pdf
  19. M. Valeriote and R. Willard, Discriminating Varieties,  Algebra Universalis, Vol. 32, 1994, pages 177--188. Download: pdf
  20. B. Hart, S. Starchenko and M. Valeriote,  Vaught's Conjecture for Varieties, the Transactions of the American Mathematical Society, Vol. 342, Number 1,  March 1994, pages 173--196. Download: pdf
  21. M. Valeriote, On Solvable Congruences in Finitely Decidable Varieties, Mathematical Logic Quarterly, Vol. 40, 1994, pages 398--414. Download: pdf
  22. E. Kiss and M. Valeriote, Abelian Algebras and the Hamiltonian Property, the Journal of Pure and Applied Algebra,  Vol. 87, 1993, pages 37--49. Download: dvi
  23. M. Valeriote and R. Willard, Some Properties of Finitely Decidable Varieties, International Journal of Algebra and Computation, Vol. 2, 1992, 89--101. Download: pdf
  24. S. Burris, R. McKenzie and M. Valeriote, Decidable Discriminator Varieties from Unary Varieties, Journal of Symbolic Logic, Vol. 56, 1991, 1355--1368. Download: pdf
  25. E. Kiss and M. Valeriote, Strongly Abelian Varieties and the Hamiltonian Property, Can. J. of Math., Vol. 43, 1991, 331-346. Download: dvi
  26. B. Hart and M. Valeriote, A Structure Theorem for Strongly Abelian Varieties with Few Models, Journal of Symbolic Logic, Vol. 56, 1991, 832--852. Download: pdf
  27. R. Willard and M. Valeriote, A Characterization of Congruence Permutable Locally Finite Varieties, Journal of Algebra, Vol. 140, 1991, 362--369. Download: pdf
  28. M. Valeriote, Finite Simple Abelian Algebras are Strictly Simple, Proc. of the Amer. Math. Soc., Vol. 108, 1990, 49--57. Download: pdf
  29. M. Valeriote, Decidable Unary Varieties, Algebra Universalis, Vol. 24, 1--20, 1987. Download pdf
  30. S. Burris and M. Valeriote, Expanding Varieties by Monoids of Endomorphisms, Algebra Universalis, Vol 17, 1983, 150--169. Download pdf

Submitted Articles

  1. H. Chen, M. Valeriote, Y. Yoshida, Testing assignments to constraint satisfaction problems, 27 pages, 2015. Download: pdf

Conference Proceedings

  1. H. Chen, M. Valeriote, Learnability of solutions to conjunctive queries: the full dichotomy (extended abstract) , Proceedings of the 28th Conference on Learning Theory, Journal of Machine Learning Research Workshop and Conference Proceedings, Vol 40, 2015, 12 pages. Download: pdf
  2. S. Bova, H. Chen, and M. Valeriote, Generic Expression Hardness Results for Primitive Positive Formula Comparison (extended abstract). Proceedings of the 38th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 6755, Springer, 2011. Download: pdf
  3. A. Bulatov, M. Valeriote, Results on the algebraic approach to the CSP,  in Complexity of Constraints: An Overview of Current
    Research Themes, published by Springer-Verlag, 2008, 68-92. Download: pdf
  4. P. Idziak, P. Markovic, R. McKenzie, M. Valeriote and R. Willard, Tractability and learnability arising from algebras with few subpowers (extended abstract), Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, 2007Download: pdf
  5. E. Kiss and M. Valeriote, On tractability and congruence distributivity (extended abstract)Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, 2006, IEEE, 221--230.  Download: pdf
  6. R. McKenzie and M. Valeriote, A Characterization of Decidable Locally Finite Varieties, Proceedings of the International Conference on Algebra honoring A.  Malcev, Editors: L. A. Bokut et al., Contemporary Mathematics Series, Vol 131, 1992 (Part 3), 169-185. Download: pdf

Non-refereed Contributions

  1. S. Bova, H. Chen, and M. Valeriote, On the expression complexity of equivalence and isomorphism of primitive positive formulas, in The Constraint Satisfaction Problem: Complexity and Approximability,  no. 09441 in Dagstuhl Seminar Proceedings, Germany, 2010. Download: pdf
  2. M. Valeriote, Introduction to Universal Algebra,  Lecture notes from the First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science, Rand Afrikaans University, Johannesburg, December 1999. Download: pdf
  3. M. Valeriote, Review of Commutator Theory for Congruence Modular Varieties, by R. Freese and R. McKenzie, the Journal of Symbolic Logic, Vol. 54, 1989, 1114--1115. Download: pdf

Graduate Student Theses

  1. M. Campanella, Preserving near unanimity terms under direct products, M.Sc. Project Report, McMaster University, 2013. Download: pdf
  2.  J. Horowitz, Complexity of Linear Idempotent Mal'cev Conditions, PhD Thesis, McMaster University, 2011. Download: pdf
  3. A. Hafsa, Idempotent Maltsev Conditions, M.Sc. Project Report, McMaster University, 2011. Download: pdf
  4. C. McGarry, k-fold systems of projections and congruence modularity, M.Sc. Thesis, McMaster University, 2009. Download: pdf
  5.  G. Williams, Some results on the subalgebra intersection property, M.Sc. Thesis, McMaster University, 2008. Download: pdf