A Decision Method for Elementary Algebra and Geometry

• Verifying Belief-Based Programs via Symbolic Dynamic Programming

  2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

  1

  citations
• WITHDRAWN: Levelwise construction of a single cylindrical algebraic cell

  2023 Journal of Symbolic Computation retraction Computer Science Polynomial and algebraic computation

  1

  citations
• Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming

  2022 Information and Computation article Computer Science Formal Methods in Verification

  9

  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
• Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  15

  citations
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Constraint Satisfaction and Optimization Open access

  34

  citations
• Automatic Structures

  2020 conference-paper Computer Science semigroups and automata theory

  12

  citations

7 results