Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. - Jesús A. De Loera; Jon Lee 001; Peter N. Malkin; Susan Margulies (ISSAC, 2008)

Computing generating sets of lattice ideals and Markov bases of lattices. - Raymond Hemmecke; Peter N. Malkin (J. Symb. Comput., 2009)

Recognizing Graph Theoretic Properties with Polynomial Ideals. - Jesús A. De Loera; Christopher J. Hillar; Peter N. Malkin; Mohamed Omar (Electron. J. Comb., 2010)

Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz. - Jesús A. De Loera; Jon Lee 001; Peter N. Malkin; Susan Margulies (J. Symb. Comput., 2011)

Sherali-Adams relaxations of graph isomorphism polytopes. - Peter N. Malkin (Discret. Optim., 2014)