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

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

# EPiC series in computing 2018: all accepted papers

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

601. **[Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis ↗](https://doi.org/10.29007/x211)**Omar Ali Beg, Ali Davoudi, Taylor Thomas Johnson
602. **[Classifier Labels as Language Grounding for Explanations ↗](https://doi.org/10.29007/8h3z)**Sai Prabhakar Pandi Selvaraj, Manuela Veloso, Stephanie L. Rosenthal
603. **[Cocktail II ↗](https://doi.org/10.29007/sp1k)**Michael Franssen
604. **[Conditional Independence in Categories ↗](https://doi.org/10.29007/tg3g)**Alex K. Simpson
605. **[Constraint-Based Modeling in Systems Biology ↗](https://doi.org/10.29007/8w4w)**Alexander Bockmayr
606. **[Coproducts of Distributive Lattice based Algebras ↗](https://doi.org/10.29007/vx1v)**Leonardo Manuel Cabrer, Hilary A. Priestley
607. **[Craig Interpolation for the Integers: Results, Implementation, and Experiences ↗](https://doi.org/10.29007/9rxz)**Philipp Rümmer
608. **[Cross-layer Stack Design Framework in OMNeT++ ↗](https://doi.org/10.29007/45sr)**Doğanalp Ergenç, Ertan Onur A
609. **[Cyclic Proofs and Coinductive Principles ↗](https://doi.org/10.29007/hxgm)**Gavin Mendel-Gleason, Geoff W. Hamilton
610. **[Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application ↗](https://doi.org/10.29007/w5xk)**Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto
611. **[Decision Problems for Linear Recurrence Sequences ↗](https://doi.org/10.29007/tpxx)**Joël Ouaknine
612. **[Deep Proof Search in MELL ↗](https://doi.org/10.29007/p1fd)**Ozan Kahramanoğulları
613. **[Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions ↗](https://doi.org/10.29007/xz7v)**Hannes Straß, Michael Thielscher
614. **[Derivational modal logic of real line with difference modality ↗](https://doi.org/10.29007/7gcx)**Andrey Valer'evich Kudinov
615. **[Designing a solver competition: the QBFEVAL'10 case study ↗](https://doi.org/10.29007/cv3b)**Claudia Peschiera, Luca Pulina, Armando Tacchella
616. **[Detecting Modular ACU Structural Symmetries ↗](https://doi.org/10.29007/mzj3)**Marı́a Alpuente, Santiago Escobar, Javier Espert
617. **[Distributed Control Synthesis ↗](https://doi.org/10.29007/4wwx)**Doron Peled, Sven Schewe
618. **[Djinn, Monotonic ↗](https://doi.org/10.29007/33k5)**Conor Thomas McBride
619. **[Dynamics of Argumentation Systems: A Basic Theory ↗](https://doi.org/10.29007/njsm)**Beishui Liao, Li Jin, Robert Charles Koons
620. **[Effect algebras with state operator ↗](https://doi.org/10.29007/jbdq)**Sylvia Pulmannová
621. **[Effect algebras, witness pairs and observables ↗](https://doi.org/10.29007/71gb)**Gejza Jenča
622. **[Evaluation Opportunities in Mechanized Theories ↗](https://doi.org/10.29007/7kx8)**Joe Hurd
623. **[Exploiting parallelism in the ME calculus ↗](https://doi.org/10.29007/v1f2)**Tianyi Liang, Cesare Tinelli
624. **[Exploring Predictability of SAT/SMT Solvers ↗](https://doi.org/10.29007/h5vg)**Robert Brummayer, Duckki Oe, Aaron Stump
625. **[Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools ↗](https://doi.org/10.29007/d3ls)**Jesse Alama
626. **[Extended Abstract: Getting Engaged ↗](https://doi.org/10.29007/8h8t)**Simon Thompson
627. **[Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs ↗](https://doi.org/10.29007/c7v2)**Matthias Kuntz, Stefan Leue, Christoph Scheben
628. **[Extensions of ordering sets of states from effect algebras onto their MacNeille completions ↗](https://doi.org/10.29007/lkdv)**Jiří Janda, Zdenka Riečanová
629. **[Finding Minimal Reaction Sets in Large Metabolic Pathways ↗](https://doi.org/10.29007/xp2k)**Takehide Soh, Katsumi Inoue
630. **[Formal Replay of Translation Validation for Highly Optimised C ↗](https://doi.org/10.29007/dw2m)**Thomas Arthur Leck Sewell
631. **[Four-valued modal logic: Kripke semantics and duality ↗](https://doi.org/10.29007/12bb)**Achim Jung, Umberto Rivieccio
632. **[From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction ↗](https://doi.org/10.29007/8p9q)**Chad E. Brown, Christine Rizkallah
633. **[From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes ↗](https://doi.org/10.29007/c9f6)**Yazid Mohamed Boumarafi, Lakhdar Saïs, Yakoub Salhi
634. **[From free algebras to proof bounds ↗](https://doi.org/10.29007/md5x)**Silvio Ghilardi
635. **[Funayama's theorem revisited ↗](https://doi.org/10.29007/q7bq)**Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
636. **[Functional Pearl: the Proof Search Monad ↗](https://doi.org/10.29007/cfdq)**Jonathan Protzenko
637. **[General Topos Semantics for Higher-Order Modal Logic ↗](https://doi.org/10.29007/nv5m)**Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
638. **[Generalizing the concept of quantum triads ↗](https://doi.org/10.29007/n4kv)**Radek Šlesinger
639. **[Ground Associative and Commutative Completion Modulo Shostak Theories ↗](https://doi.org/10.29007/s69q)**Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala
640. **[Gödel logics with an operator shifting truth values ↗](https://doi.org/10.29007/1gvp)**Matthias Baaz A, Oliver Fasching
641. **[Harmony Search Approach for Patient Scheduling in Emergency Laboratories ↗](https://doi.org/10.29007/jr2r)**Imen Boudali, Nihel Mokhtar
642. **[Hierarchic Superposition Revisited ↗](https://doi.org/10.29007/w9vg)**Uwe Waldmann
643. **[Hierarchical Combination of Unication Algorithms (Extended Abstract) ↗](https://doi.org/10.29007/vb87)**Serdar Erbatur, Deepak Kapur, Andrew M. Marshall et al.
644. **[Howard Barringer: the Man who Invented the Past ↗](https://doi.org/10.29007/65lt)**Klaus Havelund
645. **[Implementing Different Proof Calculi for First-order Modal Logics ↗](https://doi.org/10.29007/mclw)**Christoph Benzmüller, Jens Otten, Thomas Raths
646. **[Implementing an Efficient SAT Solver for a Probabilistic Description Logic ↗](https://doi.org/10.29007/wm7w)**Pavel Klinov, Bijan Parsia
647. **[Improved Heuristic for Manipulation of Second-order Copeland Elections ↗](https://doi.org/10.29007/19q2)**Ramoni O. Lasisi, Abibat A. Lasisi
648. **[Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse ↗](https://doi.org/10.29007/2s1q)**Chuan Jiang, Gianfranco Ciardo
649. **[Improving Statistical Linguistic Algorithms for Parsing Mathematics ↗](https://doi.org/10.29007/8c2m)**Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
650. **[Initial Experiments on Deriving a Complete HOL Simplification Set ↗](https://doi.org/10.29007/95qb)**Cezary Kaliszyk, Thomas Sternagel
651. **[Invariant Projections in Games ↗](https://doi.org/10.29007/z5zn)**Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal et al.
652. **[Laterally complete and projective hulls of semilinear residuated lattices ↗](https://doi.org/10.29007/mmts)**José Gil‐Férez, Antonio Ledda, Constantine Tsinakis
653. **[Learning Importance of Preferences ↗](https://doi.org/10.29007/v68w)**Ying Zhu, Mirosław Truszczyński
654. **[Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem ↗](https://doi.org/10.29007/t4gz)**Geoff W. Hamilton, Morten Heine Sørensen
655. **[Local proofs and AVATAR ↗](https://doi.org/10.29007/qgdk)**Giles Reger, Martin Suda
656. **[Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic ↗](https://doi.org/10.29007/bmlf)**Matthias Baaz A, Anela Lolić
657. **[MV-Algebraic Moebius Transform on the Vietoris Space ↗](https://doi.org/10.29007/xq5m)**Tomáš Kroupa
658. **[Making Automatic Theorem Provers more Versatile ↗](https://doi.org/10.29007/n6j7)**Simon Cruanes
659. **[Making the Evolution of Graphical Models Visible ↗](https://doi.org/10.29007/fqc6)**Thomas Baar, Issam Bendaas
660. **[Mathematics of 21st Century: A Personal View ↗](https://doi.org/10.29007/19ls)**Bruno Buchberger
661. **[Meaning Formulas for Syntax-Based Mathematical Algorithms ↗](https://doi.org/10.29007/zd7s)**William M. Farmer
662. **[Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications ↗](https://doi.org/10.29007/t3jg)**David M. Cerna, Wolfgang Schreiner
663. **[Modal Location-Resource-Process Logic for Access Control ↗](https://doi.org/10.29007/5bsb)**David J. Pym
664. **[My Life with an Automatic Theorem Prover ↗](https://doi.org/10.29007/5b7w)**Jasmin Christian Blanchette
665. **[Non-linear Second Order Abstract Categorial Grammars and Deletion ↗](https://doi.org/10.29007/644d)**Sylvain Salvati
666. **[Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue ↗](https://doi.org/10.29007/5zfk)**Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
667. **[Note on Deduction Theorems in Contraction-Free Logics ↗](https://doi.org/10.29007/c66c)**Karel Chvalovský, Petr Cintula A
668. **[On (finite) distributive lattices with antitone involutions ↗](https://doi.org/10.29007/81mc)**Jan Kühr, Michal Botur
669. **[On Natural Representations of Objects ↗](https://doi.org/10.29007/gpkw)**Fouad B. Chedid
670. **[On Reducing Clause DataBase in Glucose ↗](https://doi.org/10.29007/b8kb)**Chu-Min Li, Xiao Fan, Ruchu Xu
671. **[On and On the Temporal Way ↗](https://doi.org/10.29007/sz8j)**Clare Dixon, Michael Fisher
672. **[On fuzzification of topological categories ↗](https://doi.org/10.29007/68tw)**Sergejs Solovjovs
673. **[On modal components of the S4-logics ↗](https://doi.org/10.29007/87kz)**Alexei Yu. Muravitsky
674. **[On the Expressiveness of some Runtime Validation Techniques ↗](https://doi.org/10.29007/j7qv)**Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier
675. **[On the Termination of Positive Supercompilation ↗](https://doi.org/10.29007/4vl2)**Geoff W. Hamilton
676. **[On the constant domains principle and its weakened versions in the Kripke sheaf semantics ↗](https://doi.org/10.29007/b3z6)**Dmitry P. Skvortsov
677. **[On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces ↗](https://doi.org/10.29007/th3m)**Denis Igorevich Saveliev
678. **[Open projections do not form a right residuated lattice ↗](https://doi.org/10.29007/61zj)**David Kruml
679. **[Pandora's Box ↗](https://doi.org/10.29007/l7kx)**Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper et al.
680. **[Partial Regularization of First-Order Resolution Proofs ↗](https://doi.org/10.29007/3r41)**Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
681. **[Perspectives on Constraints, Process Algebras, and Hybrid Systems ↗](https://doi.org/10.29007/whn1)**Luca Bortolussi, Alberto Policriti
682. **[Playing with the Maximum-Flow Problem ↗](https://doi.org/10.29007/tkk1)**Orna Kupferman
683. **[Possession as Linear Knowledge ↗](https://doi.org/10.29007/ntkm)**Frank Pfenning
684. **[Practical Aspects of SAT Solving ↗](https://doi.org/10.29007/hnks)**Armin Biere
685. **[Priestley duality for (modal) N4-lattices ↗](https://doi.org/10.29007/p4ch)**Ramón Jansana, Umberto Rivieccio
686. **[Problem Libraries for Non-Classical Logics ↗](https://doi.org/10.29007/mkdw)**Jens Otten, Thomas Raths
687. **[Program Transformation for Program Verification ↗](https://doi.org/10.29007/t9v2)**Alberto Pettorossi, Maurizio Proietti
688. **[Projectivity and unification in the varieties of locally finite monadic MV-algebras ↗](https://doi.org/10.29007/x7hf)**Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
689. **[Proof Assistants and the Dynamic Nature of Formal Theories ↗](https://doi.org/10.29007/d2df)**Robert L. Constable
690. **[Proof rules for the dialogical logic N ↗](https://doi.org/10.29007/843r)**Jesse Alama, Sara L. Uckelman
691. **[Proof theory for lattice-ordered groups ↗](https://doi.org/10.29007/3szk)**George Metcalfe
692. **[Propagators and Solvers for the Algebra of Modular Systems ↗](https://doi.org/10.29007/t7r9)**Bart Bogaerts, Eugenia Ternovska, David G. M. Mitchell
693. **[Properties of Constrained Generalization Algorithms ↗](https://doi.org/10.29007/xtb8)**Thierry Boy de la Tour
694. **[QWeS2T for Type-Safe Web Programming ↗](https://doi.org/10.29007/gjh5)**Thierry Sans, Iliano Cervesato
695. **[Quantified Boolean Formulas: Call the Plumber! ↗](https://doi.org/10.29007/g8g8)**Josef Lindsberger, Alexander Maringele, Georg Moser
696. **[Real Analysis for Complex Systems ↗](https://doi.org/10.29007/ksvj)**André Platzer
697. **[Reasoning Inside The Box: Deduction in Herbrand Logics ↗](https://doi.org/10.29007/kx2m)**Liron Cohen, Yoni Zohar
698. **[Recent Advances in Unification for the EL Family ↗](https://doi.org/10.29007/q5px)**Franz Baader, Stefan Borgwardt, Barbara Morawska
699. **[Reconstructing Information Retrieved from Multiple Websites ↗](https://doi.org/10.29007/7q7l)**Héctor Valero, Carlos Castillo, Josep Silva
700. **[Reducts and Modal Operators on Residuated Lattices ↗](https://doi.org/10.29007/k7xf)**William Young

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

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