Commonality and Requirements Analysis for Mesh Generating Software. - Spencer Smith 001; Chien-Hsien Chen (SEKE, 2004)

Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005). - Scott R. Tilley; Kenny Wong; Shihong Huang; Spencer Smith 001 (CSEE&T, 2006)

Interval Subroutine Library Mission. - George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; John D. Pryce; Spencer Smith 001 (Reliable Implementation of Real Number Algorithms, 2006)

Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software. - Spencer Smith 001 (RE, 2006)

Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006). - Scott R. Tilley; Ken Wong 001; Spencer Smith 001 (CSEE&T, 2007)

Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. - Spencer Smith 001; Lei Lai; Ridha Khédri (Reliab. Comput., 2007)

Case Studies in Model Manipulation for Scientific Computing. - Jacques Carette; W. Spencer Smith; John McCutchan; Christopher Kumar Anand; Alexandre Korobkine (AISC/MKM/Calculemus, 2008)

Second Note on Basic Interval Arithmetic for IEEE754R. - John D. Pryce; George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; Spencer Smith 001 (Numerical Validation in Current Hardware Architectures, 2008)

2nd CASCON Workshop on Software Engineering for Science. - Diane Kelly 002; Spencer Smith 001 (CASCON, 2009)

Reusability of FEA software: A program family approach. - Wen Yu; Spencer Smith 001 (SE-CSE@ICSE, 2009)

A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox. - Spencer Smith 001; W. Yu (Adv. Eng. Softw., 2009)

3rd CASCON Workshop on Software Engineering for Science. - Diane Kelly 002; Spencer Smith 001 (CASCON, 2010)

A generative geometric kernel. - Jacques Carette; Mustafa Elsheikh; W. Spencer Smith (PEPM, 2011)

Software Engineering for Scientists. - Diane Kelly 002; Spencer Smith 001; Nicholas Meng (Comput. Sci. Eng., 2011)

Document driven certification of computational science and engineering software. - Spencer Smith 001; Nirmitha Koothoor; Nedialko S. Nedialkov (SE-HPCCSE@SC, 2013)

A knowledge-based approach to scientific software development: position paper. - Dan Szymczak; W. Spencer Smith; Jacques Carette (SE4Science@ICSE, 2016)

Advantages, Disadvantages and Misunderstandings About Document Driven Design for Scientific Software. - Spencer Smith 001; Thulasi Jegatheesan; Diane Kelly 002 (SE-HPCCSE@SC, 2016)

State of the practice for mesh generation and mesh processing software. - W. Spencer Smith; D. Adam Lazzarato; Jacques Carette (Adv. Eng. Softw., 2016)

Beyond software carpentry. - Spencer Smith 001 (SE4Science@ICSE, 2018)

Assurance cases for scientific computing software. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng (ICSE (Companion Volume), 2018)

State of the Practice for GIS Software. - W. Spencer Smith; D. Adam Lazzarato; Jacques Carette (CoRR, 2018)

Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. - Spencer Smith 001; Yue Sun; Jacques Carette (CoRR, 2018)

Debunking the myth that upfront requirements are infeasible for scientific computing software. - Spencer Smith 001; Malavika Srinivasan; Sumanth Shankar (SE4Science@ICSE, 2019)

GOOL: A Generic Object-Oriented Language (extended version). - Jacques Carette; Brooks MacLachlan; W. Spencer Smith (CoRR, 2019)

Building Confidence in Scientific Computing Software Via Assurance Cases. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng (CoRR, 2019)

GOOL: a generic object-oriented language. - Jacques Carette; Brooks MacLachlan; Spencer Smith 001 (PEPM@POPL, 2020)

Long-term Productivity for Long-term Impact. - Spencer Smith 001; Jacques Carette (CoRR, 2020)

Methodology for Assessing the State of the Practice for Domain X. - W. Spencer Smith; Jacques Carette; Peter Michalski; Ao Dong; Olu Owojaiye (CoRR, 2021)

Long-Term Productivity Based on Science, not Preference. - Spencer Smith 001; Jacques Carette (CoRR, 2021)

Raising the Bar: Assurance Cases for Scientific Software. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng; Jeffrey C. Carver; Karla Morris (Comput. Sci. Eng., 2021)

Digging Deeper into the State of the Practice for Domain Specific Research Software. - Spencer Smith 001; Peter Michalski (ICCS (4), 2022)

Generating Software for Well-Understood Domains. - Jacques Carette; W. Spencer Smith; Jason Balaci (Eelco Visser Commemorative Symposium, 2023)

State of the Practice for Medical Imaging Software. - W. Spencer Smith; Ao Dong; Jacques Carette; Michael D. Noseworthy (CoRR, 2024)

A Software Engineering Capstone Course Facilitated By GitHub Templates. - Spencer Smith 001; Christopher William Schankula; Lucas Dutton; Christopher Kumar Anand (CoRR, 2024)

A Problem-Based Learning Approach to Teaching Design in CS1. - Christopher William Schankula; Habib Ghaffari Hadigheh; Spencer Smith 001; Christopher Kumar Anand (CoRR, 2024)

Using Assurance Cases to Guide Verification and Validation of Research Software. - W. Spencer Smith; Jingyi Lin (CoRR, 2024)

Communicating StateCharts (CSC). - Sheida Emdadi; W. Spencer Smith; Christopher Kumar Anand (ITiCSE (2), 2025)

A multi-domain lattice Boltzmann method for mesh refinement with curved boundary interfaces. - Mohammadali Daeian; Punya Cheema; W. Spencer Smith; Zahra Keshavarz-Motamed (Comput. Phys. Commun., 2025)