Timing Verification and Optimization for the PowerPCTM Processor Family. - Robert E. Mains; Thomas A. Mosher; Lukas P. P. P. van Ginneken; Robert F. Damiano (ICCD, 1994)

Timing Window Applications in UltraSPARC-IIIi? Microprocessor Design. - Rita Yu Chen; Paul Yip; Georgios K. Konstadinidis; Andrew Demas; Fabian Klass; Robert E. Mains; Margaret Schmitt; Dina Bistry (ICCD, 2002)

OpenFASOC: An Open Platform Towards Analog and Mixed-Signal Automation and Acceleration of Chip Design. - Ali Hammoud; Vijay Shankar; Robert E. Mains; Mehdi Saligane; Joaquin Matres; Tim Ansell (ISDCS, 2023)