Publications - Last Year

  1. Conference paper
    RG1
    “A Modular Formalization of Superposition in Isabelle/HOL,” in 15th International Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia, 2024.
  2. Article
    RG1
    “Reduction of Chemical Reaction Networks with Approximate Conservation Laws,” SIAM journal on Applied Dynamical Systems, vol. 23, no. 1, 2024.
  3. Article
    RG1
    “A Computational Approach to Polynomial Conservation Laws,” SIAM Journal on Applied Dynamical Systems, vol. 23, no. 1, 2024.
  4. Conference paper
    RG1
    “Efficient and Generic Microarchitectural Hash-Function Recovery,” in 45th IEEE Symposium on Security and Privacy (SP 2024), San Francisco, CA, USA, 2024.
  5. Paper
    RG1
    “Non-Ground Congruence Closure,” 2024. [Online]. Available: https://arxiv.org/abs/2412.10066.
  6. Article
    RG1
    “Counting QBF Solutions at Level Two,” Constraints, vol. 29, 2024.
  7. Article
    RG1
    “The CADE-29 Automated Theorem Proving System Competition – CASC-29,” AI Communications, vol. 37, no. 4, 2024.
  8. Conference paper
    RG1
    “On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus,” in Automated Reasoning (IJCAR 2024), Nancy, France, 2024.