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

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

# EPiC series in computing 2018: all accepted papers

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

301. **[Application of Adaptive Neural Networks for the Filtration of Spam ↗](https://doi.org/10.29007/t3rl)**Gela Besiashvili, Tamar Bliadze, Zurab Kochladze*3 citations*
302. **[Application of Trace-Based Subjective Logic to User Preferences Modeling ↗](https://doi.org/10.29007/zl3d)**Hoang Nam Ho, Mourad Rabah, Samuel Nowakowski et al.*3 citations*
303. **[Automated Higher-order Reasoning about Quantales ↗](https://doi.org/10.29007/l2sz)**Han-Hing Dang, Peter Höfner*3 citations*
304. **[Automatic generation of high quality test sets via CBMC ↗](https://doi.org/10.29007/zbb8)**Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano et al.*3 citations*
305. **[Benchmark: Reachability on a model with holes ↗](https://doi.org/10.29007/cv59)**Thomas Heinz, Jens Oehlerking, Matthias Woehrle*3 citations*
306. **[C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions ↗](https://doi.org/10.29007/gwcz)**Jon Haël Brenas, Rachid Echahed, Martin Strecker*3 citations*
307. **[Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4 ↗](https://doi.org/10.29007/lsnv)**Ramana Kumar*3 citations*
308. **[Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics ↗](https://doi.org/10.29007/cpbz)**Damien Doligez, Jael Elisabeth Kriener, Leslie Lamport et al.*3 citations*
309. **[Community-based Mobility Model and Probabilistic ORBIT Mobility Model Implementations in OMNeT++ ↗](https://doi.org/10.29007/4tv9)**Vishnupriya Kuppusamy, Leonardo Sarmiento, Asanga Udugama et al.*3 citations*
310. **[Compiling Hilbert's epsilon operator ↗](https://doi.org/10.29007/rkxm)**Rustan Leino*3 citations*
311. **[Compositional Verification of Security Properties for Embedded Execution Platforms ↗](https://doi.org/10.29007/h4rv)**Christoph Baumann, Oliver Schwarz, Mads Dam*3 citations*
312. **[Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling ↗](https://doi.org/10.29007/kqfk)**Teddy Bouziat, Valérie Camps, Stéphanie Combettes*3 citations*
313. **[Decidable linear list constraints ↗](https://doi.org/10.29007/d7t4)**Sabine Bauer, Martin Hofmann*3 citations*
314. **[Determining automatically compass and straightedge unconstructibility in triangles ↗](https://doi.org/10.29007/b28w)**Pascal Mathis, Pascal Schreck*3 citations*
315. **[Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams ↗](https://doi.org/10.29007/nd7r)**Héctor G. Ceballos, Francisco J. Cantú-Ortiz*3 citations*
316. **[Do Portfolio Solvers Harm? ↗](https://doi.org/10.29007/vpxm)**Christoph Weidenbach*3 citations*
317. **[Formally Proving the Boolean Pythagorean Triples Conjecture ↗](https://doi.org/10.29007/jvdj)**Luı́s Cruz-Filipe, Peter Schneider–Kamp*3 citations*
318. **[General Recursion and Formal Topology ↗](https://doi.org/10.29007/hl75)**Claudio Sacerdoti Coen, Silvio Valentini*3 citations*
319. **[Geometric Constraints for the Phase Problem in X-Ray Crystallography ↗](https://doi.org/10.29007/p2pj)**Corinna Melanie Heldt, Alexander Bockmayr*3 citations*
320. **[Heuristic Decision-Making for Human-aware Navigation in Domestic Environments ↗](https://doi.org/10.29007/12l7)**Alexandra Kirsch*3 citations*
321. **[Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems ↗](https://doi.org/10.29007/3drl)**Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez et al.*3 citations*
322. **[Initial Experiments with External Provers and Premise Selection on HOL Light Corpora ↗](https://doi.org/10.29007/sqh9)**Cezary Kaliszyk, Josef Urban*3 citations*
323. **[Learning to Plan from Raw Data in Grid-based Games ↗](https://doi.org/10.29007/s8jk)**Andrea Dittadi, Thomas Bolander, Ole Winther*3 citations*
324. **[Lexical Semantics with Linear Types ↗](https://doi.org/10.29007/16s8)**Bruno Mery*3 citations*
325. **[Linear Models of Computation and Program Learning ↗](https://doi.org/10.29007/rbdd)**Michael A. Bukatin, Steve Matthews*3 citations*
326. **[Logical and Algebraic Views of a Knot Fold of a Regular Heptagon ↗](https://doi.org/10.29007/v8hh)**Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi*3 citations*
327. **[Matching Qualitative Constraint Networks with Online Reinforcement Learning ↗](https://doi.org/10.29007/1g5q)**Malumbo Chaka Chipofya*3 citations*
328. **[Migration from SERCOS III to TSN - Simulation Based Comparison of TDMA and CBS Transportation ↗](https://doi.org/10.29007/c5td)**Sebastian Szancer, Philipp Meyer, Franz Korf*3 citations*
329. **[Modern Cooperative Parallel SAT Solving ↗](https://doi.org/10.29007/jnvf)**Norbert Manthey, Davide Lanti, Ahmed Irfan*3 citations*
330. **[Numerical Verification of 10000-dimensional Linear Systems 10000x Faster ↗](https://doi.org/10.29007/gv5q)**Stanley Bak*3 citations*
331. **[On Logical Relations and Conservativity ↗](https://doi.org/10.29007/gwlt)**Philippe de Groote*3 citations*
332. **[Parametric Exploration of Rewriting Logic Computations ↗](https://doi.org/10.29007/zm5g)**Marı́a Alpuente, Demis Ballis, Francisco Frechina et al.*3 citations*
333. **[Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays ↗](https://doi.org/10.29007/zfkw)**Angelo Brillout, Daniel Kroening, Philipp Rümmer et al.*3 citations*
334. **[Reasoning About Prescription and Description Using Prioritized Default Rules ↗](https://doi.org/10.29007/swdn)**Valentín Cassano, Carlos Areces, Pablo F. Castro*3 citations*
335. **[Recognizing entailments in legal texts using sentence encoding-based and decomposable attention models ↗](https://doi.org/10.29007/gn47)**Nguyễn Trường Sơn, Phan Viet Anh, Nguyen Le Minh*3 citations*
336. **[Robotics, Temporal Logic and Stream Reasoning ↗](https://doi.org/10.29007/pmj5)**Patrick Doherty, Fredrik Heintz, Jonas Kvarnström*3 citations*
337. **[SMT-LIB Sequences and Regular Expressions ↗](https://doi.org/10.29007/w5m5)**Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel et al.*3 citations*
338. **[Satisfiability Checking and Query Answering for Large Ontologies ↗](https://doi.org/10.29007/n1sv)**Christoph Weidenbach, Patrick Wischnewski*3 citations*
339. **[Simulating LISP-Based Multilink Communications in Aeronautical Networks ↗](https://doi.org/10.29007/67tx)**Chiara Caiazza, Antonio Virdis, Giovanni Stea*3 citations*
340. **[Temporal Patterns for Document Verification ↗](https://doi.org/10.29007/dclv)**Mirjana Jakšić, Burkhard Freitag*3 citations*
341. **[The 2012 SMT Competition ↗](https://doi.org/10.29007/gj66)**David R. Cok, Alberto Griggio, Roberto Bruttomesso A et al.*3 citations*
342. **[The Glory of the Past and Geometrical Concurrency ↗](https://doi.org/10.29007/klcl)**Cristian Prisacariu*3 citations*
343. **[Towards Strong Higher-Order Automation for Fast Interactive Verification ↗](https://doi.org/10.29007/3ngx)**Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz et al.*3 citations*
344. **[Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach ↗](https://doi.org/10.29007/bsqm)**Michel Ludwig, Dirk Walther*3 citations*
345. **[Transparent Farmers: how farmers are using technology for new ways of selling and communicating with consumers ↗](https://doi.org/10.29007/fmhh)**Jorge Luis Zapico, Maja Söderberg*3 citations*
346. **[Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi ↗](https://doi.org/10.29007/jcqn)**Jens Otten, Geoff Sutcliffe*3 citations*
347. **[Verifying a PI Controller using SoapBox and Stabhyli ↗](https://doi.org/10.29007/h9hb)**Eike Möhlmann, Willem Hagemann, Astrid Rakow*3 citations*
348. **[formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification ↗](https://doi.org/10.29007/k567)**Axel Busboom, Simone Schuler, Alexander Walsch*3 citations*
349. **[A Case for Query-driven Predicate Answer Set Programming ↗](https://doi.org/10.29007/ngm2)**Gopal Gupta, Elmer Salazar, Kyle Marple et al.*2 citations*
350. **[A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment ↗](https://doi.org/10.29007/q916)**Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula*2 citations*
351. **[A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting ↗](https://doi.org/10.29007/cpt8)**Marco Comini, Luca Torella*2 citations*
352. **[A Lightweight Double-negation Translation ↗](https://doi.org/10.29007/vbs5)**Frederic Gilbert*2 citations*
353. **[A Theory of Arrays with set and copy Operations ↗](https://doi.org/10.29007/q58t)**Stephan Falke, Carsten Sinz, Florian Merz*2 citations*
354. **[ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ↗](https://doi.org/10.29007/q5tq)**Lei Bu, Rajarshi Ray, Stefan Schupp*2 citations*
355. **[Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 ↗](https://doi.org/10.29007/vpww)**Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al.*2 citations*
356. **[An Integrated Framework for Fog Communications and Computing in Internet of Vehicles ↗](https://doi.org/10.29007/c5kn)**Alessio Bonadio, Francesco Chiti, Romano Fantacci*2 citations*
357. **[Animating Cognitive Models and Architectures: A Rule-Based Approach ↗](https://doi.org/10.29007/wjwz)**Nada Sharaf, Slim Abdennadher, Thom Fruehwirth et al.*2 citations*
358. **[Anti-Unification: Algorithms and Applications ↗](https://doi.org/10.29007/jbx2)**Temur Kutsia*2 citations*
359. **[Applications and Challenges in Satisfiability Modulo Theories ↗](https://doi.org/10.29007/cl74)**Leonardo de Moura, Nikolaj Bjørner*2 citations*
360. **[Automated Invariant Generation for the Verification of Real-Time Systems ↗](https://doi.org/10.29007/npn7)**Bahareh Badban A, Stefan Leue, Jan‐Georg Smaus*2 citations*
361. **[Automated Reasoning in the Simulation of Evolvable Systems ↗](https://doi.org/10.29007/jj86)**Djihed Afifi, David E. Rydeheard, Howard Barringer B*2 citations*
362. **[Barriers for sustainable waste management practices in grocery stores. Exploration by Research-through-Design ↗](https://doi.org/10.29007/7czw)**Sofie Nyström, Cecilia Katzeff, Daniel Sapiens Pargman*2 citations*
363. **[Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals ↗](https://doi.org/10.29007/w7b5)**Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke*2 citations*
364. **[Beagle as a HOL4 external ATP method ↗](https://doi.org/10.29007/8xbv)**Thibault Gauthier, Cezary Kaliszyk, Chantal Keller et al.*2 citations*
365. **[Beating the Productivity Checker Using Embedded Languages ↗](https://doi.org/10.29007/l41f)**Nils Anders Danielsson*2 citations*
366. **[Bidirectional Functional Semantics for Pregroup Grammars ↗](https://doi.org/10.29007/2s3s)**Gabriel Gaudreault*2 citations*
367. **[Bit-size reduction of triangular sets in two and three variables ↗](https://doi.org/10.29007/nz5x)**Tetsuro Yamashita, Xavier Dahan*2 citations*
368. **[CDCL with Less Destructive Backtracking through Partial Ordering ↗](https://doi.org/10.29007/fblb)**Anthony Monnet, Roger Villemaire*2 citations*
369. **[Can a system learn from interactive proofs? ↗](https://doi.org/10.29007/s478)**Leo Freitas, Cliff B. Jones, Andrius Velykis*2 citations*
370. **[Capacity Visual Attention Networks ↗](https://doi.org/10.29007/lcmk)**Marcus Edel, Joscha Lausch*2 citations*
371. **[Cauliflower: a Solver Generator for Context-Free Language Reachability ↗](https://doi.org/10.29007/tbm7)**Nicholas Hollingum, Bernhard Scholz*2 citations*
372. **[CheAPS: a Checker of Asynchronous Parameterized Systems ↗](https://doi.org/10.29007/d336)**Igor Konnov*2 citations*
373. **[Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems ↗](https://doi.org/10.29007/94w5)**Howard Bowman, Li Su*2 citations*
374. **[Compass-free Navigation of Mazes ↗](https://doi.org/10.29007/9djp)**Phil Scott, Jacques Fleuriot*2 citations*
375. **[Composable Packages for Higher Order Logic Theories ↗](https://doi.org/10.29007/7gg3)**Joe Hurd*2 citations*
376. **[Cuts for circular proofs ↗](https://doi.org/10.29007/54ps)**Jérôme Fortier, Luigi Santocanale*2 citations*
377. **[Data Storage and Maintenance Challenges: The Case of Advanced Metering Infrastructure Systems ↗](https://doi.org/10.29007/x6sn)**Lucas Pereira, Rodolfo Gonçalves, Filipe Quintal et al.*2 citations*
378. **[Decidable Inequalities over Infinite Trees ↗](https://doi.org/10.29007/s21n)**Sabine Bauer, Steffen Jost, Martin Hofmann*2 citations*
379. **[Defining the meaning of TPTP formatted proofs ↗](https://doi.org/10.29007/xtc2)**Roberto Blanco, Tomer Libal, Dale Miller*2 citations*
380. **[Different Proofs are Good Proofs ↗](https://doi.org/10.29007/kwk9)**Geoff Sutcliffe, Cynthia Chang, Li Ding et al.*2 citations*
381. **[Discrete-Space Analysis of Partial Differential Equations ↗](https://doi.org/10.29007/fvpp)**Hoang-Dung Tran, Tianshu Bao, Taylor Thomas Johnson*2 citations*
382. **[EasyChair ↗](https://doi.org/10.29007/n94r)**Андрей Воронков*2 citations*
383. **[Efficient Rule-Matching for Hyper-Tableaux ↗](https://doi.org/10.29007/r5m4)**Bjarne Holen, Dag Hovland, Martin Giese*2 citations*
384. **[Entropic Hopf algebras ↗](https://doi.org/10.29007/39rd)**Anna B. Romanowska, Jonathan D. H. Smith*2 citations*
385. **[Evaluating Automated Theorem Provers Using Adimen-SUMO ↗](https://doi.org/10.29007/hplh)**Javier Álvez, Paqui Lucio, Germán Rigau*2 citations*
386. **[Evaluating Equality Requirements for Software Systems ↗](https://doi.org/10.29007/t1jl)**Maryam Al Hinai, Ruzanna Chitchyan*2 citations*
387. **[Extended Resolution as Certificates for Propositional Logic ↗](https://doi.org/10.29007/vrpk)**Chantal Keller*2 citations*
388. **[External Tools for the Formal Proof of the Kepler Conjecture ↗](https://doi.org/10.29007/2l48)**Thomas Hales*2 citations*
389. **[Genetic Algorithms for Scheduling and Optimization of Ore Train Networks ↗](https://doi.org/10.29007/fzrq)**Ghulam Mubashar Hassan, Mark A Reynolds*2 citations*
390. **[Global Subsumption Revisited (Briefly) ↗](https://doi.org/10.29007/qcd7)**Giles Reger, Martin Suda*2 citations*
391. **[Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects ↗](https://doi.org/10.29007/gnfq)**Irina Khutsishvili, Gia Sirbiladze, Gvantsa Tsulaia*2 citations*
392. **[Higher order interpretation for higher order complexity ↗](https://doi.org/10.29007/1tkw)**Emmanuel Hainry F, Romain Péchoux*2 citations*
393. **[ICT for Sustainability Beyond Efficiency: Pushing Cleantech and the Circular Economy ↗](https://doi.org/10.29007/s8s3)**Jack H. Townsend*2 citations*
394. **[Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions ↗](https://doi.org/10.29007/dh3f)**J Moore, Marijn J. H. Heule*2 citations*
395. **[Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage ↗](https://doi.org/10.29007/k919)**Seyed Hossein Haeri, Sibylle Schupp*2 citations*
396. **[Lane change maneuver for autonomous vehicles (Benchmark Proposal) ↗](https://doi.org/10.29007/5hxt)**Nikolaos Kekatos, Daniel Heß, Goran Frehse*2 citations*
397. **[Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes ↗](https://doi.org/10.29007/xtl4)**Xudong Liu, Mirosław Truszczyński*2 citations*
398. **[Linear Differential-Algebraic Equations (Benchmark Proposal) ↗](https://doi.org/10.29007/4gj7)**Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran et al.*2 citations*
399. **[Metis-based Paramodulation Tactic for HOL Light ↗](https://doi.org/10.29007/z9mz)**Michael Färber, Cezary Kaliszyk*2 citations*
400. **[Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper) ↗](https://doi.org/10.29007/w9b3)**Bernhard Beckert, Daniel Bruns, Sarah Grebing*2 citations*

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

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