Elamur Research⌕
☰
home / venues / EPiC series in computing / 2018 / papers / page 3

EPiC series in computing 2018: all accepted papers

753 papers · page 3 of 8 · the most cited first · ← EPiC series in computing 2018

1 2 3 4 … 8

  1. Computational Completeness of Interaction Machines and Turing Machines ↗Peter W. Wegner, Eugene Eberbach, Mark Burgin6 citations
  2. Efficient SAT-Based Encodings of Conditional Cardinality Constraints ↗Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui et al.6 citations
  3. Escape to Mizar from ATPs ↗Jesse Alama6 citations
  4. Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus ↗Guido Fiorino6 citations
  5. Generic CDCL — A Formalization of Modern Propositional Satisfiability Solvers ↗Steffen Hölldobler, Norbert Manthey, Tobias Philipp et al.6 citations
  6. Industrial Examples of Formal Specifications for Test Case Generation ↗Hendrik Roehm, Rainer Gmehlich, Thomas Heinz et al.6 citations
  7. LEO-II Version 1.5 ↗Christoph Benzmüller, Nik Sultana6 citations
  8. New CNF Features and Formula Classification ↗Enrique Alfonso Carmona García, Norbert Manthey6 citations
  9. Optimal haplotype reconstruction in half-sib families ↗Aurélie Favier, Jean-Michel Elsen, Simon de Givry et al.6 citations
  10. Proving uniformity and independence by self-composition and coupling ↗Gilles Barthe, Thomas Espitau, Benjamin Grégoire et al.6 citations
  11. Razor: Provenance and Exploration in Model-Finding ↗Salman Saghafi, Daniel J. Dougherty6 citations
  12. Seminator: A Tool for Semi-Determinization of Omega-Automata ↗František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka et al.6 citations
  13. Space Debris Collision Detection using Reachability ↗Kerianne L. Hobbs, Peter Heidlauf, Alexander R. Collins et al.6 citations
  14. The Potential of Interference-Based Proof Systems ↗Marijn J. H. Heule, Benjamin Kiesl6 citations
  15. The Triguarded Fragment of First-Order Logic ↗Sebastian Rudolph, Mantas Šimkus6 citations
  16. Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving ↗Waqar Ahmed, Osman Hasan, Sofiène Tahar6 citations
  17. Towards Simulating Non-lane Based Heterogeneous Road Traffic of Less Developed Countries ↗Quazi Mishkatul Alam, Bejon Sarker, Biplob Biswas et al.6 citations
  18. Turing Incomputable Computation ↗Michael Stephen Fiske6 citations
  19. Using the Winograd Schema Challenge as a CAPTCHA ↗Nicos Isaak, Loizos Michael6 citations
  20. Wayeb: a Tool for Complex Event Forecasting ↗Elias Alevizos, Alexander Artikis, Georgios Paliouras6 citations
  21. A Framework for Verified Depth-First Algorithms ↗René Neumann5 citations
  22. A Survey of Elementary Object Systems ↗Michael Köhler-Bußmeier5 citations
  23. A Theory of Satisfiability-Preserving Proofs in SAT Solving ↗Adrián Rebola-Pardo, Martin Suda5 citations
  24. A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures ↗Elena V. Ravve, Zeev Volkovich, Gerhard‐Wilhelm Weber5 citations
  25. Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis ↗Hoang-Dung Tran, Luan Viet Nguyen, Taylor Thomas Johnson5 citations
  26. Bunched Hypersequent Calculi for Distributive Substructural Logics ↗Agata Ciabattoni, Revantha Ramanayake5 citations
  27. Conflict Resolution in Structured Argumentation ↗Martin Baláž, Jozef Frtús, Martin Homola5 citations
  28. Conflicts, Models and Heuristics for Quantifier Instantiation in SMT ↗Andrew Reynolds5 citations
  29. Content-Based Image Retrieval System for Real Images ↗Yin‐Fu Huang, Bo-Rong Chen5 citations
  30. Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic ↗Max Wisniewski, Alexander Steen5 citations
  31. Foundations for the Logical Difference of EL-TBoxes ↗Shasha Feng, Michel Ludwig, Dirk Walther5 citations
  32. Heliostat Field Layout Optimization with Evolutionary Algorithms ↗Pascal Richter, David Laukamp, Levin Gerdes et al.5 citations
  33. Implementing a stepper using delimited continuations ↗Youyou Cong, Kenichi Asai5 citations
  34. Improving SAT Solver Performance with Structure-based Preferential Bumping ↗Sima Jamali, David G. M. Mitchell5 citations
  35. Incremental Construction of Counterexamples in Model Checking Web Documents ↗Franz Weitl, Shin Nakajima5 citations
  36. Instantiations, Zippers and EPR Interpolation ↗Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin et al.5 citations
  37. Iterative Planning for Deterministic QDec-POMDPs ↗Sagi Bazinin, Guy Shani5 citations
  38. Light-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments ↗Stephan Schulz5 citations
  39. Multiple Ant Colony Optimization for Single Depot Multiple Trip Vehicle Routing Problems ↗Zhengmao Ye, Habib P. Mohamadian5 citations
  40. On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals ↗Marcelo Prates, Pedro Avelar, Luís C. Lamb5 citations
  41. On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess ↗Frédéric Prost5 citations
  42. Parallel Graph Rewriting with Overlapping Rules ↗Rachid Echahed, Aude Maignan5 citations
  43. Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 ↗Szymon Klarman5 citations
  44. Proceedings of the 6th IJCAR ATP System Competition (CASC-J6) ↗Geoff Sutcliffe5 citations
  45. Quasipolynomial Set-Based Symbolic Algorithms for Parity Games ↗Krishnendu Chatterjee, Wolfgang Dvořák, Monika Rauch Henzinger et al.5 citations
  46. Reconciling Population and Agent Models for Crowd Dynamics ↗Andrea Bracciali, Jane Elizabeth Hillston, Diego Latella et al.5 citations
  47. Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks ↗Antonina Tretyakova, Franciszek Seredynski A5 citations
  48. Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics ↗Ştefan Minică, Mohammad Khodadadi, Renate A. Schmidt et al.5 citations
  49. The Uses of SAT Solvers in Vampire ↗Giles Reger, Martin Suda5 citations
  50. Towards High-Assurance Multiprocessor Virtualisation ↗Michael von Tessin5 citations
  51. Tropical linear programming and parametric mean payoff games ↗Stéphane Gaubert, Ricardo D. Katz, Sergeĭ Sergeev5 citations
  52. Typical-case complexity and the SAT competitions ↗Zoltán Ádám Mann5 citations
  53. Using Vampire in Soundness Proofs of Type Systems ↗Sylvia Grewe, Sebastian Thore Erdweg, Mira Mezini5 citations
  54. A Data-Driven Metric of Hardness for WSC Sentences ↗Nicos Isaak, Loizos Michael4 citations
  55. A Genetic Algorithm for Truck Dispatching in Mining ↗Wesley Cox, Tim French, Mark A Reynolds et al.4 citations
  56. A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems ↗Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish4 citations
  57. A Mathematica module for Conformal Geometric Algebra and Origami Folding ↗Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi et al.4 citations
  58. A Resolution Method for Modal Logic S5 ↗Yakoub Salhi, Michael Sioutis4 citations
  59. A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo ↗Guillaume Burel4 citations
  60. A Verified Efficient Implementation of the LLL Basis Reduction Algorithm ↗Ralph Bottesch, Maximilian P. L. Haslbeck, René Thiemann4 citations
  61. ARCH-COMP18 Repeatability Evaluation Report ↗Taylor Thomas Johnson4 citations
  62. Abstract Interpretation over Zones without Widening ↗Thomas Martin Gawlitza, Helmut Seidl4 citations
  63. Analyzable Legal Yes/No Question Answering System using Linguistic Structures ↗Yoshinobu Kano, Reina Hoshino, Ryosuke Taniguchi4 citations
  64. Branching Processes of Conservative Nested Petri Nets ↗Daniil Frumin, Irina A. Lomazova4 citations
  65. Closing the Gap Between Specification and Programming: VDM++ and Scala ↗Klaus Havelund4 citations
  66. Computer algebra investigation of known primitive triangle-free strongly regular graphs ↗Matan Ziv-Av, Mikhail H. Klin4 citations
  67. Coq without Type Casts: A Complete Proof of Coq Modulo Theory ↗Jean-Pierre Jouannaud, Pierre-Yves Strub4 citations
  68. Direct Verification of Linear Systems with over 10,000 Dimensions ↗Stanley Bak, Parasara Sridhar Duggirala4 citations
  69. Energy consumption of mobile data transfer – Increasing or decreasing? Evaluating the impact of technology development & user behavior ↗Hanna Pihkola, Mikko Hongisto, Olli Apilo et al.4 citations
  70. Enhanced Simplified Memory-bounded A Star (SMA*+) ↗Justin Lovinger, Xiaoqin Zhang4 citations
  71. Expression Compatibility Problem ↗Seyed Hossein Haeri, Sibylle Schupp4 citations
  72. Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol ↗Alexei Lisitsa4 citations
  73. Function Summarization Modulo Theories ↗Sepideh Asadi, Martin Blicha, Grigory Fedyukovich et al.4 citations
  74. Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. ↗Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura4 citations
  75. HOL Provers for First-order Modal Logics — Experiments ↗Christoph Benzmüller4 citations
  76. Modeling the Wind Turbine Benchmark with PWA Hybrid Automata ↗Nikolaos Kekatos, Marcelo Forets, Goran Frehse4 citations
  77. Ping-Pong Protocols as Prefix Grammars and Turchin Relation ↗Antonina Nepeivoda4 citations
  78. ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems ↗Fedor Shmarov, Paolo Zuliani4 citations
  79. Proof Support for Common Logic ↗Till Mossakowski, Mihai Codescu, Oliver Kutz et al.4 citations
  80. RACCOON: A Connection Reasoner for the Description Logic ALC ↗Dimas Melo Filho, Fred Freitas, Jens Otten4 citations
  81. Running SpaceEx on the ARCH14 Benchmarks ↗Stefano Minopoli, Goran Frehse4 citations
  82. SMT-Based CPS Parameter Synthesis ↗Heinz Riener, Robert Koenighofer, Görschwin Fey et al.4 citations
  83. Scheme representation for first-order logic ↗Steve Awodey, Spencer Breiner4 citations
  84. Synthesising Graphical Theories ↗Aleks Kissinger4 citations
  85. Testbed for Model-based Verification of Cyber-physical Production Systems ↗Christof J. Budnik, Sebastian Eckl, Marco Gario4 citations
  86. The chess example in Turing's Mind paper is really about ambiguity ↗Jeroen D. Fokker4 citations
  87. Theory-Specific Reasoning about Loops with Arrays using Vampire ↗Yuting Chen, Laura Kovács, Simon Robillard4 citations
  88. Towards an Expressive Practical Logical Action Theory ↗Mikhail Soutchanski B, Wael Yehia4 citations
  89. Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs ↗Nada Habli, Amy Felty4 citations
  90. Verification of Fault-Tolerant Clock Synchronization Algorithms ↗Sergiy Bogomolov, Christian Herrera, Wilfried Steiner4 citations
  91. What if the World Were Different? Gradient-Based Exploration for New Optimal Policies ↗Rui Silva, Francisco S. Melo, Manuela Veloso4 citations
  92. 24 Challenges in Deductive Software Verification ↗Reiner Hähnle, Marieke Huisman3 citations
  93. A Civil Code Article Information Retrieval System based on Phrase Alignment with Article Structure Analysis and Ensemble Approach ↗Masaharu Yoshioka, Daiki Onodera3 citations
  94. A Method to Simplify Expressions: Intuition and Preliminary Experimental Results ↗Baudouin Le Charlier, Mêton Mêton Atindehou3 citations
  95. A Modelling Pearl with Sortedness Constraints ↗Nicolas Beldiceanu, Mats Carlsson, Pierre Flener et al.3 citations
  96. A Sudoku-Solver for Large Puzzles using SAT ↗Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler3 citations
  97. A Verified Theorem Prover Backend Supported by a Monotonic Library ↗Vincent Rahli, Liron Cohen, Mark Bickford3 citations
  98. ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics ↗Goran Frehse, Alessandro Abate, Dieky Adzkiya et al.3 citations
  99. An Algebra of Combined Constraint Solving ↗Eugenia Ternovska3 citations
  100. An Empirical Evaluation of Database Software Features on Energy Consumption ↗Sedef Akinli Koçak, Gülfem Işıklar Alptekin, Andriy V. Miranskyy et al.3 citations

1 2 3 4 … 8

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/papers/page/3/