Rank Lower Bounds for the Sherali-Adams Operator. - Mark Nicholas Charles Rhodes (CiE, 2007)

Resolution Width and Cutting Plane Rank Are Incomparable. - Mark Nicholas Charles Rhodes (MFCS, 2008)

Tight rank lower bounds for the Sherali-Adams proof system. - Stefan S. Dantchev; Barnaby Martin; Mark Nicholas Charles Rhodes (Theor. Comput. Sci., 2009)

On the Chvátal rank of the Pigeonhole Principle. - Mark Nicholas Charles Rhodes (Theor. Comput. Sci., 2009)

Rank lower bounds in propositional proof systems based on integer linear programming methods. - Mark Nicholas Charles Rhodes (2009)