---
title: "EPiC series in computing 2018 — papers — Elamur Research"
description: "EPiC series in computing 2018 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/2018/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/epic-series-in-computing/2018/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/) / 2018

# EPiC series in computing 2018 — papers

The works of EPiC series in computing published in 2018 that our library holds: 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**753** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/#works) · [**8** citations of these works](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

1. **[An Introduction to CORA 2015 ↗](https://doi.org/10.29007/zbkv)**Matthias Althoff*218 citations*
2. **[Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers ↗](https://doi.org/10.29007/36dt)**Lawrence Charles Paulson, Jasmin Christian Blanchette*162 citations*
3. **[Object-sensitive Deep Reinforcement Learning ↗](https://doi.org/10.29007/xtgm)**Yuezhang Li, Katia P. Sycara, Rahul Iyer*110 citations*
4. **[Benchmarks for Temporal Logic Requirements for Automotive Systems ↗](https://doi.org/10.29007/xwrs)**Bardh Hoxha, Houssam Abbas, Georgios Fainekos*94 citations*
5. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/)**Sarah M. Loos, Geoffrey Irving, Christian Szegedy et al.*92 citations · our summary*
6. **[Improved Exact Solver for the Weighted MAX-SAT Problem ↗](https://doi.org/10.29007/38lm)**Adrian Kügel*88 citations*
7. **[Implementation of Interval Arithmetic in CORA 2016 ↗](https://doi.org/10.29007/w19b)**Matthias Althoff, Dmitry Grebenyuk*79 citations*
8. **[Feature Selection Ensemble ↗](https://doi.org/10.29007/rlxq)**Qiang Shen, Ren Diao, Su Pan*65 citations*
9. **[Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers ↗](https://doi.org/10.29007/tnfd)**Lawrence Charles Paulson*64 citations*
10. **[Indirect Effects of the Digital Transformation on Environmental Sustainability: Methodological Challenges in Assessing the Greenhouse Gas Abatement Potential of ICT ↗](https://doi.org/10.29007/lx7q)**Jan C. T. Bieser, Lorenz M. Hilty*60 citations*

## All works of the year (753)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. **[An Introduction to CORA 2015 ↗](https://doi.org/10.29007/zbkv)**Matthias Althoff*218 citations*
2. **[Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers ↗](https://doi.org/10.29007/36dt)**Lawrence Charles Paulson, Jasmin Christian Blanchette*162 citations*
3. **[Object-sensitive Deep Reinforcement Learning ↗](https://doi.org/10.29007/xtgm)**Yuezhang Li, Katia P. Sycara, Rahul Iyer*110 citations*
4. **[Benchmarks for Temporal Logic Requirements for Automotive Systems ↗](https://doi.org/10.29007/xwrs)**Bardh Hoxha, Houssam Abbas, Georgios Fainekos*94 citations*
5. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/)**Sarah M. Loos, Geoffrey Irving, Christian Szegedy et al.*92 citations · our summary*
6. **[Improved Exact Solver for the Weighted MAX-SAT Problem ↗](https://doi.org/10.29007/38lm)**Adrian Kügel*88 citations*
7. **[Implementation of Interval Arithmetic in CORA 2016 ↗](https://doi.org/10.29007/w19b)**Matthias Althoff, Dmitry Grebenyuk*79 citations*
8. **[Feature Selection Ensemble ↗](https://doi.org/10.29007/rlxq)**Qiang Shen, Ren Diao, Su Pan*65 citations*
9. **[Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers ↗](https://doi.org/10.29007/tnfd)**Lawrence Charles Paulson*64 citations*
10. **[Indirect Effects of the Digital Transformation on Environmental Sustainability: Methodological Challenges in Assessing the Greenhouse Gas Abatement Potential of ICT ↗](https://doi.org/10.29007/lx7q)**Jan C. T. Bieser, Lorenz M. Hilty*60 citations*
11. **[νZ - Maximal Satisfaction with Z3 ↗](https://doi.org/10.29007/jmxj)**Nikolaj Bjørner, Anh-Dung Phan*60 citations*
12. **[Knowledge Compilation meets Uniform Sampling ↗](https://doi.org/10.29007/h4p9)**Shubham Sharma, Rahul Gupta, Subhajit Roy et al.*56 citations*
13. **[BliStr: The Blind Strategymaker ↗](https://doi.org/10.29007/8n7m)**Josef Urban*50 citations*
14. **[Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers ↗](https://doi.org/10.29007/91x9)**Peter Heidlauf, Alexander R. Collins, Michael A. Bolender et al.*49 citations*
15. **[Playing with Quantified Satisfaction ↗](https://doi.org/10.29007/vv21)**Nikolaj Bjørner, Mikoláš Janota*47 citations*
16. **[Verifying safety of an autonomous spacecraft rendezvous mission ↗](https://doi.org/10.29007/thb4)**Nicole Chan, Sayan Mitra*47 citations*
17. **[Enhanced Gaussian Elimination in DPLL-based SAT Solvers ↗](https://doi.org/10.29007/g7ss)**Mate Soos*40 citations*
18. **[Implementation of Taylor models in CORA 2018 ↗](https://doi.org/10.29007/zzc7)**Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper*40 citations*
19. **[Empirical Evaluation of the Energy Impact of Refactoring Code Smells ↗](https://doi.org/10.29007/dz83)**Roberto Verdecchia, René Aparicio Saez, Giuseppe Procaccianti et al.*39 citations*
20. **[Program Verification as Satisfiability Modulo Theories ↗](https://doi.org/10.29007/1l7f)**Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko*39 citations*
21. **[Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution ↗](https://doi.org/10.29007/5gzr)**Cezary Kaliszyk, Josef Urban*33 citations*
22. **[iDQ: Instantiation-Based DQBF Solving ↗](https://doi.org/10.29007/1s5k)**Andreas Fröhlich, Gergely Kovásznai, Armin Biere et al.*33 citations*
23. **[Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling ↗](https://doi.org/10.29007/jhd7)**Armin Biere*32 citations*
24. **[Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools ↗](https://doi.org/10.29007/zvkb)**Ibtissem Ben Makhlouf, Stefan Kowalewski*30 citations*
25. **[The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing ↗](https://doi.org/10.29007/44jw)**Rao Mikkilineni, Albert Comparini, Giovanni Morana*29 citations*

[See all 753 papers in EPiC series in computing 2018 — papers →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation](https://md.research.elamur.ai/free/en/papers/abraham-2018-handling-loops-talmudic-logic/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Michael Abraham, Dov M. Gabbay, Uri J. Schild*2018 · 8 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Legal AI (1)](https://md.research.elamur.ai/free/en/topics/legal-ai/) · [Hebrew & Aramaic (1)](https://md.research.elamur.ai/free/en/topics/hebrew-aramaic/)

## Fields

[Arts and Humanities (1)](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Dov M. Gabbay**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/dov-m-gabbay/) · [🧑‍🔬**Michaël Abraham**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/michael-abraham/) · [🧑‍🔬**Uri J. Schild**1 work here · 8 citations](https://md.research.elamur.ai/free/en/authors/uri-j-schild/)

works and citations from OpenAlex and our library.

- [← previous EPiC series in computing 2017](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2017/)
- [next → EPiC series in computing 2019](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2019/)
- [↑ back to EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)