Ewen Maclean

20 papers A* 2B 2C 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
Machine Learning Applied to the Analysis of Nonlinear Beam Dynamics Simulations for the CERN Large Hadron Collider and Its Luminosity Upgrade.
Inf.
Massimo Giovannozzi, Ewen Maclean, Carlo Emilio Montanari, Gianluca Valentino, Frederik Florentinus Van der Veken
2020 — conf
The Imandra Automated Reasoning System (System Description).
IJCAR (2)
Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2020 J jnl
The Imandra Automated Reasoning System (system description).
CoRR
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2019 J jnl
Automating Event-B invariant proofs by rippling and proof patching.
Formal Aspects Comput.
Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
2018 J jnl
A computational framework for conceptual blending.
Artif. Intell.
Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger
2018 — book
Concept Invention - Foundations, Implementation, Social Aspects and Applications
Concept Invention
Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos-Papakostas
2016 J jnl
Proof automation for functional correctness in separation logic.
J. Log. Comput.
Ewen Maclean, Andrew Ireland, Gudmund Grov
2015 B conf
ASP, Amalgamation, and the Conceptual Blending Workflow.
LPNMR
Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza
2015 A* conf
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending.
IJCAI
Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger
2015 J jnl
The Search for Computational Intelligence.
CoRR
Joseph Corneli, Ewen Maclean
2015 C conf
The role of blending in mathematical invention.
ICCC
Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease
2013 B conf
Proof-Pattern Recognition and Lemma Discovery in ACL2.
LPAR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013 J jnl
Proof-Pattern Recognition in ACL2.
CoRR
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013 J jnl
Towards Automated Proof Strategy Generalisation
CoRR
Gudmund Grov, Ewen Maclean
2011 C conf
Mutation in Linked Data Structures.
ICFEM
Ewen Maclean, Andrew Ireland
2011 A* conf
The CORE system: Animation and functional correctness of pointer programs.
ASE
Ewen Maclean, Andrew Ireland, Gudmund Grov
2010 — conf
Refinement and Term Synthesis in Loop Invariant Generation.
WING@ETAPS/IJCAR
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
2010 — conf
Synthesising Functional Invariants in Separation Logic.
WING@ETAPS/IJCAR
Ewen Maclean, Andrew Ireland, Gudmund Grov
2004 — —
Using proof-planning to investigate the structure of proof in non-standard analysis.
Ewen Maclean
2002 — conf
Proof planning Non-standard Analysis.
AI&M
Ewen Maclean, Jacques D. Fleuriot, Alan Smaill