A Transfer Theorem in Constructive p-adic Algebra. - Deirdre Haskell (Ann. Pure Appl. Log., 1992)

Cell Decompositions of C-Minimal Structures. - Deirdre Haskell; Dugald Macpherson (Ann. Pure Appl. Log., 1994)

A Version of o-Minimality for the p-adics. - Deirdre Haskell; Dugald Macpherson (J. Symb. Log., 1997)

A Note on Valuation Definable Expansions of Fields. - Deirdre Haskell; Dugald Macpherson (J. Symb. Log., 1998)

Grothendieck rings of Z-valued fields. - Raf Cluckers; Deirdre Haskell (Bull. Symb. Log., 2001)

GanzstellensäTze in Theories of Valued Fields. - Deirdre Haskell; Yoav Yaffe (J. Math. Log., 2008)

Model theory of analytic functions: some historical comments. - Deirdre Haskell (Bull. Symb. Log., 2012)

Unexpected imaginaries in valued fields with analytic structure. - Deirdre Haskell; Ehud Hrushovski; Dugald Macpherson (J. Symb. Log., 2013)

Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II. - Matthias Aschenbrenner; Alf Dolich; Deirdre Haskell; Dugald Macpherson; Sergei Starchenko (Notre Dame J. Formal Log., 2013)

Residue Field Domination in Real Closed Valued Fields. - Clifton F. Ealy; Deirdre Haskell; Jana Maríková (Notre Dame J. Formal Log., 2019)