---
title: "EPiC series in computing 2018 — all accepted papers"
description: "All 753 papers of EPiC series in computing 2018 · page 1 of 8, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/"
---
[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/papers/)

[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](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/) / papers

# EPiC series in computing 2018: all accepted papers

753 papers · page 1 of 8 · the most cited first · [← EPiC series in computing 2018](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/)

**1** [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) … [8](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/8/) [next →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/)

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*
26. **[New Techniques in Clausal Form Generation ↗](https://doi.org/10.29007/dzfz)**Giles Reger, Martin Suda, Андрей Воронков*27 citations*
27. **[BluSTL: Controller Synthesis from Signal Temporal Logic Specifications ↗](https://doi.org/10.29007/g39q)**Alexandre Donzé, Vasumathi Raman*26 citations*
28. **[Graph Symmetry Detection and Canonical Labeling: Differences and Synergies ↗](https://doi.org/10.29007/gzc1)**Hadi Katebi, Karem A. Sakallah, Igor L. Markov*25 citations*
29. **[Undesigning the Internet: An exploratory study of reducing everyday Internet connectivity ↗](https://doi.org/10.29007/s221)**Kelly Widdicks, Tina Ringenson, Daniel Sapiens Pargman et al.*25 citations*
30. **[Matching Jobs and Resumes: a Deep Collaborative Filtering Task ↗](https://doi.org/10.29007/17rz)**Thomas Schmitt, Philippe Caillou, Michèle Sébag*24 citations*
31. **[Theorem Provers For Every Normal Modal Logic ↗](https://doi.org/10.29007/jsb9)**Tobias Gleißner, Alexander Steen, Christoph Benzmüller*24 citations*
32. **[Legal Information Retrieval Using Topic Clustering and Neural Networks ↗](https://doi.org/10.29007/psgx)**Rohan Nanda, Adebayo Kolawole John, Luigi Di et al.*23 citations*
33. **[On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width ↗](https://doi.org/10.29007/cvnz)**Gergely Kovásznai, Andreas Fröhlich, Armin Biere*23 citations*
34. **[AVATAR Modulo Theories ↗](https://doi.org/10.29007/k6tp)**Giles Reger, Nikolaj Bjørner, Martin Suda et al.*22 citations*
35. **[Abstract Domains for Bit-Level Machine Integer and Floating-point Operations ↗](https://doi.org/10.29007/b63g)**Antoine Miné*22 citations*
36. **[Two-variable First-Order Logic with Counting in Forests ↗](https://doi.org/10.29007/24fm)**Witold Charatonik, Yegor Guskov, Ian E. Pratt-Hartmann et al.*21 citations*
37. **[An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future ↗](https://doi.org/10.29007/zswj)**Jiefei Ma, Rob Miller, Leora Morgenstern et al.*20 citations*
38. **[Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures ↗](https://doi.org/10.29007/73n4)**Martin Aigner, Armin Biere, Christoph M. Kirsch et al.*20 citations*
39. **[Shifting the maturity needle of ICT for Sustainability ↗](https://doi.org/10.29007/d6g3)**Samuel Mann, Oliver Bates, Ray Maher*20 citations*
40. **[Vector Addition Systems Reachability Problem (A Simpler Solution) ↗](https://doi.org/10.29007/bnx2)**Jérôme Leroux*20 citations*
41. **[ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗](https://doi.org/10.29007/4dcn)**Matthias Althoff, Stanley Bak, Dario Cattaruzza et al.*19 citations*
42. **[ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics ↗](https://doi.org/10.29007/m75b)**Fabian Immler, Matthias Althoff, Luis Benet et al.*19 citations*
43. **[Deep Incremental Boosting ↗](https://doi.org/10.29007/qlvr)**Alan Mosca, George D. Magoulas*19 citations*
44. **[Maximum likelihood pedigree reconstruction using integer programming ↗](https://doi.org/10.29007/sghd)**James Cussens*19 citations*
45. **[Shared Autonomous Vehicles: Potentials for a Sustainable Mobility and Risks of Unintended Effects ↗](https://doi.org/10.29007/rg73)**Christina Pakusch, Gunnar Stevens, Paul Bossauer*19 citations*
46. **[ARCH-COMP18 Category Report: Stochastic Modelling ↗](https://doi.org/10.29007/7ks7)**Alessandro Abate, H.A.P. Blom, Nathalie Cauchi et al.*18 citations*
47. **[Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters) ↗](https://doi.org/10.29007/23pm)**Luan Viet Nguyen, Taylor Thomas Johnson*18 citations*
48. **[Breeding Theorem Proving Heuristics with Genetic Algorithms ↗](https://doi.org/10.29007/gms9)**Simon Schäfer, Stephan Schulz*18 citations*
49. **[Computing Nash Equilibria of Unbounded Games ↗](https://doi.org/10.29007/1wpl)**Martı́n Hötzel Escardó, Paulo B. Oliva*18 citations*
50. **[Covered Clause Elimination ↗](https://doi.org/10.29007/cl8s)**Marijn J. H. Heule, Matti J„ärvisalo, Armin Biere*18 citations*
51. **[Quantified Heap Invariants for Object-Oriented Programs ↗](https://doi.org/10.29007/zrct)**Temesghen Kahsai, Rody Kersten, Philipp Rümmer et al.*17 citations*
52. **[Synchronizing Constrained Horn Clauses ↗](https://doi.org/10.29007/gr5c)**Dmitry Mordvinov, Grigory Fedyukovich*17 citations*
53. **[Why These Automata Types? ↗](https://doi.org/10.29007/c3bj)**Udi Boker*17 citations*
54. **[A Unified View of Induction Reasoning for First-Order Logic ↗](https://doi.org/10.29007/nsx4)**Sorin Stratulat*16 citations*
55. **[A high-level estimate of the material footprints of the ICT and the E&M sector ↗](https://doi.org/10.29007/q5fw)**Jens Malmodin, Pernilla Bergmark, Sepideh Matinfar*16 citations*
56. **[HipSpec : Automating Inductive Proofs of Program Properties ↗](https://doi.org/10.29007/3qwr)**Koen Claessen, Moa Johansson, Dan Rosén et al.*16 citations*
57. **[Model checking Timed CSP ↗](https://doi.org/10.29007/6fqk)**Philip Armstrong, Gavin Lowe, Joël Ouaknine et al.*16 citations*
58. **[Termination Checking in the Presence of Nested Inductive and Coinductive Types ↗](https://doi.org/10.29007/n51d)**Thorsten Altenkirch, Nils Anders Danielsson*16 citations*
59. **[The Footprint of Things: A hybrid approach towards the collection, storage and distribution of life cycle inventory data ↗](https://doi.org/10.29007/8pnj)**Guido van Capelleveen, Johanna Pohl, Andreas Fritsch et al.*16 citations*
60. **[Verifying Properties of an Electro-Mechanical Braking System ↗](https://doi.org/10.29007/x87p)**Thomas Strathmann, Jens Oehlerking*16 citations*
61. **[A Tableau Proof System with Names for Modal Mu-calculus ↗](https://doi.org/10.29007/lwqm)**Colin Stirling*15 citations*
62. **[ARCH-COMP18 Category Report: Results on the Falsification Benchmarks ↗](https://doi.org/10.29007/t85q)**Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha et al.*15 citations*
63. **[Analysis of Attack Graph Representations for Ranking Vulnerability Fixes ↗](https://doi.org/10.29007/2c1q)**Tom Gonda, Tal Pascal, Rami Puzis et al.*15 citations*
64. **[Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing ↗](https://doi.org/10.29007/dc9b)**Benjamin Farinier, Robin David, Sébastien Bardin et al.*15 citations*
65. **[Legal Question Answering System using Neural Attention ↗](https://doi.org/10.29007/4l2q)**Ayaka Morimoto, Daiki Kubo, Motoki Sato et al.*15 citations*
66. **[Machine Learning of Coq Proof Guidance: First Experiments ↗](https://doi.org/10.29007/lmmg)**Cezary Kaliszyk, Lionel Elie Mamane, Josef Urban*15 citations*
67. **[Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing ↗](https://doi.org/10.29007/nnzj)**Daniel Wasserrab, Denis Lohner*15 citations*
68. **[Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs ↗](https://doi.org/10.29007/zbdb)**Steffen Juilf Smolka, Jasmin Christian Blanchette*15 citations*
69. **[SGGS Theorem Proving: an Exposition ↗](https://doi.org/10.29007/m2vf)**Maria Paola Bonacina, David A. Plaisted*15 citations*
70. **[Turing Tests with Turing Machines ↗](https://doi.org/10.29007/9n7d)**José Hernández‐Orallo, Javier Insa-Cabrera, David L. Dowe et al.*15 citations*
71. **[Computational Coverage of TLG: Nonlinearity ↗](https://doi.org/10.29007/96j5)**Glyn V. Morrill, Oriol Valentín*14 citations*
72. **[ICT for Sustainable Last-Mile Logistics: Data, People and Parcels ↗](https://doi.org/10.29007/67nl)**Oliver Bates, Adrian Friday, Julian Allen et al.*14 citations*
73. **[MCMT in the Land of Parametrized Timed Automata ↗](https://doi.org/10.29007/sc2w)**Alessandro Carioni, Silvio Ghilardi, Silvio Ranise*14 citations*
74. **[Overview of COLIEE 2017 ↗](https://doi.org/10.29007/fm8f)**Yoshinobu Kano, Mi-Young Kim, Randy G. Goebel et al.*14 citations*
75. **[Post Mortem Analysis of SAT Solver Proofs ↗](https://doi.org/10.29007/gpp8)**Laurent Simon*14 citations*
76. **[Reasoning with Triggers ↗](https://doi.org/10.29007/3c1n)**Claire Dross, Sylvain Conchon, Johannes Kanig et al.*14 citations*
77. **[qbf2epr: A Tool for Generating EPR Formulas from QBF ↗](https://doi.org/10.29007/2b5d)**Martina Seidl, Florian Lonsing, Armin Biere*14 citations*
78. **[A Clausal Normal Form Translation for FOOL ↗](https://doi.org/10.29007/ltkk)**Evgenii Kotelnikov, Laura Kovács, Martin Suda et al.*13 citations*
79. **[Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery ↗](https://doi.org/10.29007/8drm)**Victor Gan, Guy Albert Dumont, Ian M. Mitchell*13 citations*
80. **[Implementing Connection Calculi for First-order Modal Logics ↗](https://doi.org/10.29007/82m9)**Jens Otten*13 citations*
81. **[Learning from Multiple Proofs: First Experiments ↗](https://doi.org/10.29007/nb2g)**Daniel A. Kuehlwein, Josef Urban*13 citations*
82. **[Left-Handed Completeness for Kleene algebra, via Cyclic Proofs ↗](https://doi.org/10.29007/hzq3)**Anupam Das, Amina Doumane, Damien Pous*13 citations*
83. **[MetTeL2: Towards a Tableau Prover Generation Platform ↗](https://doi.org/10.29007/1c73)**Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi*13 citations*
84. **[Progress in Automating Higher-Order Ontology Reasoning ↗](https://doi.org/10.29007/dtnz)**Christoph Benzmüller, Adam Pease*13 citations*
85. **[SMT-Based System Verification with DVF ↗](https://doi.org/10.29007/59rn)**Amit Goel, Sava Krstić, Rebekah Leslie et al.*13 citations*
86. **[SimuLTE-MEC: Extending SimuLTE for Multi-Access Edge Computing ↗](https://doi.org/10.29007/7g1p)**Giovanni Nardini, Antonio Virdis, Giovanni Stea et al.*13 citations*
87. **[Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs ↗](https://doi.org/10.29007/fml1)**Shaoying Liu*13 citations*
88. **[A Simulation Model of IEEE 802.1AS gPTP for Clock Synchronization in OMNeT++ ↗](https://doi.org/10.29007/wfl9)**Henning Puttnies, Peter Danielis, Enkhtuvshin Janchivnyambuu et al.*12 citations*
89. **[Computing Minimal Subsumption Modules of Ontologies ↗](https://doi.org/10.29007/tz7k)**Jieying Chen, Michel Ludwig, Dirk Walther*12 citations*
90. **[Dolius: A Distributed Parallel SAT Solving Framework ↗](https://doi.org/10.29007/hvqt)**Gilles Audemard, Benoît Hoessen, Saïd Jabbour et al.*12 citations*
91. **[Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts ↗](https://doi.org/10.29007/f3hh)**Franz Baader, Andreas Ecke*12 citations*
92. **[Machine Learner for Automated Reasoning 0.4 and 0.5 ↗](https://doi.org/10.29007/shxj)**Cezary Kaliszyk, Josef Urban, Jiri Vyskocil*12 citations*
93. **[Redirecting Proofs by Contradiction ↗](https://doi.org/10.29007/wm8b)**Jasmin Christian Blanchette*12 citations*
94. **[TacticToe: Learning to Reason with HOL4 Tactics ↗](https://doi.org/10.29007/ntlb)**Thibault Gauthier, Cezary Kaliszyk, Josef Urban*12 citations*
95. **[Towards a sustainable business model for smartphones: Combining product-service systems with modularity ↗](https://doi.org/10.29007/djcz)**Alice Frantz Schneider, Sepideh Matinfar, Eoin Martino Grua et al.*12 citations*
96. **[An SMT-based approach to automated configuration ↗](https://doi.org/10.29007/5n7n)**Raphaël Michel, Arnaud Hubaux, Vijay Ganesh et al.*11 citations*
97. **[Application-Independent and Integration-Friendly Natural Language Understanding ↗](https://doi.org/10.29007/npsn)**Manfred Eppe, Sean Trott, Vivek Raghuram et al.*11 citations*
98. **[Benchmark: Quadrotor Attitude Control ↗](https://doi.org/10.29007/dc68)**Antônio Eduardo Carrilho da Cunha*11 citations*
99. **[Exotic Semi-Ring Constraints ↗](https://doi.org/10.29007/qqvt)**Michael Codish, Yoav Fekete, Carsten Fuhs et al.*11 citations*
100. **[Flow* 1.2: More Effective to Play with Hybrid Systems ↗](https://doi.org/10.29007/1w4t)**Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám*11 citations*

**1** [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) … [8](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/8/) [next →](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/)

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