Product partial orders with the sperner property. - Robert A. Proctor; Michael E. Saks; Dean G. Sturtevant (Discret. Math., 1980)

Bruhat Lattices, Plane Partition Generating Functions, and Minuscule Representations. - Robert A. Proctor (Eur. J. Comb., 1984)

Equivalence of the combinatorial and the classical definitions of schur functions. - Robert A. Proctor (J. Comb. Theory A, 1989)

New Symmetric Plane Partition Identities from Invariant Theory Work of De Concini and Procesi. - Robert A. Proctor (Eur. J. Comb., 1990)

Solution of a sperner conjecture of stanley with a construction of gelfand. - Robert A. Proctor (J. Comb. Theory A, 1990)

Product evaluations of lefschetz determinants for grassmannians and of determinants of multinomial coefficients. - Robert A. Proctor (J. Comb. Theory A, 1990)

Reflection and Algorithm Proofs of Some More Lie Group Dual Pair Identities. - Robert A. Proctor (J. Comb. Theory A, 1993)

Design methodology for IBM ASIC products. - James J. Engel; Thomas S. Guzowski; Anderson Hunt; David E. Lackey; Lansing D. Pickup; Robert A. Proctor; Karla Reynolds; Ann Marie Rincon; David R. Stauffer (IBM J. Res. Dev., 1996)

Methodology for I/O cell placement and checking in ASIC designs using area-array power grid. - Patrick H. Buffet; Joseph Natonio; Robert A. Proctor; Yu H. Sun; Gulsun Yasar (CICC, 2000)

I/O Cell Placement and Electrical Checking Methodology for ASICs with Peripheral I/Os. - Gulsun Yasar; Charles Chiu; Robert A. Proctor; James P. Libous (ISQED, 2001)

Power network analysis for ESD robustness in a 90nm ASIC design system. - Ciaran J. Brennan; Joseph N. Kozhaya; Robert A. Proctor (CICC, 2004)

Distributive Lattices Defined for Representations of Rank Two Semisimple Lie Algebras. - L. Wyatt Alverson II; Robert G. Donnelly; Scott J. Lewis; Marti McClard; Robert Pervine; Robert A. Proctor; N. J. Wildberger (SIAM J. Discret. Math., 2009)

Semistandard tableaux for Demazure characters (key polynomials) and their atoms. - Robert A. Proctor; Matthew J. Willis (Eur. J. Comb., 2015)

Parabolic Catalan numbers count flagged Schur functions and their appearances as type A Demazure characters (key polynomials). - Robert A. Proctor; Matthew J. Willis (Discret. Math. Theor. Comput. Sci., 2017)

Convexity of tableau sets for type A Demazure characters (key polynomials), parabolic Catalan numbers. - Robert A. Proctor; Matthew J. Willis (Discret. Math. Theor. Comput. Sci., 2018)

d-Complete Posets: Local Structural Axioms, Properties, and Equivalent Definitions. - Robert A. Proctor; Lindsey M. Scoppetta (Order, 2019)

Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants. - Robert A. Proctor; Matthew J. Willis (Discret. Math. Theor. Comput. Sci., 2021)