Robert A. Proctor

Publication Activity (10 Years)

Years Active: 1980-2021
Publications (10 Years): 4

Top Topics

Structural Features

Aggregation Functions

Top Venues

Discret. Math. Theor. Comput. Sci.

Publications

Robert A. Proctor, Matthew J. Willis
Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants. Discret. Math. Theor. Comput. Sci. 23 (1) (2021)
Robert A. Proctor, Lindsey M. Scoppetta
d-Complete Posets: Local Structural Axioms, Properties, and Equivalent Definitions. Order 36 (3) (2019)
Robert A. Proctor, Matthew J. Willis
Convexity of tableau sets for type A Demazure characters (key polynomials), parabolic Catalan numbers. Discret. Math. Theor. Comput. Sci. 20 (2) (2018)
Robert A. Proctor, Matthew J. Willis
Parabolic Catalan numbers count flagged Schur functions and their appearances as type A Demazure characters (key polynomials). Discret. Math. Theor. Comput. Sci. 19 (3) (2017)
Robert A. Proctor, Matthew J. Willis
Semistandard tableaux for Demazure characters (key polynomials) and their atoms. Eur. J. Comb. 43 (2015)
L. Wyatt Alverson II, Robert G. Donnelly, Scott J. Lewis, Marti McClard, Robert Pervine, Robert A. Proctor, N. J. Wildberger
Distributive Lattices Defined for Representations of Rank Two Semisimple Lie Algebras. SIAM J. Discret. Math. 23 (1) (2009)
Ciaran J. Brennan, Joseph N. Kozhaya, Robert A. Proctor
Power network analysis for ESD robustness in a 90nm ASIC design system. CICC (2004)
Gulsun Yasar, Charles Chiu, Robert A. Proctor, James P. Libous
I/O Cell Placement and Electrical Checking Methodology for ASICs with Peripheral I/Os. ISQED (2001)
Patrick H. Buffet, Joseph Natonio, Robert A. Proctor, Yu H. Sun, Gulsun Yasar
Methodology for I/O cell placement and checking in ASIC designs using area-array power grid. CICC (2000)
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
Design methodology for IBM ASIC products. IBM J. Res. Dev. 40 (4) (1996)
Robert A. Proctor
Reflection and Algorithm Proofs of Some More Lie Group Dual Pair Identities. J. Comb. Theory, Ser. A 62 (1) (1993)
Robert A. Proctor
Solution of a sperner conjecture of stanley with a construction of gelfand. J. Comb. Theory, Ser. A 54 (2) (1990)
Robert A. Proctor
Product evaluations of lefschetz determinants for grassmannians and of determinants of multinomial coefficients. J. Comb. Theory, Ser. A 54 (2) (1990)
Robert A. Proctor
New Symmetric Plane Partition Identities from Invariant Theory Work of De Concini and Procesi. Eur. J. Comb. 11 (3) (1990)
Robert A. Proctor
Equivalence of the combinatorial and the classical definitions of schur functions. J. Comb. Theory, Ser. A 51 (1) (1989)
Robert A. Proctor
Bruhat Lattices, Plane Partition Generating Functions, and Minuscule Representations. Eur. J. Comb. 5 (4) (1984)
Robert A. Proctor, Michael E. Saks, Dean G. Sturtevant
Product partial orders with the sperner property. Discret. Math. 30 (2) (1980)