Behavioral Synthesis Methodology for HDL-Based Specification and Validation. - David Knapp; Tai Ly; Don MacMillen; Ron Miller (DAC, 1995)

Scheduling Using Behavioral Templates. - Tai Ly; David Knapp; Ron Miller; Don MacMillen (DAC, 1995)

Architecting the Communication and Navigation Networks for NASA's Space Exploration Systems. - Kul B. Bhasin; Chuck Putt; Jeffrey L. Hayden; Shirley Tseng; Abi Biswas; Brian Kennedy; Esther Jennings; Ron Miller; John J. Hudiburg; Dave Miller; Alan Jeffries; Tom Sartwell (SoSE, 2007)

Avengers: capturing thanos's complex face. - Darren Hendler; Lucio Moser; Rishabh Battulwar; David Corral; Phil Cramer; Ron Miller; Rickey Cloudsdale; Doug Roble (SIGGRAPH Talks, 2018)