Ewen Maclean

According to our database, Ewen Maclean authored at least 18 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Automating Event-B invariant proofs by rippling and proof patching.

Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

Formal Aspects Comput., 2019

2018

A computational framework for conceptual blending.

Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger

Artif. Intell., 2018

2016

Proof automation for functional correctness in separation logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

J. Log. Comput., 2016

2015

The Search for Computational Intelligence.

Joseph Corneli, Ewen Maclean

CoRR, 2015

ASP, Amalgamation, and the Conceptual Blending Workflow.

Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending.

Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Proceedings of the Sixth International Conference on Computational Creativity, 2015

2013

Towards Automated Proof Strategy Generalisation

Gudmund Grov, Ewen Maclean

CoRR, 2013

Proof-Pattern Recognition in ACL2.

Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean

CoRR, 2013

Proof-Pattern Recognition and Lemma Discovery in ACL2.

Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

The CORE system: Animation and functional correctness of pointer programs.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Mutation in Linked Data Structures.

Ewen Maclean, Andrew Ireland

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Synthesising Functional Invariants in Separation Logic.

Ewen Maclean, Andrew Ireland, Gudmund Grov

Proceedings of the Second International Workshop on Invariant Generation, 2010

Refinement and Term Synthesis in Loop Invariant Generation.

Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey

Proceedings of the Second International Workshop on Invariant Generation, 2010

2004

Using proof-planning to investigate the structure of proof in non-standard analysis.

Ewen Maclean

PhD thesis, 2004

2002

Proof planning Non-standard Analysis.

Ewen Maclean, Jacques D. Fleuriot, Alan Smaill

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002