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

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

# EPiC series in computing 2018: all accepted papers

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

701. **[Relevant logic and relation algebras ↗](https://doi.org/10.29007/8gj7)**Tomasz Kowalski
702. **[Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns ↗](https://doi.org/10.29007/wrp9)**Richard J. Wallace
703. **[Representation of the Medial-Like Algebras ↗](https://doi.org/10.29007/7czc)**Amir Ehsani
704. **[ResourSim – Evaluating the end-user Device usage ↗](https://doi.org/10.29007/h5kw)**Jens Dede, Anna Förster
705. **[SAT solving experiments in Vampire ↗](https://doi.org/10.29007/5l47)**Armin Biere, Ioan Drăgan, Laura Kovács et al.
706. **[SAT-Based Techniques for Integer Linear Constraints ↗](https://doi.org/10.29007/4dtv)**Robert Nieuwenhuis
707. **[SC-square: when Satisfiability Checking and Symbolic Computation join forces ↗](https://doi.org/10.29007/p319)**Erika Ábrahám, John Abbott, Bernd Becker et al.
708. **[Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases ↗](https://doi.org/10.29007/npd4)**Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne J. Raglin, Douglas A. Summers-Stay et al.
709. **[Secure Communication over Zero-Private Capacity Quantum Channels ↗](https://doi.org/10.29007/pcxv)**László Gyöngyösi, Sándor Imre
710. **[Some Notes on Basic Syntactic Mutation ↗](https://doi.org/10.29007/sdp1)**Kimberly A. Cornell, Christopher Bouchard, Paliath Narendran
711. **[Specification Inference and Invariant Generation: A Machine Learning Perspective ↗](https://doi.org/10.29007/tx1s)**Aditya V. Nori
712. **[Specifying Hyperdocuments with Algebraic Methods ↗](https://doi.org/10.29007/3bwg)**Volker Mattick
713. **[Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1 ↗](https://doi.org/10.29007/7htj)**Vincenzo Marra, Daniel McNeill, Andrea Pedrini
714. **[Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2 ↗](https://doi.org/10.29007/bt3m)**Vincenzo Marra, Daniel McNeill, Andrea Pedrini
715. **[Stone duality for first-order logic: a nominal approach to logic and topology ↗](https://doi.org/10.29007/tp3z)**Murdoch J. Gabbay
716. **[Strong 0-dimensionality in Pointfree Topology ↗](https://doi.org/10.29007/5dmr)**Bernhard Banaschewski
717. **[Symbolic WS1S ↗](https://doi.org/10.29007/t28j)**Loris D’Antoni, Margus Veanes
718. **[Symbolic-Numeric Reachability Analysis of Hybrid Systems ↗](https://doi.org/10.29007/249v)**Sriram Sankaranarayanan
719. **[Tensor products of modal logics ↗](https://doi.org/10.29007/mtw5)**Ilya Borisovich Shapirovsky, Valentin Borisovich Shehtman
720. **[The Architecture of Inference from SMT to ETB ↗](https://doi.org/10.29007/1tc6)**Natarajan Shankar
721. **[The Frame Problem and the Semantics of Classical Proofs ↗](https://doi.org/10.29007/3tl4)**Graham White
722. **[The Info-Computation Turn in Physics ↗](https://doi.org/10.29007/b3r2)**Israel Belfer
723. **[The SMT Execution Service: Features, Fairness, and the Future ↗](https://doi.org/10.29007/5pxg)**Morgan Deters
724. **[The computing power of Turing machine based on quantum logic ↗](https://doi.org/10.29007/k8cb)**Yun Shang, Xian Ping Lu, Ruqian Lu
725. **[The finite embeddability property for some noncommutative knotted extensions of FL ↗](https://doi.org/10.29007/vqt7)**Riquelmi Cardona
726. **[The use of types in designing unification algorithms: two case studies ↗](https://doi.org/10.29007/lbk5)**Serdar Erbatur, Santiago Escobar, Paliath Narendran
727. **[Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic ↗](https://doi.org/10.29007/6qpn)**Hans de Nivelle
728. **[Theory Exploration: a role for Model Theory? ↗](https://doi.org/10.29007/zp5m)**Alan Smaill
729. **[Things You Can't do With a Vampire ↗](https://doi.org/10.29007/x6b7)**Geoff Sutcliffe
730. **[Topological completeness of extensions of S4 ↗](https://doi.org/10.29007/zh85)**Guram Bezhanishvili, David Gabelaia, Joel Lucero‐Bryan
731. **[Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) ↗](https://doi.org/10.29007/t2h1)**Klaus v. Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Béguelin
732. **[Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools ↗](https://doi.org/10.29007/3rvf)**Michaël Leuschel
733. **[Towards Verified Construction for Planar Class of a Qualitative Spatial Representation ↗](https://doi.org/10.29007/zzft)**Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
734. **[Towards a Cut-free Sequent Calculus for Boolean BI ↗](https://doi.org/10.29007/t6zs)**Sungwoo Park, Jong‐Hyun Park
735. **[Towards a Logic for Reasoning About Learning in a Changing World ↗](https://doi.org/10.29007/8g5j)**Prakash Panangaden, Mehrnoosh Sadrzadeh
736. **[Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ ↗](https://doi.org/10.29007/dqr1)**Amar Abane, Paul Mühlethaler, Samia Bouzefrane et al.
737. **[Transforming Undecidable Synthesis Problems into Decidable Problems ↗](https://doi.org/10.29007/tj84)**Bernd Finkbeiner
738. **[Truncated Vector Lattices ↗](https://doi.org/10.29007/mtcs)**Richard N. Ball
739. **[Trust, Belief and Honesty ↗](https://doi.org/10.29007/qrp5)**David Pearce, Levan Uridia
740. **[Turing's Influence on Programming ↗](https://doi.org/10.29007/n93n)**Edgar Graham Daylight
741. **[Unication Problems Modulo a Theory of Until ↗](https://doi.org/10.29007/mj4l)**Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Cornell et al.
742. **[Unification and Anti-unification modulo Equational Theories ↗](https://doi.org/10.29007/65sh)**Santiago Escobar
743. **[Unifying Equivalences for Timed Transition Systems ↗](https://doi.org/10.29007/kkds)**Irina Virbitskaite, Наталия Сергеевна Грибовская, Eike Best
744. **[Unranked Anti-Unification with Hedge and Context Variables ↗](https://doi.org/10.29007/hg9q)**Alexander Baumgartner, Temur Kutsia
745. **[Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing ↗](https://doi.org/10.29007/68qz)**Tobias Philipp
746. **[User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier ↗](https://doi.org/10.29007/p79n)**Andrei Lapets
747. **[Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs ↗](https://doi.org/10.29007/pmmz)**Sylvia Grewe, André Pacak, Mira Mezini
748. **[Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions ↗](https://doi.org/10.29007/4lmb)**Jorge Picado, Javier Gutiérrez García
749. **[Verification of Imperative Programs through Transformation of Constraint Logic Programs ↗](https://doi.org/10.29007/163x)**Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al.
750. **[Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain ↗](https://doi.org/10.29007/wm3j)**Yang Gao, Martin Fränzle
751. **[Walker's Cancellation Theorem ↗](https://doi.org/10.29007/vz4n)**Robert S. Lubarsky, Fred Richman
752. **[What kind of machine is the mind? ↗](https://doi.org/10.29007/k6f4)**Joscha Bach, Mario Verdicchio
753. **[jUDPWrapper: A Lightweight Approach to Access the OMNeT++/INET UDP Functionality from Java ↗](https://doi.org/10.29007/qs3k)**Henning Puttnies, Peter Danielis, Leonard Thiele et al.

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

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