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. H. Chen, M. Valeriote, Learnability of Solutions to Conjunctive Queries, Journal of Machine Learning Research, Vol. 20 (2019), 1-28. Download: pdf
  2. A. Kazda, M. Valeriote, Deciding some Maltsev conditions in finite idempotent algebras. Journal of Symbolic Logic, (accepted) 2019, 1-33. Download: pdf
  3. R. Freese, JB Nation, M. Valeriote, Testing for a semilattice term. Order. Vol. 36(1) (2019), 65-76. Download: pdf
  4. A. Kazda, J. Oprsal, M. Valeriote, D. Zhuk, Deciding the existence of minority terms. Canadian Mathematical Bulletin, (accepted) 2019, 1- 15. Download: pdf
  5. W. DeMeo, R. Freese, M. Valeriote, Polynomial-time tests for difference terms in idempotent varieties, International Journal of Algebra and Computation, Vol. 29(6) (2019), 927-949. Download: pdf
  6. H. Chen, M. Valeriote, Y. Yoshida, Constant-query testability of assignments to constraint satisfaction problems, SIAM Journal on Computing. Vol. 48(3) (2019), 1022-1045.  Download: pdf
  7.  M. Campanella, S. Conley, and M. Valeriote, Preserving near unanimity terms under products, Algebra Universalis, Vol. 76 (2016), 293-300. Download: pdf
  8. M. Kozik, A. Krokhin, M. Valeriote, and R. Willard, Characterizations of several  Maltsev conditions, Algebra Universalis, Vol. 73 (2015), 205-224.  Download: pdf
  9. M. Valeriote and R. Willard, Idempotent n-permutable varieties, Bulletin of the London Mathematical Society, Vol. 46 (2014), 870-880. Download: pdf
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. M. Valeriote, A subalgebra intersection property for congruence distributive varieties,  the Canadian Journal of Mathematics, 61 (2009), no. 2, 451-464. Download: pdf
  18. 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
  19. 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
  20. 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
  21. 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
  22. K. Kearnes and M. Valeriote, A modification of Polin's variety, Algebra Universalis, vol. 41, 1999, 229--231. Download: pdf
  23. 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
  24. 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
  25. M. Valeriote and R. Willard, Discriminating Varieties,  Algebra Universalis, Vol. 32, 1994, pages 177--188. Download: pdf
  26. 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
  27. M. Valeriote, On Solvable Congruences in Finitely Decidable Varieties, Mathematical Logic Quarterly, Vol. 40, 1994, pages 398--414. Download: pdf
  28. 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
  29. M. Valeriote and R. Willard, Some Properties of Finitely Decidable Varieties, International Journal of Algebra and Computation, Vol. 2, 1992, 89--101. Download: pdf
  30. S. Burris, R. McKenzie and M. Valeriote, Decidable Discriminator Varieties from Unary Varieties, Journal of Symbolic Logic, Vol. 56, 1991, 1355--1368. Download: pdf
  31. E. Kiss and M. Valeriote, Strongly Abelian Varieties and the Hamiltonian Property, Can. J. of Math., Vol. 43, 1991, 331-346. Download: dvi
  32. 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
  33. R. Willard and M. Valeriote, A Characterization of Congruence Permutable Locally Finite Varieties, Journal of Algebra, Vol. 140, 1991, 362--369. Download: pdf
  34. M. Valeriote, Finite Simple Abelian Algebras are Strictly Simple, Proc. of the Amer. Math. Soc., Vol. 108, 1990, 49--57. Download: pdf
  35. M. Valeriote, Decidable Unary Varieties, Algebra Universalis, Vol. 24, 1--20, 1987. Download pdf
  36. S. Burris and M. Valeriote, Expanding Varieties by Monoids of Endomorphisms, Algebra Universalis, Vol 17, 1983, 150--169. Download pdf

Submitted Articles

Conference Proceedings

  1. L. Barto, M. Kozik, J. Tan, M. Valeriote, Sensitive instances of the Constraint Satisfaction Problem (extended abstract), Proceedings of the 47th International Colloquium on Automata, Languages and Programming, 2020, 19 pages. Download: abstract,   full version 
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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/Projects

  1. J. Tan, Rabin's Theorem, M.Sc. Project Report, McMaster University, 2019. Download: pdf
  2. M. Verwer, Bergman's condition and varieties with near unanimity terms, M.Sc. Project Report, McMaster University, 2019. Download: pdf
  3. D. Faig, Definability of tree languages, M.Sc. Project Report, McMaster University, 2018. Download: pdf
  4. A. Chicco, Prime Maltsev conditions and congruence n-permutability, PhD Thesis, McMaster University, 2018. Download: pdf
  5. M. Campanella, Preserving near unanimity terms under direct products, M.Sc. Project Report, McMaster University, 2013. Download: pdf
  6.  J. Horowitz, Complexity of Linear Idempotent Mal'cev Conditions, PhD Thesis, McMaster University, 2011. Download: pdf
  7. A. Hafsa, Idempotent Maltsev Conditions, M.Sc. Project Report, McMaster University, 2011. Download: pdf
  8. C. McGarry, k-fold systems of projections and congruence modularity, M.Sc. Thesis, McMaster University, 2009. Download: pdf
  9.  G. Williams, Some results on the subalgebra intersection property, M.Sc. Thesis, McMaster University, 2008. Download: pdf