EPiC series in computing 2018: all accepted papers
- Lattice model refinement of protein structures ↗Martin Mann, Alessandro Dal Palù1 citation
- Lebesgue Constants and Optimal Node Systems via Symbolic Computations ↗Róbert Vajda1 citation
- Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements ↗Tsan‐sheng Hsu, Churn‐Jung Liau, Dawei Wang1 citation
- Lookahead-Based SMT Solving ↗Antti Hyvärinen, Matteo Marescotti, Parvin Sadigova et al.1 citation
- Matching in the Description Logic FL0 with respect to General TBoxes ↗Franz Baader, Oliver Fernández Gil, Pavlos Marantidis1 citation
- Minimizing enzymes to diferenciate between species ↗David Buezas, Joao Almeida, Pedro Barahona1 citation
- Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics ↗Anthony J. Genot, Teruo Fujii, Yannick Rondelez1 citation
- Multiple Agent Based Entailment System(MABES) for RTE ↗Byungtaek Jung, Chiseung Soh, Kihyun Hong et al.1 citation
- On Conditionals ↗Emmanuelle-Anna Dietz, Steffen Hölldobler, Luı́s Moniz Pereira1 citation
- On Implementing Modular Complexity Analysis ↗Harald Zankl, Martin Korp1 citation
- On Incremental Quantitative Verification for Probabilistic Systems ↗Marta Kwiatkowska, David Parker, Hongyang Qu B et al.1 citation
- On the Interaction of Inclusion Dependencies with Independence Atoms ↗Miika Hannula, Juha Kontinen, Sebastian Link1 citation
- On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels ↗László Gyöngyösi, Sándor Imre1 citation
- Origami folds in higher-dimension ↗Tetsuo Ida, Stephen M. Watt1 citation
- PDT Logic for Stream Reasoning in Multi-agent Systems ↗Karsten Martiny, Ralf Moeller1 citation
- Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark ↗Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin et al.1 citation
- Playing Lorenzen Dialogue Games on the Web ↗Jesse Alama, Sara L. Uckelman1 citation
- Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors ↗Jaweher Zouari, Mohamed Hamdi, Tai-hoon Kim1 citation
- Programming by Composing Filters ↗Jeffrey Fischer, Rupak Majumdar1 citation
- Rare event analysis using the Limited Relative Error algorithm for OMNeT++ simulations ↗Sebastian Lindner, Raphael Elsner, Phuong Nga Tran et al.1 citation
- Reachability Analysis of Transformer-Isolated DC-DC Converters ↗Omar Ali Beg, Ali Davoudi, Taylor Thomas Johnson1 citation
- Recursive Definitions of Monadic Functions ↗Alexander Krauss1 citation
- Residuated Lattices, Regular Languages, and Burnside Problem ↗Rostislav Horčı́k1 citation
- Responsible Technologies ↗Nardine Osman, Carles Sierra1 citation
- Rewriting Environment for Arithmetic Circuit Verification ↗Cunxi Yu, Atif Yasin, Tiankai Su et al.1 citation
- Rewriting and Well-Definedness within a Proof System ↗Issam Maamria, Michael J. Butler1 citation
- SAT Encodings for the Car Sequencing Problem ↗Valentin Mayer-Eichberger, Toby Walsh1 citation
- Synthesising Functional Invariants in Separation Logic ↗Ewen Maclean, Andrew Ireland, Gudmund Grov1 citation
- Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge ↗Guido Fiorino1 citation
- Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic ↗Шилов Николай Вячеславович1 citation
- The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics ↗Negin Arhami, Geoff Sutcliffe1 citation
- The involutions-as-principal types/application-as-unification Analogy ↗Alberto Ciaffaglione, Furio Honsell, Marina Lenisa et al.1 citation
- Towards Automated Property Discovery within Hume ↗Gudmund Grov, Andrew Ireland1 citation
- Towards a Simply Typed CALculus for Semantic Knowledge Bases ↗Michael Mendler, Stephan Scheele1 citation
- Trie Based Subsumption and Improving the pi-Trie Algorithm ↗Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal1 citation
- Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL ↗Alexander Steen, Max Wisniewski, Christoph Benzmüller1 citation
- Usage of Invariants for Symbolic Verification of Requirements ↗Alexander A. Letichevsky, Alexander B. Godlevsky, Anton Guba et al.1 citation
- Verification of Multi-Party Ping-Pong Protocols via Program Transformation ↗Antonina Nepeivoda1 citation
- Verification of Security Protocols ↗Véronique Cortier1 citation
- Verification of a brick Wang tiling algorithm ↗Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet‐Jourdan1 citation
- We know (nearly) nothing!l But can we learn? ↗Stephan Schulz1 citation
- (The Final) Countdown ↗Jean‐Marc Alliot, Charlie Vanaret
- A Complete Cyclic Proof System for Inductive Entailments in First Order Logic ↗Radu Iosif, Cristina Serban
- A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses ↗Sophie Tourret, Mnacho Echenim, Nicolas Peltier
- A Developer-oriented Hoare Logic ↗Holger Gast
- A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems ↗Ping Hou, Yifei Chen
- A New Proof of P-time Completeness of Linear Lambda Calculus ↗Satoshi Matsuoka
- A One-Pass Tableau-Based Workflow Verification Framework ↗Md. Zahidul Islam, Wendy MacCaull
- A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic ↗Lim Yohanes Stefanus, Ario Santoso
- A Quantitative Partial Model-Checking Function and Its Optimisation ↗Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci et al.
- A Resolution Calculus for Second-order Logic with Eager Unification ↗Alexander Leitsch, Tomer Libal
- A Short-Term Memory for Deliberative Agents in Everyday Environments ↗Ivo Chichkov, Alexandra Kirsch
- A Syntactic Characterization of the Gabbay-de Jongh Logics ↗Jeroen Goudsmit
- A new Glivenko Theorem ↗Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
- A note on first-order reasoning for minimum models ↗David E. Rydeheard, Jesús Héctor Domínguez Sánchez
- A rewrite-based computational model for functional logic programming ↗Mircea Marin, Temur Kutsia, Besik Dundua
- A simple proof system for lock-free concurrency ↗Luı́s Caires, Carla Ferreira, António Ravara
- AI at CADE/IJCAR ↗Josef Urban
- ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ↗Lei Bu, Rajarshi Ray, Stefan Schupp
- Abduction for Learning Smart City Rules ↗Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv
- Abstractions Before Proofs ↗Cliff B. Jones
- Acceleration For Presburger Petri Nets ↗Jérôme Leroux
- Acceleration-based safety decision procedure for programs with arrays ↗Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
- Adaptive Assertion-Level Proofs ↗Christoph Benzmüller, Marvin R. G. Schiller
- Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2 ↗Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al.
- Alignnment of RNA with Structures of Unlimited Complexity ↗Alessandro Dal Palù, Mathias Möhl, Sebastian Will
- Almost structural completeness; an algebraic approach ↗Wojciech Dzik, Michał M. Stronkowski
- Alternating Turing machines and the analytical hierarchy ↗Daniel M. Leivant
- An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary ↗Pavithra Prabhakar, Miriam García Soto
- An Autonomous Vehicle Control Stack ↗Alëna Rodionova, Matthew O’Kelly, Houssam Abbas et al.
- An analogue of Bull's theorem for Hybrid Logic ↗Claudette Robinson, Willem Conradie
- An elementary proof of the completeness of the Lukasiewicz axioms ↗Michal Botur, Jan Paseka
- Answer Set Programming in a Nutshell ↗Thomas Eiter
- Antifounded Coinduction in Type Theory ↗Tarmo Uustalu
- Automated Theorem Proving using the TPTP Process Instruction Language ↗Muhammad Nassar, Geoff Sutcliffe
- Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands ↗Poulami Das, Debapriya Basu Roy, Debdeep Mukhopadhyay
- Automatic Inference of Term Equivalence in Term Rewriting Systems ↗Marco Comini, Luca Torella
- BDI: A New Decidable First-order Clause Class ↗Manuel Lamotte-Schubert, Christoph Weidenbach
- Benchmarks for stochastic models from building automation systems ↗Nathalie Cauchi, Alessandro Abate
- Beyond DRAT: Challenges in Certifying UNSAT ↗Bertram Felgenhauer
- Boolean like algebras ↗Antonio Ledda, Tomasz Kowalski, Francesco Paoli et al.
- Building an Efficient OWL 2 DL Reasoner ↗Boris Motik
- Building trustworthy refactoring tools ↗Simon Thompson
- Cayley and Holland Theorems for Residuated Lattices ↗Nikolaos Galatos, Rostislav Horčı́k
- Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis ↗Scott Livingston, Vasumathi Raman
- Challenges for Fast Synthesis Procedures in SMT ↗Andrew Reynolds
- Challenges for Safe Autonomous Flight ↗Sebastian Scherer
- Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra ↗Célestin Lélé, Jean Bernard Nganou
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/6/