---
title: "EPiC series in computing 2018 — all accepted papers, page 3"
description: "All 753 papers of EPiC series in computing 2018 · page 3 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/page/3/"
---
[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/page/3/)

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

# EPiC series in computing 2018: all accepted papers

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

[← prev](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) [1](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/) [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) **3** [4](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/4/) … [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/4/)

201. **[Computational Completeness of Interaction Machines and Turing Machines ↗](https://doi.org/10.29007/39jj)**Peter W. Wegner, Eugene Eberbach, Mark Burgin*6 citations*
202. **[Efficient SAT-Based Encodings of Conditional Cardinality Constraints ↗](https://doi.org/10.29007/kfjb)**Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui et al.*6 citations*
203. **[Escape to Mizar from ATPs ↗](https://doi.org/10.29007/s1ts)**Jesse Alama*6 citations*
204. **[Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus ↗](https://doi.org/10.29007/mbbq)**Guido Fiorino*6 citations*
205. **[Generic CDCL — A Formalization of Modern Propositional Satisfiability Solvers ↗](https://doi.org/10.29007/7n71)**Steffen Hölldobler, Norbert Manthey, Tobias Philipp et al.*6 citations*
206. **[Industrial Examples of Formal Specifications for Test Case Generation ↗](https://doi.org/10.29007/z9ph)**Hendrik Roehm, Rainer Gmehlich, Thomas Heinz et al.*6 citations*
207. **[LEO-II Version 1.5 ↗](https://doi.org/10.29007/lbxw)**Christoph Benzmüller, Nik Sultana*6 citations*
208. **[New CNF Features and Formula Classification ↗](https://doi.org/10.29007/b8t1)**Enrique Alfonso Carmona García, Norbert Manthey*6 citations*
209. **[Optimal haplotype reconstruction in half-sib families ↗](https://doi.org/10.29007/rpn1)**Aurélie Favier, Jean-Michel Elsen, Simon de Givry et al.*6 citations*
210. **[Proving uniformity and independence by self-composition and coupling ↗](https://doi.org/10.29007/vz48)**Gilles Barthe, Thomas Espitau, Benjamin Grégoire et al.*6 citations*
211. **[Razor: Provenance and Exploration in Model-Finding ↗](https://doi.org/10.29007/tcvw)**Salman Saghafi, Daniel J. Dougherty*6 citations*
212. **[Seminator: A Tool for Semi-Determinization of Omega-Automata ↗](https://doi.org/10.29007/k5nl)**František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka et al.*6 citations*
213. **[Space Debris Collision Detection using Reachability ↗](https://doi.org/10.29007/5313)**Kerianne L. Hobbs, Peter Heidlauf, Alexander R. Collins et al.*6 citations*
214. **[The Potential of Interference-Based Proof Systems ↗](https://doi.org/10.29007/vr7n)**Marijn J. H. Heule, Benjamin Kiesl*6 citations*
215. **[The Triguarded Fragment of First-Order Logic ↗](https://doi.org/10.29007/m8ts)**Sebastian Rudolph, Mantas Šimkus*6 citations*
216. **[Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving ↗](https://doi.org/10.29007/6l77)**Waqar Ahmed, Osman Hasan, Sofiène Tahar*6 citations*
217. **[Towards Simulating Non-lane Based Heterogeneous Road Traffic of Less Developed Countries ↗](https://doi.org/10.29007/fzq3)**Quazi Mishkatul Alam, Bejon Sarker, Biplob Biswas et al.*6 citations*
218. **[Turing Incomputable Computation ↗](https://doi.org/10.29007/x5g2)**Michael Stephen Fiske*6 citations*
219. **[Using the Winograd Schema Challenge as a CAPTCHA ↗](https://doi.org/10.29007/rnk8)**Nicos Isaak, Loizos Michael*6 citations*
220. **[Wayeb: a Tool for Complex Event Forecasting ↗](https://doi.org/10.29007/2s9t)**Elias Alevizos, Alexander Artikis, Georgios Paliouras*6 citations*
221. **[A Framework for Verified Depth-First Algorithms ↗](https://doi.org/10.29007/8hkx)**René Neumann*5 citations*
222. **[A Survey of Elementary Object Systems ↗](https://doi.org/10.29007/dqbd)**Michael Köhler-Bußmeier*5 citations*
223. **[A Theory of Satisfiability-Preserving Proofs in SAT Solving ↗](https://doi.org/10.29007/tc7q)**Adrián Rebola-Pardo, Martin Suda*5 citations*
224. **[A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures ↗](https://doi.org/10.29007/45rv)**Elena V. Ravve, Zeev Volkovich, Gerhard‐Wilhelm Weber*5 citations*
225. **[Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis ↗](https://doi.org/10.29007/6dcf)**Hoang-Dung Tran, Luan Viet Nguyen, Taylor Thomas Johnson*5 citations*
226. **[Bunched Hypersequent Calculi for Distributive Substructural Logics ↗](https://doi.org/10.29007/ngp3)**Agata Ciabattoni, Revantha Ramanayake*5 citations*
227. **[Conflict Resolution in Structured Argumentation ↗](https://doi.org/10.29007/brgz)**Martin Baláž, Jozef Frtús, Martin Homola*5 citations*
228. **[Conflicts, Models and Heuristics for Quantifier Instantiation in SMT ↗](https://doi.org/10.29007/jmd3)**Andrew Reynolds*5 citations*
229. **[Content-Based Image Retrieval System for Real Images ↗](https://doi.org/10.29007/w4sr)**Yin‐Fu Huang, Bo-Rong Chen*5 citations*
230. **[Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic ↗](https://doi.org/10.29007/dzc2)**Max Wisniewski, Alexander Steen*5 citations*
231. **[Foundations for the Logical Difference of EL-TBoxes ↗](https://doi.org/10.29007/prhh)**Shasha Feng, Michel Ludwig, Dirk Walther*5 citations*
232. **[Heliostat Field Layout Optimization with Evolutionary Algorithms ↗](https://doi.org/10.29007/7p6t)**Pascal Richter, David Laukamp, Levin Gerdes et al.*5 citations*
233. **[Implementing a stepper using delimited continuations ↗](https://doi.org/10.29007/l2wb)**Youyou Cong, Kenichi Asai*5 citations*
234. **[Improving SAT Solver Performance with Structure-based Preferential Bumping ↗](https://doi.org/10.29007/3pxg)**Sima Jamali, David G. M. Mitchell*5 citations*
235. **[Incremental Construction of Counterexamples in Model Checking Web Documents ↗](https://doi.org/10.29007/c8jt)**Franz Weitl, Shin Nakajima*5 citations*
236. **[Instantiations, Zippers and EPR Interpolation ↗](https://doi.org/10.29007/xt3j)**Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin et al.*5 citations*
237. **[Iterative Planning for Deterministic QDec-POMDPs ↗](https://doi.org/10.29007/4t8s)**Sagi Bazinin, Guy Shani*5 citations*
238. **[Light-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments ↗](https://doi.org/10.29007/89kc)**Stephan Schulz*5 citations*
239. **[Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems ↗](https://doi.org/10.29007/8tjs)**Zhengmao Ye, Habib P. Mohamadian*5 citations*
240. **[On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals ↗](https://doi.org/10.29007/74gj)**Marcelo Prates, Pedro Avelar, Luís C. Lamb*5 citations*
241. **[On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess ↗](https://doi.org/10.29007/gs6m)**Frédéric Prost*5 citations*
242. **[Parallel Graph Rewriting with Overlapping Rules ↗](https://doi.org/10.29007/576h)**Rachid Echahed, Aude Maignan*5 citations*
243. **[Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 ↗](https://doi.org/10.29007/rlv9)**Szymon Klarman*5 citations*
244. **[Proceedings of the 6th IJCAR ATP System Competition (CASC-J6) ↗](https://doi.org/10.29007/lvcc)**Geoff Sutcliffe*5 citations*
245. **[Quasipolynomial Set-Based Symbolic Algorithms for Parity Games ↗](https://doi.org/10.29007/5z5k)**Krishnendu Chatterjee, Wolfgang Dvořák, Monika Rauch Henzinger et al.*5 citations*
246. **[Reconciling Population and Agent Models for Crowd Dynamics ↗](https://doi.org/10.29007/7cgj)**Andrea Bracciali, Jane Elizabeth Hillston, Diego Latella et al.*5 citations*
247. **[Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks ↗](https://doi.org/10.29007/gl61)**Antonina Tretyakova, Franciszek Seredynski A*5 citations*
248. **[Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics ↗](https://doi.org/10.29007/vn4w)**Ştefan Minică, Mohammad Khodadadi, Renate A. Schmidt et al.*5 citations*
249. **[The Uses of SAT Solvers in Vampire ↗](https://doi.org/10.29007/4w68)**Giles Reger, Martin Suda*5 citations*
250. **[Towards High-Assurance Multiprocessor Virtualisation ↗](https://doi.org/10.29007/rhn3)**Michael von Tessin*5 citations*
251. **[Tropical linear programming and parametric mean payoff games ↗](https://doi.org/10.29007/jcrz)**Stéphane Gaubert, Ricardo D. Katz, Sergeĭ Sergeev*5 citations*
252. **[Typical-case complexity and the SAT competitions ↗](https://doi.org/10.29007/cvj9)**Zoltán Ádám Mann*5 citations*
253. **[Using Vampire in Soundness Proofs of Type Systems ↗](https://doi.org/10.29007/22x6)**Sylvia Grewe, Sebastian Thore Erdweg, Mira Mezini*5 citations*
254. **[A Data-Driven Metric of Hardness for WSC Sentences ↗](https://doi.org/10.29007/398z)**Nicos Isaak, Loizos Michael*4 citations*
255. **[A Genetic Algorithm for Truck Dispatching in Mining ↗](https://doi.org/10.29007/n11t)**Wesley Cox, Tim French, Mark A Reynolds et al.*4 citations*
256. **[A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems ↗](https://doi.org/10.29007/z794)**Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish*4 citations*
257. **[A Mathematica module for Conformal Geometric Algebra and Origami Folding ↗](https://doi.org/10.29007/6fc5)**Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi et al.*4 citations*
258. **[A Resolution Method for Modal Logic S5 ↗](https://doi.org/10.29007/1zgr)**Yakoub Salhi, Michael Sioutis*4 citations*
259. **[A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo ↗](https://doi.org/10.29007/ftc2)**Guillaume Burel*4 citations*
260. **[A Verified Efficient Implementation of the LLL Basis Reduction Algorithm ↗](https://doi.org/10.29007/xwwh)**Ralph Bottesch, Maximilian P. L. Haslbeck, René Thiemann*4 citations*
261. **[ARCH-COMP18 Repeatability Evaluation Report ↗](https://doi.org/10.29007/n9t3)**Taylor Thomas Johnson*4 citations*
262. **[Abstract Interpretation over Zones without Widening ↗](https://doi.org/10.29007/qqdg)**Thomas Martin Gawlitza, Helmut Seidl*4 citations*
263. **[Analyzable Legal Yes/No Question Answering System using Linguistic Structures ↗](https://doi.org/10.29007/16q5)**Yoshinobu Kano, Reina Hoshino, Ryosuke Taniguchi*4 citations*
264. **[Branching Processes of Conservative Nested Petri Nets ↗](https://doi.org/10.29007/6ntb)**Daniil Frumin, Irina A. Lomazova*4 citations*
265. **[Closing the Gap Between Specification and Programming: VDM++ and Scala ↗](https://doi.org/10.29007/2w2f)**Klaus Havelund*4 citations*
266. **[Computer algebra investigation of known primitive triangle-free strongly regular graphs ↗](https://doi.org/10.29007/bdgp)**Matan Ziv-Av, Mikhail H. Klin*4 citations*
267. **[Coq without Type Casts: A Complete Proof of Coq Modulo Theory ↗](https://doi.org/10.29007/bjpg)**Jean-Pierre Jouannaud, Pierre-Yves Strub*4 citations*
268. **[Direct Verification of Linear Systems with over 10,000 Dimensions ↗](https://doi.org/10.29007/dwj1)**Stanley Bak, Parasara Sridhar Duggirala*4 citations*
269. **[Energy consumption of mobile data transfer – Increasing or decreasing? Evaluating the impact of technology development & user behavior ↗](https://doi.org/10.29007/ddrc)**Hanna Pihkola, Mikko Hongisto, Olli Apilo et al.*4 citations*
270. **[Enhanced Simplified Memory-bounded A Star (SMA*+) ↗](https://doi.org/10.29007/v7zc)**Justin Lovinger, Xiaoqin Zhang*4 citations*
271. **[Expression Compatibility Problem ↗](https://doi.org/10.29007/xlbn)**Seyed Hossein Haeri, Sibylle Schupp*4 citations*
272. **[Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol ↗](https://doi.org/10.29007/gt85)**Alexei Lisitsa*4 citations*
273. **[Function Summarization Modulo Theories ↗](https://doi.org/10.29007/d3bt)**Sepideh Asadi, Martin Blicha, Grigory Fedyukovich et al.*4 citations*
274. **[Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. ↗](https://doi.org/10.29007/dq11)**Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura*4 citations*
275. **[HOL Provers for First-order Modal Logics — Experiments ↗](https://doi.org/10.29007/przw)**Christoph Benzmüller*4 citations*
276. **[Modeling the Wind Turbine Benchmark with PWA Hybrid Automata ↗](https://doi.org/10.29007/s3mq)**Nikolaos Kekatos, Marcelo Forets, Goran Frehse*4 citations*
277. **[Ping-Pong Protocols as Prefix Grammars and Turchin Relation ↗](https://doi.org/10.29007/lw7c)**Antonina Nepeivoda*4 citations*
278. **[ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems ↗](https://doi.org/10.29007/mh2c)**Fedor Shmarov, Paolo Zuliani*4 citations*
279. **[Proof Support for Common Logic ↗](https://doi.org/10.29007/2ksh)**Till Mossakowski, Mihai Codescu, Oliver Kutz et al.*4 citations*
280. **[RACCOON: A Connection Reasoner for the Description Logic ALC ↗](https://doi.org/10.29007/3xxd)**Dimas Melo Filho, Fred Freitas, Jens Otten*4 citations*
281. **[Running SpaceEx on the ARCH14 Benchmarks ↗](https://doi.org/10.29007/m1cd)**Stefano Minopoli, Goran Frehse*4 citations*
282. **[SMT-Based CPS Parameter Synthesis ↗](https://doi.org/10.29007/msr8)**Heinz Riener, Robert Koenighofer, Görschwin Fey et al.*4 citations*
283. **[Scheme representation for first-order logic ↗](https://doi.org/10.29007/8l5l)**Steve Awodey, Spencer Breiner*4 citations*
284. **[Synthesising Graphical Theories ↗](https://doi.org/10.29007/5dkd)**Aleks Kissinger*4 citations*
285. **[Testbed for Model-based Verification of Cyber-physical Production Systems ↗](https://doi.org/10.29007/92bd)**Christof J. Budnik, Sebastian Eckl, Marco Gario*4 citations*
286. **[The chess example in Turing's Mind paper is really about ambiguity ↗](https://doi.org/10.29007/bmfh)**Jeroen D. Fokker*4 citations*
287. **[Theory-Specific Reasoning about Loops with Arrays using Vampire ↗](https://doi.org/10.29007/qk21)**Yuting Chen, Laura Kovács, Simon Robillard*4 citations*
288. **[Towards an Expressive Practical Logical Action Theory ↗](https://doi.org/10.29007/2m22)**Mikhail Soutchanski B, Wael Yehia*4 citations*
289. **[Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs ↗](https://doi.org/10.29007/jqtz)**Nada Habli, Amy Felty*4 citations*
290. **[Verification of Fault-Tolerant Clock Synchronization Algorithms ↗](https://doi.org/10.29007/hq8s)**Sergiy Bogomolov, Christian Herrera, Wilfried Steiner*4 citations*
291. **[What if the World Were Different? Gradient-Based Exploration for New Optimal Policies ↗](https://doi.org/10.29007/6jsv)**Rui Silva, Francisco S. Melo, Manuela Veloso*4 citations*
292. **[24 Challenges in Deductive Software Verification ↗](https://doi.org/10.29007/j2cm)**Reiner Hähnle, Marieke Huisman*3 citations*
293. **[A Civil Code Article Information Retrieval System based on Phrase Alignment with Article Structure Analysis and Ensemble Approach ↗](https://doi.org/10.29007/5zzj)**Masaharu Yoshioka, Daiki Onodera*3 citations*
294. **[A Method to Simplify Expressions: Intuition and Preliminary Experimental Results ↗](https://doi.org/10.29007/jv63)**Baudouin Le Charlier, Mêton Mêton Atindehou*3 citations*
295. **[A Modelling Pearl with Sortedness Constraints ↗](https://doi.org/10.29007/b4dz)**Nicolas Beldiceanu, Mats Carlsson, Pierre Flener et al.*3 citations*
296. **[A Sudoku-Solver for Large Puzzles using SAT ↗](https://doi.org/10.29007/79mc)**Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler*3 citations*
297. **[A Verified Theorem Prover Backend Supported by a Monotonic Library ↗](https://doi.org/10.29007/f58n)**Vincent Rahli, Liron Cohen, Mark Bickford*3 citations*
298. **[ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics ↗](https://doi.org/10.29007/p11g)**Goran Frehse, Alessandro Abate, Dieky Adzkiya et al.*3 citations*
299. **[An Algebra of Combined Constraint Solving ↗](https://doi.org/10.29007/976n)**Eugenia Ternovska*3 citations*
300. **[An Empirical Evaluation of Database Software Features on Energy Consumption ↗](https://doi.org/10.29007/9plt)**Sedef Akinli Koçak, Gülfem Işıklar Alptekin, Andriy V. Miranskyy et al.*3 citations*

[← prev](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) [1](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/) [2](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/2/) **3** [4](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/4/) … [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/4/)

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