| 2026 | CASC | On GPU Implementation for Multi-precision Integer Division. | Martin Bom Marchioro, Aske Nord Raahauge, Marc I. Lvenskjold, Cosmin E. Oancea, Stephen M. Watt |
| 2026 | CASC | Look Before You Leap: Checking In on Type Tag Checking. | Stephen M. Watt |
| 2025 | CASC | Software Portability for Computer Algebra. | Arthur C. Norman, Stephen M. Watt |
| 2025 | ISSAC | Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. | Robert M. Corless, Arthur C. Norman, Toms Recio, William J. Turkel, Stephen M. Watt |
| 2025 | SYNASC | Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition. | Robert M. Corless, Deepak Singh Kalhan, Stephen M. Watt |
| 2025 | SYNASC | Structuring Definitions in Mathematical Libraries. | Alena Gusakov, Peter Nelson, Stephen M. Watt |
| 2025 | SYNASC | Semi-Centennial REDUCE. | Arthur C. Norman, Stephen M. Watt |
| 2024 | CASC | Computing Clipped Products. | Arthur C. Norman, Stephen M. Watt |
| 2024 | SYNASC | An Abstraction-Preserving Block Matrix Implementation in Maple. | Stephen M. Watt, David J. Jeffrey |
| 2023 | CASC | Efficient Quotients of Non-commutative Polynomials. | Stephen M. Watt |
| 2023 | SYNASC | Hybrid Intervals and Symbolic Block Matrices. | Mike Ghesquiere, Stephen M. Watt |
| 2023 | SYNASC | The Inverse of the Complex Gamma Function. | D. J. Jeffrey, Stephen M. Watt |
| 2022 | SYNASC | Detecting Implicit Indeterminates in Symbolic Computation. | Stephen M. Watt |
| 2019 | SYNASC | Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. | Parisa Alvandi, Stephen M. Watt |
| 2019 | SYNASC | A Review of Algorithms for Symbolic Domains. | Stephen M. Watt |
| 2018 | SYNASC | Real-Time Computation of Legendre-Sobolev Approximations. | Parisa Alvandi, Stephen M. Watt |
| 2016 | SYNASC | Combinatorics of Hybrid Sets. | Shaoshi Chen, Stephen M. Watt |
| 2016 | SYNASC | How to Build a Global Digital Mathematics Library. | Stephen M. Watt |
| 2014 | ICCS | Distance-based High-frequency Trading. | Travis Felker, Vadim Mazalov, Stephen M. Watt |
| 2013 | SYNASC | Identifying Features via Homotopy on Handwritten Mathematical Symbols. | Rui Hu, Stephen M. Watt |
| 2012 | AISC | A Streaming Digital Ink Framework for Multi-party Collaboration. | Rui Hu, Vadim Mazalov, Stephen M. Watt |
| 2012 | AISC | Writing on Clouds. | Vadim Mazalov, Stephen M. Watt |
| 2012 | CASC | Lightweight Abstraction for Mathematical Computation in Java. | Pavel Bourdykine, Stephen M. Watt |
| 2012 | DAS | Linear Compression of Digital Ink via Point Selection. | Vadim Mazalov, Stephen M. Watt |
| 2012 | ICFHR | Optimization of Point Selection on Digital Ink Curves. | Rui Hu, Stephen M. Watt |
| 2012 | ICFHR | Recognition of Relatively Small Handwritten Characters or "Size Matters". | Vadim Mazalov, Stephen M. Watt |
| 2012 | ICFHR | A Structure for Adaptive Handwriting Recognition. | Vadim Mazalov, Stephen M. Watt |
| 2012 | SYNASC | What is an Equation? | Solomon Marcus, Stephen M. Watt |
| 2011 | SYNASC | Computational Tools for Mathematical Collaboration. | Stephen M. Watt |
| 2010 | AISC | Symbolic Domain Decomposition. | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2010 | CASC | Type Specialization in Aldor. | Laurentiu Dragan, Stephen M. Watt |
| 2010 | DAS | Toward affine recognition of handwritten mathematical characters. | Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt |
| 2010 | DAS | Improved classification through runoff elections. | Oleg Golubitsky, Stephen M. Watt |
| 2010 | ICFHR | Digital Ink Compression via Functional Approximation. | Vadim Mazalov, Stephen M. Watt |
| 2010 | SYNASC | On the Mathematics of Mathematical Handwriting Recognition. | Stephen M. Watt |
| 2009 | ICDAR | Online Recognition of Multi-Stroke Symbols with Orthogonal Series. | Oleg Golubitsky, Stephen M. Watt |
| 2009 | ICDAR | A Collaborative Interface for Multimodal Ink and Audio Documents. | Amit Regmi, Stephen M. Watt |
| 2009 | ISSAC | Computing with abstract matrix structures. | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2008 | DAS | An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. | Stephen M. Watt |
| 2008 | ICCSA | Functional Decomposition of Symbolic Polynomials. | Stephen M. Watt |
| 2008 | SYNASC | Abstract Matrix Arithmetic. | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2008 | SYNASC | Communicating Mathematics via Pen-Based Interfaces. | Elena S. Smirnova, Stephen M. Watt |
| 2007 | ICDAR | Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. | Bruce W. Char, Stephen M. Watt |
| 2007 | ICDAR | Hybrid Mathematical Symbol Recognition Using Support Vector Machines. | Birendra Keshari, Stephen M. Watt |
| 2007 | ICDAR | Streaming-Archival InkML Conversion. | Birendra Keshari, Stephen M. Watt |
| 2007 | ICDAR | Aspects of Mathematical Expression Analysis in Arabic Handwriting. | Elena S. Smirnova, Stephen M. Watt |
| 2007 | ICDAR | New Aspects of InkML for Pen-Based Computing. | Stephen M. Watt |
| 2007 | ISSAC | Generation and optimisation of code using coxeter lattice paths. | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt |
| 2007 | ISSAC | Multiprocessed parallelism support in ALDOR on SMPs and multicores. | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
| 2006 | APLAS | A Localized Tracing Scheme Applied to Garbage Collection. | Yannis Chicha, Stephen M. Watt |
| 2006 | CASC | Algorithms for Symbolic Polynomials. | Stephen M. Watt |
| 2006 | ICFP | A technique for generic iteration and its optimization. | Stephen M. Watt |
| 2006 | SYNASC | Improving Pen-Based Mathematical Interfaces. | Stephen M. Watt |
| 2006 | SYNASC | Pivot-Free Block Matrix Inversion. | Stephen M. Watt |
| 2005 | ICDAR | Recognition for Large Sets of Handwritten Mathematical Symbols. | Stephen M. Watt, Xiaofang Xie |
| 2005 | ISSAC | Domains and expressions: an interface between two approaches to computer algebra. | Cosmin E. Oancea, Stephen M. Watt |
| 2005 | OOPSLA | Parametric polymorphism for software component architectures. | Cosmin E. Oancea, Stephen M. Watt |
| 2005 | PDPTA | Distributed Models of Thread Level Speculation. | Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt |
| 2005 | SYNASC | Performance Analysis of Generics in Scientific Computing. | Laurentiu Dragan, Stephen M. Watt |
| 2002 | ISSAC | A geometric-numeric algorithm for absolute factorization of multivariate polynomials. | Robert M. Corless, Andr Galligo, Ilias S. Kotsireas, Stephen M. Watt |
| 2001 | ISSAC | Towards factoring bivariate approximate polynomials. | Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt |
| 2000 | AISC | Reasoning about the Elementary Functions of Complex Analysis. | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
| 2000 | AISC | Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. | Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt |
| 1999 | ISSAC | Approximate polynomial decomposition. | Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt |
| 1997 | ISSAC | An OpenMath 1.0 Implementation. | Stphane Dalmas, Marc Gatano, Stephen M. Watt |
| 1997 | ISSAC | A Numerical Absolute Primality Test for Bivariate Polynomials. | Andr Galligo, Stephen M. Watt |
| 1995 | ISSAC | On the Implementation of Dynamic Evaluation. | Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt |
| 1995 | ISSAC | The Singular Value Decomposition for Polynomial Systems. | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt |
| 1994 | ISSAC | A First Report on the A | Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor |
| 1988 | ISSAC | A Fixed Point Method for Power Series Computation. | Stephen M. Watt |