The design of Macaulay: a system for computing in algebraic geometry and commutative algebra. - David Bayer; Michael Eugene Stillman (SYMSAC, 1986)

Standard Bases and Geometric Invariant Theory I. Initial Ideals and State Polytopes. - David Bayer; Ian Morrison (J. Symb. Comput., 1988)

On the Complexity of Computing Syzygies. - David Bayer; Michael Eugene Stillman (J. Symb. Comput., 1988)

Computation of Hilbert Functions. - David Bayer; Michael Eugene Stillman (J. Symb. Comput., 1992)

Accelerating Two-Dimensional k-Wave Ultrasound Simulations Through Pruned FFT: A Treatment Planning Optimisation. - Ondrej Olsak; David Bayer; Jirí Jaros (ICCS (Workshops 2), 2025)