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

EPiC series in computing 2018: all accepted papers

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

1 … 7 8

  1. Relevant logic and relation algebras ↗Tomasz Kowalski
  2. Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns ↗Richard J. Wallace
  3. Representation of the Medial-Like Algebras ↗Amir Ehsani
  4. ResourSim – Evaluating the end-user Device usage ↗Jens Dede, Anna Förster
  5. SAT solving experiments in Vampire ↗Armin Biere, Ioan Drăgan, Laura Kovács et al.
  6. SAT-Based Techniques for Integer Linear Constraints ↗Robert Nieuwenhuis
  7. SC-square: when Satisfiability Checking and Symbolic Computation join forces ↗Erika Ábrahám, John Abbott, Bernd Becker et al.
  8. Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases ↗Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne J. Raglin, Douglas A. Summers-Stay et al.
  9. Secure Communication over Zero-Private Capacity Quantum Channels ↗László Gyöngyösi, Sándor Imre
  10. Some Notes on Basic Syntactic Mutation ↗Kimberly A. Cornell, Christopher Bouchard, Paliath Narendran
  11. Specification Inference and Invariant Generation: A Machine Learning Perspective ↗Aditya V. Nori
  12. Specifying Hyperdocuments with Algebraic Methods ↗Volker Mattick
  13. Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1 ↗Vincenzo Marra, Daniel McNeill, Andrea Pedrini
  14. Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2 ↗Vincenzo Marra, Daniel McNeill, Andrea Pedrini
  15. Stone duality for first-order logic: a nominal approach to logic and topology ↗Murdoch J. Gabbay
  16. Strong 0-dimensionality in Pointfree Topology ↗Bernhard Banaschewski
  17. Symbolic WS1S ↗Loris D’Antoni, Margus Veanes
  18. Symbolic-Numeric Reachability Analysis of Hybrid Systems ↗Sriram Sankaranarayanan
  19. Tensor products of modal logics ↗Ilya Borisovich Shapirovsky, Valentin Borisovich Shehtman
  20. The Architecture of Inference from SMT to ETB ↗Natarajan Shankar
  21. The Frame Problem and the Semantics of Classical Proofs ↗Graham White
  22. The Info-Computation Turn in Physics ↗Israel Belfer
  23. The SMT Execution Service: Features, Fairness, and the Future ↗Morgan Deters
  24. The computing power of Turing machine based on quantum logic ↗Yun Shang, Xian Ping Lu, Ruqian Lu
  25. The finite embeddability property for some noncommutative knotted extensions of FL ↗Riquelmi Cardona
  26. The use of types in designing unification algorithms: two case studies ↗Serdar Erbatur, Santiago Escobar, Paliath Narendran
  27. Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic ↗Hans de Nivelle
  28. Theory Exploration: a role for Model Theory? ↗Alan Smaill
  29. Things You Can't do With a Vampire ↗Geoff Sutcliffe
  30. Topological completeness of extensions of S4 ↗Guram Bezhanishvili, David Gabelaia, Joel Lucero‐Bryan
  31. Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) ↗Klaus v. Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Béguelin
  32. Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools ↗Michaël Leuschel
  33. Towards Verified Construction for Planar Class of a Qualitative Spatial Representation ↗Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
  34. Towards a Cut-free Sequent Calculus for Boolean BI ↗Sungwoo Park, Jong‐Hyun Park
  35. Towards a Logic for Reasoning About Learning in a Changing World ↗Prakash Panangaden, Mehrnoosh Sadrzadeh
  36. Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ ↗Amar Abane, Paul Mühlethaler, Samia Bouzefrane et al.
  37. Transforming Undecidable Synthesis Problems into Decidable Problems ↗Bernd Finkbeiner
  38. Truncated Vector Lattices ↗Richard N. Ball
  39. Trust, Belief and Honesty ↗David Pearce, Levan Uridia
  40. Turing's Influence on Programming ↗Edgar Graham Daylight
  41. Unication Problems Modulo a Theory of Until ↗Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Cornell et al.
  42. Unification and Anti-unification modulo Equational Theories ↗Santiago Escobar
  43. Unifying Equivalences for Timed Transition Systems ↗Irina Virbitskaite, Наталия Сергеевна Грибовская, Eike Best
  44. Unranked Anti-Unification with Hedge and Context Variables ↗Alexander Baumgartner, Temur Kutsia
  45. Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing ↗Tobias Philipp
  46. User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier ↗Andrei Lapets
  47. Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs ↗Sylvia Grewe, André Pacak, Mira Mezini
  48. Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions ↗Jorge Picado, Javier Gutiérrez García
  49. Verification of Imperative Programs through Transformation of Constraint Logic Programs ↗Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al.
  50. Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain ↗Yang Gao, Martin Fränzle
  51. Walker's Cancellation Theorem ↗Robert S. Lubarsky, Fred Richman
  52. What kind of machine is the mind? ↗Joscha Bach, Mario Verdicchio
  53. jUDPWrapper: A Lightweight Approach to Access the OMNeT++/INET UDP Functionality from Java ↗Henning Puttnies, Peter Danielis, Leonard Thiele et al.

1 … 7 8

↑ back to top

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