Robert A. Proctor

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