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

[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 2

# EPiC series in computing 2018: all accepted papers

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

101. **[Iterated contraction of propositions and conditionals under the principle of conditional preservation ↗](https://doi.org/10.29007/3q8l)**Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald et al.*11 citations*
102. **[Large-Scale Linear Systems from Order-Reduction ↗](https://doi.org/10.29007/xk7x)**Hoang-Dung Tran, Luan Viet Nguyen, Taylor Thomas Johnson*11 citations*
103. **[MiniAgda: Integrating Sized and Dependent Types ↗](https://doi.org/10.29007/322q)**Andreas M. Abel*11 citations*
104. **[On Conflicts and Strategies in QBF ↗](https://doi.org/10.29007/4sk1)**Nikolaj Bjørner, Mikoláš Janota, William Klieber*11 citations*
105. **[On Solving MaxSAT Through SAT ↗](https://doi.org/10.29007/vxm5)**Carlos Ansótegui, Marı́a Luisa Bonet, Jordi Levy*11 citations*
106. **[Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes ↗](https://doi.org/10.29007/hhnf)**Inès Ben El Ouahma, Quentin Meunier, Karine Heydemann et al.*11 citations*
107. **[The Challenges of Evaluating a New Feature in Vampire ↗](https://doi.org/10.29007/1ffk)**Giles Reger, Martin Suda, Андрей Воронков*11 citations*
108. **[Towards a Semantics of Unsatisfiability Proofs with Inprocessing ↗](https://doi.org/10.29007/7jgq)**Tobias Philipp, Adrián Rebola-Pardo*11 citations*
109. **[Transforming Event B Models into Verified C# Implementations ↗](https://doi.org/10.29007/9wm9)**Dominique Méry, Rosemary Monahan*11 citations*
110. **[Ultrametric automata and Turing machines ↗](https://doi.org/10.29007/tdf5)**Rūsiņš Freivalds*11 citations*
111. **[A Comparative Analysis of Green ICT Maturity Models ↗](https://doi.org/10.29007/5hgz)**David Lautenschutz, Sergio España, Albert Hankel et al.*10 citations*
112. **[A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems ↗](https://doi.org/10.29007/7b44)**Hiba Ouni, Kaïs Klai, Chiheb Ameur Abid et al.*10 citations*
113. **[A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels ↗](https://doi.org/10.29007/bm16)**Ian M. Mitchell*10 citations*
114. **[A uniform framework for substructural logics with modalities ↗](https://doi.org/10.29007/93qg)**Björn Lellmann, Carlos Alberto Olarte, Elaine Gouvêa Pimentel*10 citations*
115. **[AaaS and MaaS for reduced environmental and climate impact of transport ↗](https://doi.org/10.29007/cx17)**Anna Kramers, Tina Ringenson, Liridona Sopjani et al.*10 citations*
116. **[Analyzing Runtime Complexity via Innermost Runtime Complexity ↗](https://doi.org/10.29007/1nbh)**Florian Frohn, Jürgen Giesl*10 citations*
117. **[Automated Proof of Authentication Protocols in a Logic of Events ↗](https://doi.org/10.29007/r7n1)**Mark Bickford*10 citations*
118. **[Automated Reasoning for Explainable Artificial Intelligence ↗](https://doi.org/10.29007/4b7h)**Maria Paola Bonacina*10 citations*
119. **[Automatic Space Bound Analysis for Functional Programs with Garbage Collection ↗](https://doi.org/10.29007/xkwx)**Yue Niu, Jan Hoffmann*10 citations*
120. **[EPR-based k-induction with Counterexample Guided Abstraction Refinement ↗](https://doi.org/10.29007/scv7)**Zurab O. Khasidashvili, Konstantin Korovin, Dmitry Tsarkov*10 citations*
121. **[Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets ↗](https://doi.org/10.29007/sxzb)**Jaroslav Bendík, Ivana Černá*10 citations*
122. **[LOOPUS - A Tool for Computing Loop Bounds for C Programs ↗](https://doi.org/10.29007/3xxr)**Moritz Sinn, Florian Zuleger*10 citations*
123. **[LexiPers: An ontology based sentiment lexicon for Persian ↗](https://doi.org/10.29007/f4j4)**Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani et al.*10 citations*
124. **[Modeling Organic Chemistry and Planning Organic Synthesis ↗](https://doi.org/10.29007/493z)**Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski B*10 citations*
125. **[Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems ↗](https://doi.org/10.29007/b3wr)**Fabian Immler*10 citations*
126. **[Using S-TaLiRo on Industrial Size Automotive Models ↗](https://doi.org/10.29007/kwp3)**Bardh Hoxha, Houssam Abbas, Georgios Fainekos*10 citations*
127. **[Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers ↗](https://doi.org/10.29007/6vwg)**Marijn J. H. Heule, Norbert Manthey, Tobias Philipp*10 citations*
128. **[Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs ↗](https://doi.org/10.29007/7nl2)**Nils Wisiol, Christoph Graebnitz, Marian Margraf et al.*10 citations*
129. **[A Complete Calculus of Monotone and Antitone Higher-Order Functions ↗](https://doi.org/10.29007/3n54)**Thomas Icard, Lawrence S. Moss*9 citations*
130. **[A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees ↗](https://doi.org/10.29007/5qvt)**Daniele Ioli, Alessandro Falsone, Marianne Hartung et al.*9 citations*
131. **[Anatomy of Alternating Quantifier Satisfiability (Work in progress) ↗](https://doi.org/10.29007/8cf7)**Anh-Dung Phan, Nikolaj Bjørner, David P. Monniaux*9 citations*
132. **[Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo ↗](https://doi.org/10.29007/14v7)**Guillaume Bury, David Delahaye, Damien Doligez et al.*9 citations*
133. **[Contactless Surgery Light Control based on 3D Gesture Recognition ↗](https://doi.org/10.29007/zmz9)**Armin Dietz, Stephan Schröder, Andreas Pösch et al.*9 citations*
134. **[Model Check What You Can, Runtime Verify the Rest ↗](https://doi.org/10.29007/slnn)**Timothy L. Hinrichs, Aravinda Prasad Sistla, Lenore D. Zuck*9 citations*
135. **[Motor-Transmission Drive System: a Benchmark Example for Safety Verification ↗](https://doi.org/10.29007/ct87)**Hongxu Chen, Sayan Mitra, Guangyu Tian*9 citations*
136. **[Optimizing the AES S-Box using SAT ↗](https://doi.org/10.29007/h5s4)**Carsten Fuhs, Peter Schneider–Kamp*9 citations*
137. **[Progress on Powertrain Verification Challenge with C2E2 ↗](https://doi.org/10.29007/1kq2)**Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra et al.*9 citations*
138. **[Temporal Query Answering in DL-Lite with Negation ↗](https://doi.org/10.29007/2df8)**Stefan Borgwardt, Veronika Thost*9 citations*
139. **[A One-Pass Tree-Shaped Tableau for LTL+Past ↗](https://doi.org/10.29007/3hb9)**Nicola Gigante, Angelo Montanari, Mark A Reynolds*8 citations*
140. **[ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics ↗](https://doi.org/10.29007/v6g4)**Xin Chen, Matthias Althoff, Fabian Immler*8 citations*
141. **[ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks ↗](https://doi.org/10.29007/wmf5)**Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha et al.*8 citations*
142. **[ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ↗](https://doi.org/10.29007/73mb)**Matthias Althoff, Stanley Bak, Xin Chen et al.*8 citations*
143. **[Anemic Status Prediction using Multilayer Perceptron Neural Network Model ↗](https://doi.org/10.29007/8bh6)**Ching Hao Yu, Manas Bhatnagar, Rachel Hogen et al.*8 citations*
144. **[Cryptographic Protocol Verification via Supercompilation (A Case Study) ↗](https://doi.org/10.29007/gpsh)**Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh*8 citations*
145. **[Experiments on the feasibility of using a floating-point simplex in an SMT solver ↗](https://doi.org/10.29007/j7x4)**Diego Caminha B. de Oliveira, David P. Monniaux*8 citations*
146. **[First-Order Interpolation and Interpolating Proof Systems ↗](https://doi.org/10.29007/1qb8)**Laura Kovács, Андрей Воронков*8 citations*
147. **[Formula partitioning revisited ↗](https://doi.org/10.29007/9skn)**Zoltán Ádám Mann, Pál András Papp*8 citations*
148. **[Graph Path Orderings ↗](https://doi.org/10.29007/6hkk)**Nachum Dershowitz, Jean-Pierre Jouannaud*8 citations*
149. **[High-level Hybrid Systems Analysis with Hypy ↗](https://doi.org/10.29007/4f3d)**Stanley Bak, Sergiy Bogomolov, Christian Schilling*8 citations*
150. **[Implementation of Incremental Learning in Artificial Neural Networks ↗](https://doi.org/10.29007/8559)**Mariela Andrade, Eduardo Gasca, Eréndira Rendón*8 citations*
151. **[LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems ↗](https://doi.org/10.29007/wpg3)**Rachel Faran, Orna Kupferman*8 citations*
152. **[Parse Condition: Symbolic Encoding of LL(1) Parsing ↗](https://doi.org/10.29007/2ndp)**Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala et al.*8 citations*
153. **[Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms ↗](https://doi.org/10.29007/5fhn)**Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl et al.*8 citations*
154. **[Refinement and Term Synthesis in Loop Invariant Generation ↗](https://doi.org/10.29007/5wpt)**Ewen Maclean, Andrew Ireland, Lucas Dixon et al.*8 citations*
155. **[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/)**Michael Abraham, Dov M. Gabbay, Uri J. Schild*8 citations · our summary*
156. **[The maker movement in Europe: empirical and theoretical insights into sustainability ↗](https://doi.org/10.29007/8lsf)**Jeremy Millard, Marie Nicole Sorivelle, Orfeas Konstantinos Katsikis et al.*8 citations*
157. **[Tool Demonstration of the FLATA Counter Automata Toolset ↗](https://doi.org/10.29007/5qkv)**Marius Dorel Bozga, Radu Iosif, Filip Konecny et al.*8 citations*
158. **[Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions ↗](https://doi.org/10.29007/6zxt)**Holger Hermanns, Sebastian Biewer, Pedro R. D’Argenio et al.*8 citations*
159. **[When Are Two Gossips the Same? ↗](https://doi.org/10.29007/ww65)**Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek*8 citations*
160. **[When Should Learning Agents Switch to Explicit Knowledge? ↗](https://doi.org/10.29007/2bgs)**Daan Apeldoorn, Gabriele Kern-Isberner*8 citations*
161. **[ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics ↗](https://doi.org/10.29007/n3km)**Goran Frehse, Alessandro Abate, Dieky Adzkiya et al.*7 citations*
162. **[Automated analysis of Stateflow models ↗](https://doi.org/10.29007/b8gq)**Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion et al.*7 citations*
163. **[Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny ↗](https://doi.org/10.29007/5zjp)**Sylvia Grewe, Sebastian Thore Erdweg, Mira Mezini*7 citations*
164. **[Better Proof Output for Vampire ↗](https://doi.org/10.29007/5dmz)**Giles Reger*7 citations*
165. **[Blocked Clauses in First-Order Logic ↗](https://doi.org/10.29007/c3wq)**Benjamin Kiesl, Martin Suda, Martina Seidl et al.*7 citations*
166. **[Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning ↗](https://doi.org/10.29007/28ww)**Adrian Balint, Norbert Manthey*7 citations*
167. **[Checkable Proofs for First-Order Theorem Proving ↗](https://doi.org/10.29007/s6d1)**Giles Reger, Martin Suda*7 citations*
168. **[Clausal Proof Compression ↗](https://doi.org/10.29007/sgpl)**Marijn J. H. Heule, Armin Biere*7 citations*
169. **[Computing with Metabolic Machines ↗](https://doi.org/10.29007/t48n)**Claudio Angione, Giovanni Carapezza, Jole Costanza et al.*7 citations*
170. **[Critical Pair Analysis in Nominal Rewriting ↗](https://doi.org/10.29007/7q54)**Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto et al.*7 citations*
171. **[Formal Verification of a Multi-Basal Insulin Infusion Control Model ↗](https://doi.org/10.29007/kcrp)**Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan*7 citations*
172. **[Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA ↗](https://doi.org/10.29007/c4xk)**Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar et al.*7 citations*
173. **[From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry ↗](https://doi.org/10.29007/k47p)**Pierre Boutry, Gabriel Braun, Julien Narboux*7 citations*
174. **[Historical Gradient Boosting Machine ↗](https://doi.org/10.29007/2sdc)**Zeyu Feng, Chang Xu, Dacheng Tao*7 citations*
175. **[Hybrid Modelling of a Wind Turbine ↗](https://doi.org/10.29007/tf1p)**Simone Schuler, Fabiano Daher Adegas, Adolfo Anta*7 citations*
176. **[Implied Constraints for Automaton Constraints ↗](https://doi.org/10.29007/m767)**Maria Andreina Francisco, Pierre Flener, Justin Pearson*7 citations*
177. **[Improving Legal Information Retrieval by Distributional Composition with Term Order Probabilities ↗](https://doi.org/10.29007/2xzw)**Danilo Silva Carvalho, Vu Tran, Van-Khanh Tran et al.*7 citations*
178. **[Logtk : A Logic ToolKit for Automated Reasoning and its Implementation ↗](https://doi.org/10.29007/4z1m)**Simon Cruanes*7 citations*
179. **[Loop Analysis by Quantification over Iterations ↗](https://doi.org/10.29007/269p)**Bernhard Gleiss, Laura Kovács, Simon Robillard*7 citations*
180. **[Loopfrog — loop summarization for static analysis ↗](https://doi.org/10.29007/g3fd)**Daniel Kroening, Natasha Sharygina, Stefano Tonetta et al.*7 citations*
181. **[Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod ↗](https://doi.org/10.29007/6shf)**Jasmin Christian Blanchette*7 citations*
182. **[Polymorphic+Typeclass Superposition ↗](https://doi.org/10.29007/8v2f)**Daniel Wand*7 citations*
183. **[Ranking Functions for Linear-Constraint Loops ↗](https://doi.org/10.29007/rvs4)**Amir M. Ben-Amram*7 citations*
184. **[Reasoning about Translation Lookaside Buffers ↗](https://doi.org/10.29007/c2f1)**Hira Syeda, Gerwin Klein*7 citations*
185. **[Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems ↗](https://doi.org/10.29007/n1db)**Eugene C. Freuder, Richard J. Wallace*7 citations*
186. **[SMTS: Distributed, Visualized Constraint Solving ↗](https://doi.org/10.29007/fhgn)**Matteo Marescotti, Antti Hyvärinen, Natasha Sharygina*7 citations*
187. **[Shut up and take my environmental data! A study on ICT enabled citizen science practices, participation approaches and challenges ↗](https://doi.org/10.29007/mk4k)**Maria Victoria Palacin-Silva, Jari Porras*7 citations*
188. **[Towards Improving the Resource Usage of SAT-solvers ↗](https://doi.org/10.29007/3vwv)**Norbert Manthey, Ari Saptawijaya*7 citations*
189. **[Towards Smarter MACE-style Model Finders ↗](https://doi.org/10.29007/w42s)**Mikoláš Janota, Martin Suda*7 citations*
190. **[Understanding LEO-II’s proofs ↗](https://doi.org/10.29007/x9c9)**Nik Sultana, Christoph Benzmüller*7 citations*
191. **[A Comparison of Solvers for Propositional Dynamic Logic ↗](https://doi.org/10.29007/63hq)**Ullrich Hustadt, Renate A. Schmidt*6 citations*
192. **[A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs ↗](https://doi.org/10.29007/md3x)**Johanna Nellen, Benedikt Wolters, Lukas Netz et al.*6 citations*
193. **[A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems ↗](https://doi.org/10.29007/fqg6)**Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour et al.*6 citations*
194. **[ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving ↗](https://doi.org/10.29007/vjh3)**Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan et al.*6 citations*
195. **[An Automated Framework for Exploitable Fault Identification in Block Ciphers – A Data Mining Approach ↗](https://doi.org/10.29007/fmzl)**Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay et al.*6 citations*
196. **[An Operational Semantics for Network Datalog ↗](https://doi.org/10.29007/f89j)**Vivek Nigam, Limin Jia, Anduo Wang et al.*6 citations*
197. **[Applicative Abstract Categorial Grammar ↗](https://doi.org/10.29007/s2m4)**Oleg Kiselyov*6 citations*
198. **[Automated Invention of Strategies and Term Orderings for Vampire ↗](https://doi.org/10.29007/xghj)**Jan Jakubův, Martin Suda, Josef Urban*6 citations*
199. **[Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers ↗](https://doi.org/10.29007/wh99)**Sylvain Conchon, Guillaume Melquiond, Cody Roux et al.*6 citations*
200. **[Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract) ↗](https://doi.org/10.29007/7gnr)**Zakaria Chihani, Dale Miller, Fabien Renaud*6 citations*

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

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