Publications - The Year Before Last

  1. Article
    RG1
    “On the Algebraic Structures in A(Phi) (G),” Mediterranian Journal of Mathematics, vol. 19, no. 3, 2022.
  2. Conference paper
    RG1
    “A Two-Watched Literal Scheme for First-Order Logic,” in Practical Aspects of Automated Reasoning 2022 (PAAR 2022), Haifa, Israel, 2022.
  3. Conference paper
    RG1
    “An Efficient Subsumption Test Pipeline for BS(LRA) Clauses,” in Automated Reasoning (IJCAR 2022), Haifa, Israel, 2022.
  4. Conference paper
    RG1
    “Exploring Partial Models with SCL,” in Practical Aspects of Automated Reasoning 2022 (PAAR 2022), Haifa, Israel, 2022.
  5. Paper
    RG1
    “A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic,” 2022. [Online]. Available: https://arxiv.org/abs/2201.09769.
  6. Conference paper
    RG1
    “A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic,” in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Munich, Germany, 2022.
  7. Conference paper
    RG1
    “F5: A REDUCE Package for Signature-based Gröbner Basis Computation,” in CASC 2022 - Computer Algebra in Scientific Computing, Gebze, Turkey, 2022.
  8. Conference paper
    RG1
    “Seventeen Provers Under the Hammer,” in 13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel, 2022.
  9. Article
    RG1
    “A Calculus for Modular Loop Acceleration and Non-Termination Proofs,” International Journal on Software Tools for Technology Transfer, vol. 24, 2022.
  10. Conference paper
    RG1
    “Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract),” in Description Logics 2022 (DL 2022), Haifa, Israel, 2022.
  11. Conference paper
    RG1
    “Connection-Minimal Abduction in EL via Translation to FOL,” in Automated Reasoning (IJCAR 2022), Haifa, Israel, 2022.
  12. Conference paper
    RG1
    “Semantic Relevance,” in Automated Reasoning (IJCAR 2022), Haifa, Israel, 2022.
  13. Paper
    RG1
    “Connection-minimal Abduction in EL via Translation to FOL -- Technical Report,” 2022. [Online]. Available: https://arxiv.org/abs/2205.08449.
  14. Conference paper
    RG1
    “SCL(EQ): SCL for First-Order Logic with Equality,” in Automated Reasoning (IJCAR 2022), Haifa, Israel, 2022.
  15. Paper
    RG1
    “SCL(EQ): SCL for First-Order Logic with Equality,” 2022. [Online]. Available: https://arxiv.org/abs/2205.08297.
  16. Conference paper
    RG1
    “Automated Expected Amortised Cost Analysis of Probabilistic Data Structures,” in Computer Aided Verification (CAV 2022), Haifa, Israel, 2022.
  17. Paper
    RG1
    “ODEbase: A Repository of ODE Systems for Systems Biology,” 2022. [Online]. Available: https://arxiv.org/abs/2201.08980.
  18. Article
    RG1
    “ODEbase: A Repository of ODE Systems for Systems Biology,” Bioinformatics Advances, vol. 2, no. 2, 2022.
  19. Article
    RG1
    “A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column,” Journal of Automated Reasoning, vol. 66, 2022.
  20. Article
    RG1
    “Making Higher-Order Superposition Work,” Journal of Automated Reasoning, vol. 66, 2022.
  21. Article
    RG1
    “Extending a Brainiac Prover to Lambda-Free Higher-Order Logic,” International Journal on Software Tools for Technology Transfer (STTT), vol. 24, 2022.
  22. Article
    RG1
    “A Comprehensive Framework for Saturation Theorem Proving,” Journal of Automated Reasoning, vol. 66, 2022.