EPiC series in computing 2018: all accepted papers
- Application of Adaptive Neural Networks for the Filtration of Spam ↗Gela Besiashvili, Tamar Bliadze, Zurab Kochladze3 citations
- Application of Trace-Based Subjective Logic to User Preferences Modeling ↗Hoang Nam Ho, Mourad Rabah, Samuel Nowakowski et al.3 citations
- Automated Higher-order Reasoning about Quantales ↗Han-Hing Dang, Peter Höfner3 citations
- Automatic generation of high quality test sets via CBMC ↗Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano et al.3 citations
- Benchmark: Reachability on a model with holes ↗Thomas Heinz, Jens Oehlerking, Matthias Woehrle3 citations
- C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions ↗Jon Haël Brenas, Rachid Echahed, Martin Strecker3 citations
- Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4 ↗Ramana Kumar3 citations
- Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics ↗Damien Doligez, Jael Elisabeth Kriener, Leslie Lamport et al.3 citations
- Community-based Mobility Model and Probabilistic ORBIT Mobility Model Implementations in OMNeT++ ↗Vishnupriya Kuppusamy, Leonardo Sarmiento, Asanga Udugama et al.3 citations
- Compiling Hilbert's epsilon operator ↗Rustan Leino3 citations
- Compositional Verification of Security Properties for Embedded Execution Platforms ↗Christoph Baumann, Oliver Schwarz, Mads Dam3 citations
- Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling ↗Teddy Bouziat, Valérie Camps, Stéphanie Combettes3 citations
- Decidable linear list constraints ↗Sabine Bauer, Martin Hofmann3 citations
- Determining automatically compass and straightedge unconstructibility in triangles ↗Pascal Mathis, Pascal Schreck3 citations
- Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams ↗Héctor G. Ceballos, Francisco J. Cantú-Ortiz3 citations
- Do Portfolio Solvers Harm? ↗Christoph Weidenbach3 citations
- Formally Proving the Boolean Pythagorean Triples Conjecture ↗Luı́s Cruz-Filipe, Peter Schneider–Kamp3 citations
- General Recursion and Formal Topology ↗Claudio Sacerdoti Coen, Silvio Valentini3 citations
- Geometric Constraints for the Phase Problem in X-Ray Crystallography ↗Corinna Melanie Heldt, Alexander Bockmayr3 citations
- Heuristic Decision-Making for Human-aware Navigation in Domestic Environments ↗Alexandra Kirsch3 citations
- Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems ↗Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez et al.3 citations
- Initial Experiments with External Provers and Premise Selection on HOL Light Corpora ↗Cezary Kaliszyk, Josef Urban3 citations
- Learning to Plan from Raw Data in Grid-based Games ↗Andrea Dittadi, Thomas Bolander, Ole Winther3 citations
- Lexical Semantics with Linear Types ↗Bruno Mery3 citations
- Linear Models of Computation and Program Learning ↗Michael A. Bukatin, Steve Matthews3 citations
- Logical and Algebraic Views of a Knot Fold of a Regular Heptagon ↗Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi3 citations
- Matching Qualitative Constraint Networks with Online Reinforcement Learning ↗Malumbo Chaka Chipofya3 citations
- Migration from SERCOS III to TSN - Simulation Based Comparison of TDMA and CBS Transportation ↗Sebastian Szancer, Philipp Meyer, Franz Korf3 citations
- Modern Cooperative Parallel SAT Solving ↗Norbert Manthey, Davide Lanti, Ahmed Irfan3 citations
- Numerical Verification of 10000-dimensional Linear Systems 10000x Faster ↗Stanley Bak3 citations
- On Logical Relations and Conservativity ↗Philippe de Groote3 citations
- Parametric Exploration of Rewriting Logic Computations ↗Marı́a Alpuente, Demis Ballis, Francisco Frechina et al.3 citations
- Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays ↗Angelo Brillout, Daniel Kroening, Philipp Rümmer et al.3 citations
- Reasoning About Prescription and Description Using Prioritized Default Rules ↗Valentín Cassano, Carlos Areces, Pablo F. Castro3 citations
- Recognizing entailments in legal texts using sentence encoding-based and decomposable attention models ↗Nguyễn Trường Sơn, Phan Viet Anh, Nguyen Le Minh3 citations
- Robotics, Temporal Logic and Stream Reasoning ↗Patrick Doherty, Fredrik Heintz, Jonas Kvarnström3 citations
- SMT-LIB Sequences and Regular Expressions ↗Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel et al.3 citations
- Satisfiability Checking and Query Answering for Large Ontologies ↗Christoph Weidenbach, Patrick Wischnewski3 citations
- Simulating LISP-Based Multilink Communications in Aeronautical Networks ↗Chiara Caiazza, Antonio Virdis, Giovanni Stea3 citations
- Temporal Patterns for Document Verification ↗Mirjana Jakšić, Burkhard Freitag3 citations
- The 2012 SMT Competition ↗David R. Cok, Alberto Griggio, Roberto Bruttomesso A et al.3 citations
- The Glory of the Past and Geometrical Concurrency ↗Cristian Prisacariu3 citations
- Towards Strong Higher-Order Automation for Fast Interactive Verification ↗Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz et al.3 citations
- Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach ↗Michel Ludwig, Dirk Walther3 citations
- Transparent Farmers: how farmers are using technology for new ways of selling and communicating with consumers ↗Jorge Luis Zapico, Maja Söderberg3 citations
- Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi ↗Jens Otten, Geoff Sutcliffe3 citations
- Verifying a PI Controller using SoapBox and Stabhyli ↗Eike Möhlmann, Willem Hagemann, Astrid Rakow3 citations
- formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification ↗Axel Busboom, Simone Schuler, Alexander Walsch3 citations
- A Case for Query-driven Predicate Answer Set Programming ↗Gopal Gupta, Elmer Salazar, Kyle Marple et al.2 citations
- A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment ↗Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula2 citations
- A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting ↗Marco Comini, Luca Torella2 citations
- A Lightweight Double-negation Translation ↗Frederic Gilbert2 citations
- A Theory of Arrays with set and copy Operations ↗Stephan Falke, Carsten Sinz, Florian Merz2 citations
- ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ↗Lei Bu, Rajarshi Ray, Stefan Schupp2 citations
- Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 ↗Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al.2 citations
- An Integrated Framework for Fog Communications and Computing in Internet of Vehicles ↗Alessio Bonadio, Francesco Chiti, Romano Fantacci2 citations
- Animating Cognitive Models and Architectures: A Rule-Based Approach ↗Nada Sharaf, Slim Abdennadher, Thom Fruehwirth et al.2 citations
- Anti-Unification: Algorithms and Applications ↗Temur Kutsia2 citations
- Applications and Challenges in Satisfiability Modulo Theories ↗Leonardo de Moura, Nikolaj Bjørner2 citations
- Automated Invariant Generation for the Verification of Real-Time Systems ↗Bahareh Badban A, Stefan Leue, Jan‐Georg Smaus2 citations
- Automated Reasoning in the Simulation of Evolvable Systems ↗Djihed Afifi, David E. Rydeheard, Howard Barringer B2 citations
- Barriers for sustainable waste management practices in grocery stores. Exploration by Research-through-Design ↗Sofie Nyström, Cecilia Katzeff, Daniel Sapiens Pargman2 citations
- Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals ↗Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke2 citations
- Beagle as a HOL4 external ATP method ↗Thibault Gauthier, Cezary Kaliszyk, Chantal Keller et al.2 citations
- Beating the Productivity Checker Using Embedded Languages ↗Nils Anders Danielsson2 citations
- Bidirectional Functional Semantics for Pregroup Grammars ↗Gabriel Gaudreault2 citations
- Bit-size reduction of triangular sets in two and three variables ↗Tetsuro Yamashita, Xavier Dahan2 citations
- CDCL with Less Destructive Backtracking through Partial Ordering ↗Anthony Monnet, Roger Villemaire2 citations
- Can a system learn from interactive proofs? ↗Leo Freitas, Cliff B. Jones, Andrius Velykis2 citations
- Capacity Visual Attention Networks ↗Marcus Edel, Joscha Lausch2 citations
- Cauliflower: a Solver Generator for Context-Free Language Reachability ↗Nicholas Hollingum, Bernhard Scholz2 citations
- CheAPS: a Checker of Asynchronous Parameterized Systems ↗Igor Konnov2 citations
- Compass-free Navigation of Mazes ↗Phil Scott, Jacques Fleuriot2 citations
- Composable Packages for Higher Order Logic Theories ↗Joe Hurd2 citations
- Cuts for circular proofs ↗Jérôme Fortier, Luigi Santocanale2 citations
- Data Storage and Maintenance Challenges: The Case of Advanced Metering Infrastructure Systems ↗Lucas Pereira, Rodolfo Gonçalves, Filipe Quintal et al.2 citations
- Decidable Inequalities over Infinite Trees ↗Sabine Bauer, Steffen Jost, Martin Hofmann2 citations
- Defining the meaning of TPTP formatted proofs ↗Roberto Blanco, Tomer Libal, Dale Miller2 citations
- Different Proofs are Good Proofs ↗Geoff Sutcliffe, Cynthia Chang, Li Ding et al.2 citations
- Discrete-Space Analysis of Partial Differential Equations ↗Hoang-Dung Tran, Tianshu Bao, Taylor Thomas Johnson2 citations
- EasyChair ↗Андрей Воронков2 citations
- Efficient Rule-Matching for Hyper-Tableaux ↗Bjarne Holen, Dag Hovland, Martin Giese2 citations
- Entropic Hopf algebras ↗Anna B. Romanowska, Jonathan D. H. Smith2 citations
- Evaluating Automated Theorem Provers Using Adimen-SUMO ↗Javier Álvez, Paqui Lucio, Germán Rigau2 citations
- Evaluating Equality Requirements for Software Systems ↗Maryam Al Hinai, Ruzanna Chitchyan2 citations
- Extended Resolution as Certificates for Propositional Logic ↗Chantal Keller2 citations
- External Tools for the Formal Proof of the Kepler Conjecture ↗Thomas Hales2 citations
- Genetic Algorithms for Scheduling and Optimization of Ore Train Networks ↗Ghulam Mubashar Hassan, Mark A Reynolds2 citations
- Global Subsumption Revisited (Briefly) ↗Giles Reger, Martin Suda2 citations
- Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects ↗Irina Khutsishvili, Gia Sirbiladze, Gvantsa Tsulaia2 citations
- Higher order interpretation for higher order complexity ↗Emmanuel Hainry F, Romain Péchoux2 citations
- ICT for Sustainability Beyond Efficiency: Pushing Cleantech and the Circular Economy ↗Jack H. Townsend2 citations
- Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions ↗J Moore, Marijn J. H. Heule2 citations
- Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage ↗Seyed Hossein Haeri, Sibylle Schupp2 citations
- Lane change maneuver for autonomous vehicles (Benchmark Proposal) ↗Nikolaos Kekatos, Daniel Heß, Goran Frehse2 citations
- Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes ↗Xudong Liu, Mirosław Truszczyński2 citations
- Linear Differential-Algebraic Equations (Benchmark Proposal) ↗Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran et al.2 citations
- Metis-based Paramodulation Tactic for HOL Light ↗Michael Färber, Cezary Kaliszyk2 citations
- Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper) ↗Bernhard Beckert, Daniel Bruns, Sarah Grebing2 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/4/