Proof planning Non-standard Analysis. - Ewen Maclean; Jacques D. Fleuriot; Alan Smaill (AI&M, 2002)

Using proof-planning to investigate the structure of proof in non-standard analysis. - Ewen Maclean (2004)

Refinement and Term Synthesis in Loop Invariant Generation. - Ewen Maclean; Andrew Ireland; Lucas Dixon; Robert Atkey (WING@ETAPS/IJCAR, 2010)

Synthesising Functional Invariants in Separation Logic. - Ewen Maclean; Andrew Ireland; Gudmund Grov (WING@ETAPS/IJCAR, 2010)

Mutation in Linked Data Structures. - Ewen Maclean; Andrew Ireland (ICFEM, 2011)

The CORE system: Animation and functional correctness of pointer programs. - Ewen Maclean; Andrew Ireland; Gudmund Grov (ASE, 2011)

Proof-Pattern Recognition and Lemma Discovery in ACL2. - Jónathan Heras; Ekaterina Komendantskaya; Moa Johansson; Ewen Maclean (LPAR, 2013)

Proof-Pattern Recognition in ACL2. - Jónathan Heras; Ekaterina Komendantskaya; Moa Johansson; Ewen Maclean (CoRR, 2013)

Towards Automated Proof Strategy Generalisation - Gudmund Grov; Ewen Maclean (CoRR, 2013)

The role of blending in mathematical invention. - Félix Bou; Marco Schorlemmer; Joseph Corneli; Danny Gómez-Ramírez; Ewen Maclean; Alan Smaill; Alison Pease (ICCC, 2015)

Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. - Manfred Eppe; Roberto Confalonieri 001; Ewen Maclean; Maximos A. Kaliakatsos-Papakostas; Emilios Cambouropoulos; W. Marco Schorlemmer; Mihai Codescu; Kai-Uwe Kühnberger (IJCAI, 2015)

ASP, Amalgamation, and the Conceptual Blending Workflow. - Manfred Eppe; Ewen Maclean; Roberto Confalonieri 001; Oliver Kutz; W. Marco Schorlemmer; Enric Plaza (LPNMR, 2015)

The Search for Computational Intelligence. - Joseph Corneli; Ewen Maclean (CoRR, 2015)

Proof automation for functional correctness in separation logic. - Ewen Maclean; Andrew Ireland; Gudmund Grov (J. Log. Comput., 2016)

A computational framework for conceptual blending. - Manfred Eppe; Ewen Maclean; Roberto Confalonieri 001; Oliver Kutz; Marco Schorlemmer; Enric Plaza; Kai-Uwe Kühnberger (Artif. Intell., 2018)

Automating Event-B invariant proofs by rippling and proof patching. - Yuhui Lin; Alan Bundy; Gudmund Grov; Ewen Maclean (Formal Aspects Comput., 2019)

The Imandra Automated Reasoning System (System Description). - Grant O. Passmore; Simon Cruanes; Denis Ignatovich; Dave Aitken; Matt Bray; Elijah Kagan; Kostya Kanishev; Ewen Maclean; Nicola Mometto (IJCAR (2), 2020)

Machine Learning Applied to the Analysis of Nonlinear Beam Dynamics Simulations for the CERN Large Hadron Collider and Its Luminosity Upgrade. - Massimo Giovannozzi; Ewen Maclean; Carlo Emilio Montanari; Gianluca Valentino; Frederik Florentinus Van der Veken (Inf., 2021)