Some Undecidable Problems Involving Elementary Functions of a Real Variable. - Daniel Richardson (J. Symb. Log., 1968)

Tessellations with Local Transformations. - Daniel Richardson (J. Comput. Syst. Sci., 1972)

Sets of Theorems with Short Proofs. - Daniel Richardson (J. Symb. Log., 1974)

Continuous Self-Reproduction. - Daniel Richardson (J. Comput. Syst. Sci., 1976)

Non Standard Models of the Theory of Elementary Functions of a Real Variable. - Daniel Richardson (Math. Log. Q., 1988)

Towards Computing Non Algebraic Cylindrical Decompositions. - Daniel Richardson (ISSAC, 1991)

Wu's Method and the Khovanskii Finiteness Theorem. - Daniel Richardson (J. Symb. Comput., 1991)

The Elementary Constant Problem. - Daniel Richardson (ISSAC, 1992)

Computing the Topology of a Bounded Non-Algebraic Curve in the Plane. - Daniel Richardson (J. Symb. Comput., 1992)

A Zero Structure Theorem for Exponential Polynomials. - Daniel Richardson (ISSAC, 1993)

The Identity Problem for Elementary Functions and Constants. - Daniel Richardson; John P. Fitch (ISSAC, 1994)

A Simplified Method of Recognizing Zero Among Elementary Constants. - Daniel Richardson (ISSAC, 1995)

Solution of Elementary Systems of Equations in a Box in Rn. - Daniel Richardson (ISSAC, 1996)

Asymptotic Expansions of exp-log Functions. - Daniel Richardson; Bruno Salvy; John Shackell; Joris van der Hoeven (ISSAC, 1996)

How to Recognize Zero. - Daniel Richardson (J. Symb. Comput., 1997)

Weak Wu Stratification in Rn. - Daniel Richardson (J. Symb. Comput., 1999)

The Uniformity Conjecture. - Daniel Richardson (CCA, 2000)

Some observations on familiar numbers. - Daniel Richardson; Simon Langley (ISSAC, 2002)

What can we do with a Solution? - Simon Langley; Daniel Richardson (CCA, 2002)

Use of algebraically independent numbers for zero recognition of polynomial terms. - Daniel Richardson; Ahmed El-Sonbaty (J. Complex., 2003)

linear algebra for time series of spikes. - Andrew Carnell; Daniel Richardson (ESANN, 2005)

Spiking neural nets with symbolic internal state. - Carl O'Dwyer; Daniel Richardson (Inf. Process. Lett., 2005)

Counterexamples to the uniformity conjecture. - Daniel Richardson; Ahmed El-Sonbaty (Comput. Geom., 2006)

Zero Tests for Constants in Simple Scientific Computation. - Daniel Richardson (Math. Comput. Sci., 2007)

Parallel computation in spiking neural nets. - Andrew Carnell; Daniel Richardson (Theor. Comput. Sci., 2007)

Relative deprivation and social identity in laboratory based riots: A model. - James Allen; Guillaume Dezecache; Daniel Richardson (CogSci, 2020)