| Publication | Date of Publication | Type |
|---|
| Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure | 2025-01-20 | Paper |
| Square-free pure triangular decomposition of zero-dimensional polynomial systems | 2024-08-29 | Paper |
| Compositional verification of interacting systems using event monads | 2024-07-15 | Paper |
| Switching controller synthesis for delay hybrid systems under perturbations | 2024-02-21 | Paper |
| Local search for solving satisfiability of polynomial formulas | 2024-01-12 | Paper |
| Deciding first-order formulas involving univariate mixed trigonometric-polynomials | 2023-11-03 | Paper |
| Isolating all the real roots of a mixed trigonometric-polynomial | 2023-09-19 | Paper |
| Early Ending in Homotopy Path-Tracking for Real Roots | 2023-06-30 | Paper |
| Monitoring CTMCs by multi-clock timed automata | 2023-05-26 | Paper |
| Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure | 2022-11-21 | Paper |
| Finding Polynomial Loop Invariants for Probabilistic Programs | 2022-08-12 | Paper |
| Block SOS decomposition | 2022-03-21 | Paper |
| Nonlinear Craig interpolant generation | 2021-02-04 | Paper |
| A New Sparse SOS Decomposition Algorithm Based on Term Sparsity | 2020-09-10 | Paper |
| An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers | 2020-09-10 | Paper |
| Logcf: an efficient tool for real root isolation | 2020-01-20 | Paper |
| Generic regular decompositions for generic zero-dimensional systems | 2019-11-18 | Paper |
| A hybrid procedure for finding real points on a real algebraic set | 2019-03-06 | Paper |
| Open weak CAD and its applications | 2019-01-21 | Paper |
| Reachability Analysis for Solvable Dynamical Systems | 2018-09-18 | Paper |
| A special homotopy continuation method for a class of polynomial systems | 2018-02-23 | Paper |
| Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems | 2017-09-06 | Paper |
| Barrier certificates revisited | 2017-02-06 | Paper |
| Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF | 2016-09-05 | Paper |
| Automated Inequality Proving and Discovering | 2016-07-12 | Paper |
| Real Root Isolation of Polynomial Equations Based on Hybrid Computation | 2016-04-12 | Paper |
| Generic regular decompositions for parametric polynomial systems | 2016-01-14 | Paper |
| Decidability of the Reachability for a Family of Linear Vector Fields | 2016-01-08 | Paper |
| Constructing fewer open cells by GCD computation in CAD projection | 2015-11-11 | Paper |
| Smaller SDP for SOS decomposition | 2015-10-20 | Paper |
| Triangular decomposition of semi-algebraic systems | 2015-09-17 | Paper |
| Proving inequalities and solving global optimization problems via simplified CAD projection | 2015-08-19 | Paper |
| Stability analysis of biological systems with real solution classification | 2015-07-16 | Paper |
| Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
| Special algorithm for stability analysis of multistable biological regulatory systems | 2015-05-04 | Paper |
| Computing the real solutions of polynomial systems with the RegularChains library in Maple | 2015-02-20 | Paper |
| Hierarchical Comprehensive Triangular Decomposition | 2014-09-08 | Paper |
| Discovering polynomial Lyapunov functions for continuous dynamical systems | 2014-03-03 | Paper |
| Generating Non-linear Interpolants by Semidefinite Programming | 2013-11-26 | Paper |
| Recent advances in program verification through computer algebra | 2013-07-04 | Paper |
| On solving parametric polynomial systems | 2013-04-25 | Paper |
| Computing with semi-algebraic sets: relaxation techniques and effective boundaries | 2013-03-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2013-01-10 | Paper |
| Non-termination Sets of Simple Linear Loops | 2012-09-21 | Paper |
| Computing cylindrical algebraic decomposition via triangular decomposition | 2012-05-13 | Paper |
| Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems | 2012-01-27 | Paper |
| Stability of Triangular Decomposition and Comprehensive Triangular Decomposition | 2011-10-28 | Paper |
| Real solution isolation with multiplicity of zero-dimensional triangular systems | 2011-06-17 | Paper |
| Symbolic decision procedure for termination of linear programs | 2011-05-27 | Paper |
| Condition number based complexity estimate for solving polynomial systems | 2011-03-09 | Paper |
| Termination of linear programs with nonlinear constraints | 2010-11-10 | Paper |
| A semi-algebraic approach for asymptotic stability analysis | 2009-11-13 | Paper |
| Quantifier Elimination for Quartics | 2009-01-15 | Paper |
| Generating Polynomial Invariants with DISCOVERER and QEPCAD | 2008-09-25 | Paper |
| Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems | 2008-09-17 | Paper |
| On a cubic system with eight limit cycles | 2008-02-04 | Paper |
| Solution to the generalized champagne problem on simultaneous stabilization of linear systems | 2007-12-06 | Paper |
| A complete algorithm for automated discovering of a class of inequality-type theorems | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718720 | 2006-01-16 | Paper |
| A new result on the \(p\)-irreducibility of binding polynomials | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4810728 | 2004-08-16 | Paper |
| A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550812 | 2003-04-27 | Paper |
| An algorithm for isolating the real solutions of semi-algebraic systems | 2003-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790442 | 2003-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946077 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244779 | 1999-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215323 | 1999-01-06 | Paper |
