European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. - Peter Aczel; Jeff B. Paris; A. J. Wilkie; George M. Wilmers; C. E. M. Yates (J. Symb. Log., 1986)

Classification of Quantifier Prefixes Over Exponential Diophantine Equations. - James P. Jones; Hilbert Levitz; A. J. Wilkie (Math. Log. Q., 1986)

On the scheme of induction for bounded arithmetic formulas. - A. J. Wilkie; Jeff B. Paris (Ann. Pure Appl. Log., 1987)

Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. - Jeff B. Paris; A. J. Wilkie; Alan R. Woods (J. Symb. Log., 1988)

On Defining Cinfty. - A. J. Wilkie (J. Symb. Log., 1994)

The laws of integer divisibility, and solution sets of linear divisibility conditions. - Lou van den Dries; A. J. Wilkie (J. Symb. Log., 2003)

Diophantine properties of sets definable in o-minimal structures. - A. J. Wilkie (J. Symb. Log., 2004)

Fusing o-minimal structures. - A. J. Wilkie (J. Symb. Log., 2005)

Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars. - A. J. Wilkie (Notre Dame J. Formal Log., 2013)

Complex continuations of ℝan, exp-definable unary functions with a diophantine application. - A. J. Wilkie (J. Lond. Math. Soc., 2016)