default search action
Ewen Maclean
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
- [b1]Ewen Maclean:
Using proof-planning to investigate the structure of proof in non-standard analysis. University of Edinburgh, UK, 2004
Journal Articles
- 2021
- [j4]Massimo Giovannozzi
, Ewen Maclean, Carlo Emilio Montanari, Gianluca Valentino
Machine Learning Applied to the Analysis of Nonlinear Beam Dynamics Simulations for the CERN Large Hadron Collider and Its Luminosity Upgrade. Inf. 12(2): 53 (2021) - 2019
- [j3]Yuhui Lin
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31(1): 95-129 (2019) - 2018
- [j2]Manfred Eppe
A computational framework for conceptual blending. Artif. Intell. 256: 105-129 (2018) - 2016
- [j1]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Proof automation for functional correctness in separation logic. J. Log. Comput. 26(2): 641-675 (2016)
Conference and Workshop Papers
- 2020
- [c10]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: 464-471 - 2015
- [c9]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: 55-62 - [c8]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: 2445-2451 - [c7]Manfred Eppe, Ewen Maclean, Roberto Confalonieri
ASP, Amalgamation, and the Conceptual Blending Workflow. LPNMR 2015: 309-316 - 2013
- [c6]Jónathan Heras
Proof-Pattern Recognition and Lemma Discovery in ACL2. LPAR 2013: 389-406 - 2011
- [c5]Ewen Maclean, Andrew Ireland:
Mutation in Linked Data Structures. ICFEM 2011: 275-290 - [c4]Ewen Maclean, Andrew Ireland, Gudmund Grov:
The CORE system: Animation and functional correctness of pointer programs. ASE 2011: 588-591 - 2010
- [c3]Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey:
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR 2010: 167-182 - [c2]Ewen Maclean, Andrew Ireland, Gudmund Grov:
Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR 2010: 183-184 - 2002
- [c1]Ewen Maclean, Jacques D. Fleuriot, Alan Smaill:
Proof planning Non-standard Analysis. AI&M 2002
Editorship
- 2018
- [e1]Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas:
Concept Invention - Foundations, Implementation, Social Aspects and Applications. Springer 2018, ISBN 978-3-319-65601-4 [contents]
Informal and Other Publications
- 2020
- [i4]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 abs/2004.10263 (2020) - 2015
- [i3]Joseph Corneli, Ewen Maclean:
The Search for Computational Intelligence. CoRR abs/1502.00130 (2015) - 2013
- [i2]Gudmund Grov, Ewen Maclean:
Towards Automated Proof Strategy Generalisation. CoRR abs/1303.2975 (2013) - [i1]Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean:
Proof-Pattern Recognition in ACL2. CoRR abs/1308.1780 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: