Ewen Maclean

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 6

Top Venues

CoRR

Inf.

Formal Aspects Comput.

J. Log. Comput.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

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

Ewen Maclean.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ewen Maclean