Publications - The Year Before Last

  1. Article
    RG1
    “Superposition with Lambdas,” Journal of Automated Reasoning, vol. 65, 2021.
  2. Paper
    RG1
    “Superposition with Lambdas,” 2021. [Online]. Available: https://arxiv.org/abs/2102.00453.
  3. Article
    RG1
    “Superposition for Lambda-Free Higher-Order Logic,” Logical Methods in Computer Science, vol. 17, no. 2, 2021.
  4. Conference paper
    RG1
    “Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories,” in Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), Copenhagen, Denmark (Online), 2021.
  5. Conference paper
    RG1
    “A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic,” in Frontiers of Combining Systems (FroCoS 2021), Birmingham, UK, 2021.
  6. Paper
    RG1
    “A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic,” 2021. [Online]. Available: https://arxiv.org/abs/2107.03189.
  7. Conference paper
    RG1
    “A Unifying Splitting Framework,” in Automated Deduction - CADE 28, Virtual Event, 2021.
  8. Article
    RG1
    “Foreword, with a Dedication to Andreas Weber,” Mathematics in Computer Science, vol. 15, 2021.
  9. Article
    RG1
    “Foreword, with a Dedication to Vladimir Gerdt,” Mathematics in Computer Science, vol. 15, 2021.
  10. Conference paper
    RG1
    “Termination of Polynomial Loops,” in Static Analysis (SAS 2020), Chicago, IL, USA (Online Event), 2021.
  11. Article
    RG1
    “Efficiently and Effectively Recognizing Toricity of Steady State Varieties,” Mathematics in Computer Science, vol. 15, 2021.
  12. Article
    RG1
    “Efficiently and Effectively Recognizing Toricity of Steady State Varieties,” Mathematics in Computer Science, vol. 15, 2021.
  13. Conference paper
    RG1
    “Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance,” in Automated Deduction - CADE 28, Virtual Event, 2021.
  14. Conference paper
    RG1
    “Abduction in EL via Translation to FOL,” in Second-Order Quantifier Elimination and Related Topics (SOQE 2021), Online Event, 2021.
  15. Article
    RG1
    “Algorithmic Reduction of Biological Networks With Multiple Time Scales,” Mathematics in Computer Science, vol. 15, 2021.
  16. Conference paper
    RG1
    “Superposition with First-class Booleans and Inprocessing Clausification,” in Automated Deduction - CADE 28, Virtual Event, 2021.
  17. Conference paper
    RG1
    “A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks,” in SYNASC 2020, 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2021.
  18. Conference paper
    RG1
    “Parametric Toricity of Steady State Varieties of Reaction Networks,” in Computer Algebra in Scientific Computing (CASC 2021), Sochi, Russia, 2021.
  19. Paper
    RG1
    “Parametric Toricity of Steady State Varieties of Reaction Networks,” 2021. [Online]. Available: https://arxiv.org/abs/2105.10853.
  20. Paper
    RG1
    “Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems,” 2021. [Online]. Available: https://arxiv.org/abs/2107.01706.
  21. Conference paper
    RG1
    “Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems,” in Computer Algebra in Scientific Computing (CASC 2021), Sochi, Russia, 2021.
  22. Conference paper
    RG1
    “Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant,” in Automated Deduction - CADE 28, Virtual Event, 2021.
  23. Article
    RG1
    “A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations,” Mathematics in Computer Science, vol. 15, 2021.
  24. Article
    RG1
    “The CADE-28 Automated Theorem Proving System Competition - CASC-28,” AI Communications, vol. 34, no. 4, 2021.
  25. Conference paper
    RG1
    “A Modular Isabelle Framework for Verifying Saturation Provers,” in CPP ’21, 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual, Denmark, 2021.
  26. Article
    RG1
    “Decidable ∃∗∀∗ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates,” Journal of Automated Reasoning, vol. 65, 2021.
  27. Conference paper
    RG1
    “Making Higher-Order Superposition Work,” in Automated Deduction - CADE 28, Virtual Event, 2021.