📰 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.

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 ↗Matthias Althoff218 citations
2. Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson, Jasmin Christian Blanchette162 citations
3. Object-sensitive Deep Reinforcement Learning ↗Yuezhang Li, Katia P. Sycara, Rahul Iyer110 citations
4. Benchmarks for Temporal Logic Requirements for Automotive Systems ↗Bardh Hoxha, Houssam Abbas, Georgios Fainekos94 citations
5. Deep Network Guided Proof SearchSarah M. Loos, Geoffrey Irving, Christian Szegedy et al.92 citations · our summary
6. Improved Exact Solver for the Weighted MAX-SAT Problem ↗Adrian Kügel88 citations
7. Implementation of Interval Arithmetic in CORA 2016 ↗Matthias Althoff, Dmitry Grebenyuk79 citations
8. Feature Selection Ensemble ↗Qiang Shen, Ren Diao, Su Pan65 citations
9. Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson64 citations
10. Indirect Effects of the Digital Transformation on Environmental Sustainability: Methodological Challenges in Assessing the Greenhouse Gas Abatement Potential of ICT ↗Jan C. T. Bieser, Lorenz M. Hilty60 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 ↗Matthias Althoff218 citations
2. Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson, Jasmin Christian Blanchette162 citations
3. Object-sensitive Deep Reinforcement Learning ↗Yuezhang Li, Katia P. Sycara, Rahul Iyer110 citations
4. Benchmarks for Temporal Logic Requirements for Automotive Systems ↗Bardh Hoxha, Houssam Abbas, Georgios Fainekos94 citations
5. Deep Network Guided Proof SearchSarah M. Loos, Geoffrey Irving, Christian Szegedy et al.92 citations · our summary
6. Improved Exact Solver for the Weighted MAX-SAT Problem ↗Adrian Kügel88 citations
7. Implementation of Interval Arithmetic in CORA 2016 ↗Matthias Althoff, Dmitry Grebenyuk79 citations
8. Feature Selection Ensemble ↗Qiang Shen, Ren Diao, Su Pan65 citations
9. Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers ↗Lawrence Charles Paulson64 citations
10. Indirect Effects of the Digital Transformation on Environmental Sustainability: Methodological Challenges in Assessing the Greenhouse Gas Abatement Potential of ICT ↗Jan C. T. Bieser, Lorenz M. Hilty60 citations
11. νZ - Maximal Satisfaction with Z3 ↗Nikolaj Bjørner, Anh-Dung Phan60 citations
12. Knowledge Compilation meets Uniform Sampling ↗Shubham Sharma, Rahul Gupta, Subhajit Roy et al.56 citations
13. BliStr: The Blind Strategymaker ↗Josef Urban50 citations
14. Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers ↗Peter Heidlauf, Alexander R. Collins, Michael A. Bolender et al.49 citations
15. Playing with Quantified Satisfaction ↗Nikolaj Bjørner, Mikoláš Janota47 citations
16. Verifying safety of an autonomous spacecraft rendezvous mission ↗Nicole Chan, Sayan Mitra47 citations
17. Enhanced Gaussian Elimination in DPLL-based SAT Solvers ↗Mate Soos40 citations
18. Implementation of Taylor models in CORA 2018 ↗Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper40 citations
19. Empirical Evaluation of the Energy Impact of Refactoring Code Smells ↗Roberto Verdecchia, René Aparicio Saez, Giuseppe Procaccianti et al.39 citations
20. Program Verification as Satisfiability Modulo Theories ↗Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko39 citations
21. Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution ↗Cezary Kaliszyk, Josef Urban33 citations
22. iDQ: Instantiation-Based DQBF Solving ↗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 ↗Armin Biere32 citations
24. Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools ↗Ibtissem Ben Makhlouf, Stefan Kowalewski30 citations
25. The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing ↗Rao Mikkilineni, Albert Comparini, Giovanni Morana29 citations

See all 753 papers in 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 ArgumentationEPiC series in computingMichael Abraham, Dov M. Gabbay, Uri J. Schild2018 · 8 citations

🧭 Top topics

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

⚖️Legal AI (1)🕎Hebrew & Aramaic (1)

📚 Fields

🎭Arts and Humanities (1)🖥️Computer Science (1)

🧑‍🔬 Top authors

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

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/