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

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

# EPiC series in computing 2018: all accepted papers

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

501. **[Lattice model refinement of protein structures ↗](https://doi.org/10.29007/c415)**Martin Mann, Alessandro Dal Palù*1 citation*
502. **[Lebesgue Constants and Optimal Node Systems via Symbolic Computations ↗](https://doi.org/10.29007/89cm)**Róbert Vajda*1 citation*
503. **[Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements ↗](https://doi.org/10.29007/xs4z)**Tsan‐sheng Hsu, Churn‐Jung Liau, Dawei Wang*1 citation*
504. **[Lookahead-Based SMT Solving ↗](https://doi.org/10.29007/gzzf)**Antti Hyvärinen, Matteo Marescotti, Parvin Sadigova et al.*1 citation*
505. **[Matching in the Description Logic FL0 with respect to General TBoxes ↗](https://doi.org/10.29007/q74p)**Franz Baader, Oliver Fernández Gil, Pavlos Marantidis*1 citation*
506. **[Minimizing enzymes to diferenciate between species ↗](https://doi.org/10.29007/s6w9)**David Buezas, Joao Almeida, Pedro Barahona*1 citation*
507. **[Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics ↗](https://doi.org/10.29007/rfzv)**Anthony J. Genot, Teruo Fujii, Yannick Rondelez*1 citation*
508. **[Multiple Agent Based Entailment System(MABES) for RTE ↗](https://doi.org/10.29007/1gv1)**Byungtaek Jung, Chiseung Soh, Kihyun Hong et al.*1 citation*
509. **[On Conditionals ↗](https://doi.org/10.29007/7p4b)**Emmanuelle-Anna Dietz, Steffen Hölldobler, Luı́s Moniz Pereira*1 citation*
510. **[On Implementing Modular Complexity Analysis ↗](https://doi.org/10.29007/zm9s)**Harald Zankl, Martin Korp*1 citation*
511. **[On Incremental Quantitative Verification for Probabilistic Systems ↗](https://doi.org/10.29007/bmcf)**Marta Kwiatkowska, David Parker, Hongyang Qu B et al.*1 citation*
512. **[On the Interaction of Inclusion Dependencies with Independence Atoms ↗](https://doi.org/10.29007/2pgn)**Miika Hannula, Juha Kontinen, Sebastian Link*1 citation*
513. **[On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels ↗](https://doi.org/10.29007/7h1q)**László Gyöngyösi, Sándor Imre*1 citation*
514. **[Origami folds in higher-dimension ↗](https://doi.org/10.29007/n76q)**Tetsuo Ida, Stephen M. Watt*1 citation*
515. **[PDT Logic for Stream Reasoning in Multi-agent Systems ↗](https://doi.org/10.29007/ttzg)**Karsten Martiny, Ralf Moeller*1 citation*
516. **[Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark ↗](https://doi.org/10.29007/w3x7)**Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin et al.*1 citation*
517. **[Playing Lorenzen Dialogue Games on the Web ↗](https://doi.org/10.29007/7v3p)**Jesse Alama, Sara L. Uckelman*1 citation*
518. **[Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors ↗](https://doi.org/10.29007/st23)**Jaweher Zouari, Mohamed Hamdi, Tai-hoon Kim*1 citation*
519. **[Programming by Composing Filters ↗](https://doi.org/10.29007/w8s9)**Jeffrey Fischer, Rupak Majumdar*1 citation*
520. **[Rare event analysis using the Limited Relative Error algorithm for OMNeT++ simulations ↗](https://doi.org/10.29007/ch8v)**Sebastian Lindner, Raphael Elsner, Phuong Nga Tran et al.*1 citation*
521. **[Reachability Analysis of Transformer-Isolated DC-DC Converters ↗](https://doi.org/10.29007/8xk7)**Omar Ali Beg, Ali Davoudi, Taylor Thomas Johnson*1 citation*
522. **[Recursive Definitions of Monadic Functions ↗](https://doi.org/10.29007/1mdt)**Alexander Krauss*1 citation*
523. **[Residuated Lattices, Regular Languages, and Burnside Problem ↗](https://doi.org/10.29007/76p1)**Rostislav Horčı́k*1 citation*
524. **[Responsible Technologies ↗](https://doi.org/10.29007/176h)**Nardine Osman, Carles Sierra*1 citation*
525. **[Rewriting Environment for Arithmetic Circuit Verification ↗](https://doi.org/10.29007/rswk)**Cunxi Yu, Atif Yasin, Tiankai Su et al.*1 citation*
526. **[Rewriting and Well-Definedness within a Proof System ↗](https://doi.org/10.29007/b7wc)**Issam Maamria, Michael J. Butler*1 citation*
527. **[SAT Encodings for the Car Sequencing Problem ↗](https://doi.org/10.29007/jrsp)**Valentin Mayer-Eichberger, Toby Walsh*1 citation*
528. **[Synthesising Functional Invariants in Separation Logic ↗](https://doi.org/10.29007/xw9c)**Ewen Maclean, Andrew Ireland, Gudmund Grov*1 citation*
529. **[Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge ↗](https://doi.org/10.29007/dhz5)**Guido Fiorino*1 citation*
530. **[Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic ↗](https://doi.org/10.29007/df56)**Шилов Николай Вячеславович*1 citation*
531. **[The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics ↗](https://doi.org/10.29007/kvb1)**Negin Arhami, Geoff Sutcliffe*1 citation*
532. **[The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms ↗](https://doi.org/10.29007/lx8f)**Tony Veale*1 citation*
533. **[The involutions-as-principal types/application-as-unification Analogy ↗](https://doi.org/10.29007/ntwg)**Alberto Ciaffaglione, Furio Honsell, Marina Lenisa et al.*1 citation*
534. **[Towards Automated Property Discovery within Hume ↗](https://doi.org/10.29007/svv8)**Gudmund Grov, Andrew Ireland*1 citation*
535. **[Towards a Simply Typed CALculus for Semantic Knowledge Bases ↗](https://doi.org/10.29007/xlfw)**Michael Mendler, Stephan Scheele*1 citation*
536. **[Trie Based Subsumption and Improving the pi-Trie Algorithm ↗](https://doi.org/10.29007/q7h3)**Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal*1 citation*
537. **[Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL ↗](https://doi.org/10.29007/4dsr)**Alexander Steen, Max Wisniewski, Christoph Benzmüller*1 citation*
538. **[Usage of Invariants for Symbolic Verification of Requirements ↗](https://doi.org/10.29007/2nr2)**Alexander A. Letichevsky, Alexander B. Godlevsky, Anton Guba et al.*1 citation*
539. **[Verification of Multi-Party Ping-Pong Protocols via Program Transformation ↗](https://doi.org/10.29007/1r2w)**Antonina Nepeivoda*1 citation*
540. **[Verification of Security Protocols ↗](https://doi.org/10.29007/2dc6)**Véronique Cortier*1 citation*
541. **[Verification of a brick Wang tiling algorithm ↗](https://doi.org/10.29007/2m5f)**Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet‐Jourdan*1 citation*
542. **[We know (nearly) nothing!l But can we learn? ↗](https://doi.org/10.29007/n7rd)**Stephan Schulz*1 citation*
543. **[(The Final) Countdown ↗](https://doi.org/10.29007/66z4)**Jean‐Marc Alliot, Charlie Vanaret
544. **[A Complete Cyclic Proof System for Inductive Entailments in First Order Logic ↗](https://doi.org/10.29007/xgc6)**Radu Iosif, Cristina Serban
545. **[A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses ↗](https://doi.org/10.29007/3cp8)**Sophie Tourret, Mnacho Echenim, Nicolas Peltier
546. **[A Developer-oriented Hoare Logic ↗](https://doi.org/10.29007/8kss)**Holger Gast
547. **[A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems ↗](https://doi.org/10.29007/smg4)**Ping Hou, Yifei Chen
548. **[A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories ↗](https://doi.org/10.29007/b923)**Joshua Bax
549. **[A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network ↗](https://doi.org/10.29007/vm4p)**Giuseppe Primiero
550. **[A New Proof of P-time Completeness of Linear Lambda Calculus ↗](https://doi.org/10.29007/svwc)**Satoshi Matsuoka
551. **[A Note on Turing’s Three Pioneering Initiatives and on Their Interplays ↗](https://doi.org/10.29007/r4xx)**Jozef Kelemen
552. **[A One-Pass Tableau-Based Workflow Verification Framework ↗](https://doi.org/10.29007/5sl4)**Md. Zahidul Islam, Wendy MacCaull
553. **[A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic ↗](https://doi.org/10.29007/8ttk)**Lim Yohanes Stefanus, Ario Santoso
554. **[A Proof System for Reasoning about Probabilistic Concurrent Processes ↗](https://doi.org/10.29007/rcpt)**Matteo Mio
555. **[A Quantitative Partial Model-Checking Function and Its Optimisation ↗](https://doi.org/10.29007/rb2p)**Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci et al.
556. **[A Resolution Calculus for Second-order Logic with Eager Unification ↗](https://doi.org/10.29007/zpg2)**Alexander Leitsch, Tomer Libal
557. **[A Semantic Framework for Program Debugging ↗](https://doi.org/10.29007/q2h6)**Wei Li
558. **[A Short-Term Memory for Deliberative Agents in Everyday Environments ↗](https://doi.org/10.29007/r5x5)**Ivo Chichkov, Alexandra Kirsch
559. **[A Sufficient Condition for the Observational Equivalence of Processes ↗](https://doi.org/10.29007/hs67)**Andrew M. Mironov
560. **[A Syntactic Characterization of the Gabbay-de Jongh Logics ↗](https://doi.org/10.29007/1mcd)**Jeroen Goudsmit
561. **[A general framework for geometric dualities for varieties of algebras ↗](https://doi.org/10.29007/3bk1)**Luca Spada
562. **[A modified parallel F4 algorithm for shared and distributed memory architectures ↗](https://doi.org/10.29007/98fh)**Severin Neumann
563. **[A new Glivenko Theorem ↗](https://doi.org/10.29007/7l98)**Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
564. **[A note on first-order reasoning for minimum models ↗](https://doi.org/10.29007/5bvp)**David E. Rydeheard, Jesús Héctor Domínguez Sánchez
565. **[A rewrite-based computational model for functional logic programming ↗](https://doi.org/10.29007/3ks9)**Mircea Marin, Temur Kutsia, Besik Dundua
566. **[A simple and complete model theory for intensional and extensional untyped λ-equality ↗](https://doi.org/10.29007/2vzl)**Michael Gabbay
567. **[A simple proof system for lock-free concurrency ↗](https://doi.org/10.29007/n3nk)**Luı́s Caires, Carla Ferreira, António Ravara
568. **[AI at CADE/IJCAR ↗](https://doi.org/10.29007/26gg)**Josef Urban
569. **[ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ↗](https://doi.org/10.29007/rvk6)**Lei Bu, Rajarshi Ray, Stefan Schupp
570. **[Abduction for Learning Smart City Rules ↗](https://doi.org/10.29007/8jfk)**Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv
571. **[Abstractions Before Proofs ↗](https://doi.org/10.29007/v7vx)**Cliff B. Jones
572. **[Acceleration For Presburger Petri Nets ↗](https://doi.org/10.29007/8wkd)**Jérôme Leroux
573. **[Acceleration-based safety decision procedure for programs with arrays ↗](https://doi.org/10.29007/xf2n)**Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
574. **[Adaptive Assertion-Level Proofs ↗](https://doi.org/10.29007/gvgn)**Christoph Benzmüller, Marvin R. G. Schiller
575. **[Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2 ↗](https://doi.org/10.29007/r68t)**Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al.
576. **[Alignnment of RNA with Structures of Unlimited Complexity ↗](https://doi.org/10.29007/f883)**Alessandro Dal Palù, Mathias Möhl, Sebastian Will
577. **[Almost structural completeness; an algebraic approach ↗](https://doi.org/10.29007/59qg)**Wojciech Dzik, Michał M. Stronkowski
578. **[Alternating Turing machines and the analytical hierarchy ↗](https://doi.org/10.29007/t77g)**Daniel M. Leivant
579. **[An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary ↗](https://doi.org/10.29007/sj95)**Pavithra Prabhakar, Miriam García Soto
580. **[An Autonomous Vehicle Control Stack ↗](https://doi.org/10.29007/r5n9)**Alëna Rodionova, Matthew O’Kelly, Houssam Abbas et al.
581. **[An analogue of Bull's theorem for Hybrid Logic ↗](https://doi.org/10.29007/bhm3)**Claudette Robinson, Willem Conradie
582. **[An elementary proof of the completeness of the Lukasiewicz axioms ↗](https://doi.org/10.29007/s5h9)**Michal Botur, Jan Paseka
583. **[Answer Set Programming in a Nutshell ↗](https://doi.org/10.29007/tmt3)**Thomas Eiter
584. **[Antifounded Coinduction in Type Theory ↗](https://doi.org/10.29007/gh62)**Tarmo Uustalu
585. **[Automated Theorem Proving using the TPTP Process Instruction Language ↗](https://doi.org/10.29007/f997)**Muhammad Nassar, Geoff Sutcliffe
586. **[Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands ↗](https://doi.org/10.29007/qszz)**Poulami Das, Debapriya Basu Roy, Debdeep Mukhopadhyay
587. **[Automatic Inference of Term Equivalence in Term Rewriting Systems ↗](https://doi.org/10.29007/qsmm)**Marco Comini, Luca Torella
588. **[BDI: A New Decidable First-order Clause Class ↗](https://doi.org/10.29007/8m7f)**Manuel Lamotte-Schubert, Christoph Weidenbach
589. **[Benchmarks for stochastic models from building automation systems ↗](https://doi.org/10.29007/trj5)**Nathalie Cauchi, Alessandro Abate
590. **[Beyond DRAT: Challenges in Certifying UNSAT ↗](https://doi.org/10.29007/2b78)**Bertram Felgenhauer
591. **[Boolean like algebras ↗](https://doi.org/10.29007/dzwk)**Antonio Ledda, Tomasz Kowalski, Francesco Paoli et al.
592. **[Bounded Higher-order Unification using Regular Terms ↗](https://doi.org/10.29007/zhpc)**Tomer Libal
593. **[Building an Efficient OWL 2 DL Reasoner ↗](https://doi.org/10.29007/57lg)**Boris Motik
594. **[Building trustworthy refactoring tools ↗](https://doi.org/10.29007/z7pq)**Simon Thompson
595. **[Canonical formulas via locally finite reducts and generalized dualities ↗](https://doi.org/10.29007/hgbj)**Nick Bezhanishvili
596. **[Cayley and Holland Theorems for Residuated Lattices ↗](https://doi.org/10.29007/gw6s)**Nikolaos Galatos, Rostislav Horčı́k
597. **[Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis ↗](https://doi.org/10.29007/sqlx)**Scott Livingston, Vasumathi Raman
598. **[Challenges for Fast Synthesis Procedures in SMT ↗](https://doi.org/10.29007/xrhz)**Andrew Reynolds
599. **[Challenges for Safe Autonomous Flight ↗](https://doi.org/10.29007/qlsr)**Sebastian Scherer
600. **[Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra ↗](https://doi.org/10.29007/8hz9)**Célestin Lélé, Jean Bernard Nganou

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

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