Ewen Maclean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2002–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CADE | 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 |
| 2015 | IJCAI | Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. | Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Khnberger |
| 2015 | LPNMR | ASP, Amalgamation, and the Conceptual Blending Workflow. | Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza |
| 2013 | LPAR | Proof-Pattern Recognition and Lemma Discovery in ACL2. | Jnathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean |
| 2011 | ICFEM | Mutation in Linked Data Structures. | Ewen Maclean, Andrew Ireland |
| 2010 | CADE | Refinement and Term Synthesis in Loop Invariant Generation. | Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey |
| 2010 | CADE | Synthesising Functional Invariants in Separation Logic. | Ewen Maclean, Andrew Ireland, Gudmund Grov |
| 2002 | ISAIM | Proof planning Non-standard Analysis. | Ewen Maclean, Jacques D. Fleuriot, Alan Smaill |