CVC4

• Semantic difference analysis for model compositions of class diagrams, OCL constraints, and object diagrams

  2026 Innovations in Systems and Software Engineering article Computer Science Model-Driven Software Engineering Techniques Open access

  1

  citations
• Model-guided synthesis of inductive lemmas for FOL with least fixpoints

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

  2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification Open access

  3

  citations
• Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD

  2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation

  1

  citations
• Extending the Fundamental Theorem of Linear Programming for Strict Inequalities

  2021 International Symposium on Symbolic and Algebraic Computation conference-paper Mathematics Advanced Optimization Algorithms Research

  2

  citations
• Algorithmic Reduction of Biological Networks with Multiple Time Scales

  2021 Mathematics in Computer Science article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

  9

  citations

6 results