---
title: "EPiC series in computing 2018 — all accepted papers, page 5"
description: "All 753 papers of EPiC series in computing 2018 · page 5 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/5/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · **Research** · [Groupants](https://md.groupants.elamur.ai/free/en/)

[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/5/)

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

# EPiC series in computing 2018: all accepted papers

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

401. **[Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment ↗](https://doi.org/10.29007/kg4r)**Max Korein, Manuela Veloso*2 citations*
402. **[Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand ↗](https://doi.org/10.29007/dlmp)**Marek W. Kurzynski*2 citations*
403. **[Non-linear Continuous Systems for Safety Verification ↗](https://doi.org/10.29007/w94n)**Andrew Sogokon, Khalil Ghorbal, Taylor Thomas Johnson*2 citations*
404. **[On Unfolding for Programs Using Strings as a Data Type ↗](https://doi.org/10.29007/m8rr)**Andrei P. Nemytykh*2 citations*
405. **[Optimizing Kick Trajectory: A Comparative Study ↗](https://doi.org/10.29007/3f7v)**Pedro Pena, Joseph Masterjohn, Ubbo Visser*2 citations*
406. **[Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability ↗](https://doi.org/10.29007/kxk7)**Ibtissem Ben Makhlouf, Stefan Kowalewski*2 citations*
407. **[Parametric Strategy Iteration ↗](https://doi.org/10.29007/c4kg)**Helmut Seidl, Thomas Martin Gawlitza, Martin Schwarz*2 citations*
408. **[Polymorphic success types for Erlang ↗](https://doi.org/10.29007/w2m2)**Francisco J. López-Fraguas, Manuel Montenegro, Gorka Suárez García*2 citations*
409. **[Program Verification using Constraint Handling Rules and Array Constraint Generalizations ↗](https://doi.org/10.29007/dkxs)**Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al.*2 citations*
410. **[Proving Simpson's Four-Slot Algorithm Using Ownership Transfer ↗](https://doi.org/10.29007/l2sp)**Shuling Wang, Xu Wang*2 citations*
411. **[Reachability Modulo Theory Library ↗](https://doi.org/10.29007/f3rp)**Francesco Alberti, Roberto Bruttomesso A, Silvio Ghilardi et al.*2 citations*
412. **[Reasoning About Loops Using Vampire ↗](https://doi.org/10.29007/tcvj)**Laura Kovács, Simon Robillard*2 citations*
413. **[Reasoning in the presence of inconsistency through Preferential ALC ↗](https://doi.org/10.29007/8qr4)**Graham Deane, Krysia B. Broda, Alessandra Russo*2 citations*
414. **[Relational groupoids and residuated lattices ↗](https://doi.org/10.29007/gsnw)**Cosimo Guido*2 citations*
415. **[Revisiting Question Answering in Vampire ↗](https://doi.org/10.29007/fjc4)**Giles Reger*2 citations*
416. **[SMT Encoding of Hybrid Systems in dReal ↗](https://doi.org/10.29007/s3b9)**Kyungmin Bae, Soonho Kong, Sicun Gao*2 citations*
417. **[Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors ↗](https://doi.org/10.29007/jnj2)**David M. Cerna, Wolfgang Schreiner, Temur Kutsia*2 citations*
418. **[Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata ↗](https://doi.org/10.29007/scbw)**Franz Baader, Oliver Fernández Gil, Maximilian Pensel*2 citations*
419. **[Statistical Methodology for Comparison of SAT Solvers ↗](https://doi.org/10.29007/bhvj)**Mladen Nikolić*2 citations*
420. **[Teaching Modelling and Analysis of Communication Networks using OMNeT++ Simulator ↗](https://doi.org/10.29007/xtt6)**Koojana Kuladinithi, Raphael Elsner, Leo Krüger et al.*2 citations*
421. **[Termination Casts: A Flexible Approach to Termination with General Recursion ↗](https://doi.org/10.29007/3w36)**Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich*2 citations*
422. **[The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps ↗](https://doi.org/10.29007/7dg5)**Geoff Sutcliffe, Stephan Schulz*2 citations*
423. **[The Weak Completion Semantics and Equality ↗](https://doi.org/10.29007/pr47)**Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz et al.*2 citations*
424. **[The energy and carbon footprint of the global ICT and E&M sectors 2010 - 2015 ↗](https://doi.org/10.29007/nvd8)**Jens Malmodin, Dag Lundén*2 citations*
425. **[Theorem recycling for Theorem Proving ↗](https://doi.org/10.29007/r58f)**Nikolaj Bjørner, Lev Nachmanson*2 citations*
426. **[Towards a Closer Integration of Dynamic Programming and Constraint Programming ↗](https://doi.org/10.29007/gscn)**Steven Prestwich, Roberto Rossi, Ş. Armağan Tarim et al.*2 citations*
427. **[Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems ↗](https://doi.org/10.29007/42j8)**Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi et al.*2 citations*
428. **[Towards an Information-Theoretic Approach to Population Structure ↗](https://doi.org/10.29007/268w)**Omri Tal*2 citations*
429. **[Towards an amortized type system for JavaScript ↗](https://doi.org/10.29007/v2f2)**Daniel Franzen, David Aspinall*2 citations*
430. **[Transforming Prefix-constrained or Controlled Rewrite Systems ↗](https://doi.org/10.29007/m335)**Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty*2 citations*
431. **[Turchin's Relation and Subsequence Relation in Loop Approximation ↗](https://doi.org/10.29007/xqx9)**Antonina Nepeivoda*2 citations*
432. **[Two-layer modal logics: from fuzzy logics to a general framework ↗](https://doi.org/10.29007/jpxr)**Petr Cintula A, Carles Noguera*2 citations*
433. **[Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) ↗](https://doi.org/10.29007/6czp)**Patrick Musau, Taylor Thomas Johnson*2 citations*
434. **[Well-founded Functions and Extreme Predicates in Dafny: A Tutorial ↗](https://doi.org/10.29007/v2m3)**Rustan Leino*2 citations*
435. **["Sustainability... it's just not important." - The Challenges of Academic Engagement with Diverse Stakeholders ↗](https://doi.org/10.29007/kln5)**Christian Remy, Oliver Bates, Vanessa Thomas et al.*1 citation*
436. **[A Benchmark for Component-based Hybrid Systems Safety Verification ↗](https://doi.org/10.29007/9jm3)**Andreas Müller, Stefan Mitsch, Werner Retschitzegger et al.*1 citation*
437. **[A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions ↗](https://doi.org/10.29007/zhz4)**Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani et al.*1 citation*
438. **[A Data Structure to Handle Large Sets of Equal Terms ↗](https://doi.org/10.29007/hsbm)**Baudouin Le Charlier, Mêton Mêton Atindehou*1 citation*
439. **[A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines ↗](https://doi.org/10.29007/8p8h)**Graham Birtwistle, Kenneth S. Stevens*1 citation*
440. **[A Finite Model Property for Gödel Modal Logics ↗](https://doi.org/10.29007/vgh2)**Xavier Caicedo, George Metcalfe, Ricardo Óscar Rodríguez et al.*1 citation*
441. **[A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments ↗](https://doi.org/10.29007/hzlw)**Alexandra Kirsch*1 citation*
442. **[A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? ↗](https://doi.org/10.29007/cj27)**Alexei Lisitsa, Andrei P. Nemytykh*1 citation*
443. **[A Report of ARCADE 2017 ↗](https://doi.org/10.29007/143m)**Giles Reger, Dmitriy Traytel*1 citation*
444. **[A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas ↗](https://doi.org/10.29007/jgjt)**Jochen Kerdels, Gabriele Peters*1 citation*
445. **[A refutation procedure for proving satisfiability of constraint specifications on XML documents ↗](https://doi.org/10.29007/jfwc)**Marisa Navarro, Fernando Orejas*1 citation*
446. **[ARCH-COMP17 Repeatability Evaluation Report ↗](https://doi.org/10.29007/7hvk)**Taylor Thomas Johnson*1 citation*
447. **[Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis ↗](https://doi.org/10.29007/rls3)**Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo A*1 citation*
448. **[Alternating Reachability Games with Behavioral and Revenue Objectives ↗](https://doi.org/10.29007/ncld)**Orna Kupferman, Tami Tamir*1 citation*
449. **[An Incremental Algorithm to Optimally Maintain Aggregate Views ↗](https://doi.org/10.29007/zw67)**Abhijeet Mohapatra, Michael Genesereth*1 citation*
450. **[An Inference Rule for the Acyclicity Property of Term Algebras ↗](https://doi.org/10.29007/tlw4)**Simon Robillard*1 citation*
451. **[Asynchronous testing of real-time systems ↗](https://doi.org/10.29007/hcrn)**Puneet Bhateja*1 citation*
452. **[Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning ↗](https://doi.org/10.29007/n6nv)**Jason Crampton, Michael Huth, Jim Huan-Pu Kuo*1 citation*
453. **[Automated Verification of Equivalence on Quantum Cryptographic Protocols ↗](https://doi.org/10.29007/95pj)**Takahiro Kubota, Yoshihiko Kakutani, Go Kato et al.*1 citation*
454. **[Automatic Staging via Partial Evaluation Techniques ↗](https://doi.org/10.29007/rfbk)**Kenichi Asai, Yukiyoshi Kameyama*1 citation*
455. **[Automatic detection and correction of firewall misconfigurations- A formal approach ↗](https://doi.org/10.29007/jl3k)**Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula*1 citation*
456. **[Automation for Geometry in Isabelle/HOL ↗](https://doi.org/10.29007/r5k7)**Laura I. Meikle, Jacques Fleuriot*1 citation*
457. **[BDD-based automated reasoning in propositional non-classical logics: progress report ↗](https://doi.org/10.29007/swbj)**Rajeev Prabhakar Goré, Jimmy Thomson*1 citation*
458. **[Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras ↗](https://doi.org/10.29007/nptc)**Peter Jipsen*1 citation*
459. **[Benchmark Generator for Stratified Controllers of Tank Networks ↗](https://doi.org/10.29007/2ljt)**Stanley Bak, Sergiy Bogomolov, Marius Greitschus et al.*1 citation*
460. **[Benchmark problem: an air brake model for trains ↗](https://doi.org/10.29007/1bln)**Luca Parolini, Simone Schuler, Adolfo Anta*1 citation*
461. **[Building Portfolios for the Protein Structure Prediction Problem ↗](https://doi.org/10.29007/dnbk)**Alejandro Arbeláez, Youssef Hamadi, Michèle Sébag*1 citation*
462. **[Classifier-Based Evaluation of Image Feature Importance ↗](https://doi.org/10.29007/p655)**Sai Prabhakar Pandi Selvaraj, Manuela Veloso, Stephanie L. Rosenthal*1 citation*
463. **[Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic ↗](https://doi.org/10.29007/cll3)**Petr Cintula A, George Metcalfe*1 citation*
464. **[Complexity of LTL Model-Checking for Safe Object Nets ↗](https://doi.org/10.29007/hn5h)**Michael Köhler-Bußmeier, Frank Heitmann*1 citation*
465. **[Constraint Problem Specification as Compression ↗](https://doi.org/10.29007/7ths)**Steven Prestwich, Ş. Armağan Tarim, Roberto Rossi*1 citation*
466. **[Dcpo models of T1 spaces ↗](https://doi.org/10.29007/prcv)**Dongsheng Zhao, Xiaoyong Xi*1 citation*
467. **[Development of a Query Language for GML based on XPath ↗](https://doi.org/10.29007/hfk7)**Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García*1 citation*
468. **[Dialogues for proof search ↗](https://doi.org/10.29007/5t86)**Jesse Alama*1 citation*
469. **[Discovering Specifications for Unknown Procedures - Work in Progress ↗](https://doi.org/10.29007/wkvm)**Florian Craciun, Chenguang Luo, Guanhua He et al.*1 citation*
470. **[Distributed Autonomous Systems ↗](https://doi.org/10.29007/slz2)**Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang et al.*1 citation*
471. **[Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge ↗](https://doi.org/10.29007/mwpp)**Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano*1 citation*
472. **[Effectively Monadic Predicates ↗](https://doi.org/10.29007/drll)**Margus Veanes, Nikolaj Bjørner, Lev Nachmanson et al.*1 citation*
473. **[Empirical Investigation of Learning-Based Imputation Policies ↗](https://doi.org/10.29007/rcnn)**Hara Skouteli, Loizos Michael*1 citation*
474. **[Engineering Theories with Z3 ↗](https://doi.org/10.29007/x7b4)**Nikolaj Bjørner*1 citation*
475. **[Envisioning a Community Exemplar for Sustainability in and by ICT ↗](https://doi.org/10.29007/65tz)**Andreas Fritsch, Stefanie Betz*1 citation*
476. **[Everything's Bigger in Texas: "The Largest Math Proof Ever" ↗](https://doi.org/10.29007/gdw8)**Marijn J. H. Heule*1 citation*
477. **[Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm ↗](https://doi.org/10.29007/qt5j)**Guillaume Davy, Éric Féron, Pierre-Loïc Garoche et al.*1 citation*
478. **[Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry ↗](https://doi.org/10.29007/pqh1)**Josef Urban, Robert Veroff*1 citation*
479. **[Feasibility as a gradual notion ↗](https://doi.org/10.29007/kjk6)**Libor Běhounek*1 citation*
480. **[Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques ↗](https://doi.org/10.29007/8n75)**Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem et al.*1 citation*
481. **[Formal Requirements Capturing using VRS system ↗](https://doi.org/10.29007/q6mc)**Alexander A. Letichevsky, Alexander Kolchin, Олександр Олександрович Летичевський et al.*1 citation*
482. **[Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra ↗](https://doi.org/10.29007/pw5g)**Larry Moss, Jayampathy Ratnayake, Robert Rose*1 citation*
483. **[From Parallel SAT to Distributed SAT ↗](https://doi.org/10.29007/44vf)**Youssef Hamadi*1 citation*
484. **[Generalisation of Induction Formulae based on Proving by Symbolic Execution ↗](https://doi.org/10.29007/72nn)**Angela Wallenburg*1 citation*
485. **[Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms ↗](https://doi.org/10.29007/jnl6)**Cornelis Huizing, Ruurd Kuiper, T Tom Verhoeff*1 citation*
486. **[GridTPT: a distributed platform for Theorem Prover Testing ↗](https://doi.org/10.29007/hk8w)**Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe et al.*1 citation*
487. **[Gödel logics and the fully boxed fragment of LTL ↗](https://doi.org/10.29007/bdbm)**Matthias Baaz A, Norbert Preining*1 citation*
488. **[HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions ↗](https://doi.org/10.29007/7ncn)**Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski*1 citation*
489. **[Hybrid Automata Model of the Heart for Formal Verification of Pacemakers ↗](https://doi.org/10.29007/822m)**Sidharta Andalam, Avinash Malik, Partha S. Roop et al.*1 citation*
490. **[Hybrid Unification in the Description Logic EL ↗](https://doi.org/10.29007/h59c)**Franz Baader, Oliver Fernández Gil, Barbara Morawska*1 citation*
491. **[Idempotent generated algebras and Boolean powers of commutative rings ↗](https://doi.org/10.29007/dgb4)**Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi et al.*1 citation*
492. **[Implementing Polymorphism in Zenon ↗](https://doi.org/10.29007/87vl)**Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand*1 citation*
493. **[Incremental Solving with Vampire ↗](https://doi.org/10.29007/6sjl)**Giles Reger, Martin Suda*1 citation*
494. **[Indoor temperature awareness using an Ambient Information Display - a semi-longitudinal study of one household ↗](https://doi.org/10.29007/8qd6)**Björn Hedin, Victor Larsson, Henrik Artman*1 citation*
495. **[Innovation alliances for sustainable ICT - Good practices and success factors, using the example of initiatives to improve the energy efficiency of data centers ↗](https://doi.org/10.29007/k8d7)**Ralph Hintemann, Simon Hinterholzer*1 citation*
496. **[Interpretability of a Service Robot: Enabling User Questions and Checkable Answers ↗](https://doi.org/10.29007/tt18)**Vittorio Perera, Manuela Veloso*1 citation*
497. **[Invariants and Robustness of BIP Models ↗](https://doi.org/10.29007/prxp)**Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn*1 citation*
498. **[Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper) ↗](https://doi.org/10.29007/spnx)**Martin Jonáš, Jan Strejček*1 citation*
499. **[Is it possible to unify sequential programs? ↗](https://doi.org/10.29007/77z3)**Tatyana A. Novikova, Vladimir Anatolyevich Zakharov*1 citation*
500. **[Jankov Formula and Ternary Deductive Term ↗](https://doi.org/10.29007/8fkc)**Alex Citkin*1 citation*

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

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