| Publication | Date of Publication | Type |
|---|
| A parameter space method for analyzing Hopf bifurcation of fractional-order nonlinear systems with multiple-parameter | 2022-09-24 | Paper |
| An explicit Hopf bifurcation criterion of fractional-order systems with order 1 < {\alpha} < 2 | 2022-02-19 | Paper |
| Routh-Hurwitz criterion of stability and robust stability for fractional-order systems with order {\alpha}{\in}[1,2) | 2022-02-19 | Paper |
| A criterion for asymptotic stability of general fractional-order linear time-invariant systems with incommensurate orders | 2022-02-19 | Paper |
| A new approach based on the discriminant system of polynomial for robust stability and stabilization of two-dimensional systems | 2021-03-16 | Paper |
| Robust design of iterative learning control for a batch process described by 2D Roesser system with packet dropouts and time‐varying delays | 2020-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5219571 | 2020-03-12 | Paper |
| A CAD-based algorithm for solving stable parameter region of fractional-order systems with structured perturbations | 2019-10-10 | Paper |
| Robust bounds for fractional-order systems with uncertain order and structured perturbations via cylindrical algebraic decomposition method | 2019-05-24 | Paper |
| Robust simultaneous stabilization control method for two port-controlled Hamiltonian systems: controller parameterization | 2019-02-14 | Paper |
| A symbolic computation approach to parameterizing controller for polynomial Hamiltonian systems | 2019-02-08 | Paper |
| Exponential feedback passivity of switched polynomial nonlinear systems | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4562528 | 2018-12-21 | Paper |
| Robust H∞ control for uncertain switched nonlinear polynomial systems: Parameterization of controller approach | 2018-11-16 | Paper |
| Parametric controller design of Hopf bifurcation system | 2018-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277536 | 2017-07-14 | Paper |
| A Family of Robust Simultaneous Controllers With Tuning Parameters Design for a Set of Port-Controlled Hamiltonian Systems | 2017-03-31 | Paper |
| A family of \(H_{\infty}\) controllers for dissipative Hamiltonian systems | 2013-11-05 | Paper |
| Some geometric properties of successive difference substitutions | 2012-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3110281 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3170646 | 2011-09-29 | Paper |
| Bounds on the number of steps of WDS required for checking the positivity of integral forms | 2011-07-22 | Paper |
| Spherical distribution of 5 points with maximal distance sum | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571258 | 2010-07-08 | Paper |
| Positive definiteness of Hermitian interval matrices | 2010-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5296931 | 2007-07-17 | Paper |
| A complete algorithm for automated discovering of a class of inequality-type theorems | 2007-02-20 | Paper |
| Computer Algebra and Geometric Algebra with Applications | 2005-11-29 | Paper |
| Convergence of a series whose terms are iterates of quadratic maps | 2005-04-22 | Paper |
| A complete algorithm for counting real solutions of polynomial systems of equations and inequalities. | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806679 | 2003-05-14 | Paper |
| Bifurcations of a polynomial differential system of degree \(n\) in biochemical reactions | 2002-08-15 | Paper |
| Local geometric structures and bifurcations of a polynomial differential system from a general multi-molecular reaction | 2002-03-21 | Paper |
| ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. | 2001-11-18 | Paper |
| Subresultants with the Bézout matrix | 2001-07-12 | Paper |
| Weak centers and bifurcation of critical periods in reversible cubic systems | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486136 | 2000-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946077 | 2000-03-22 | Paper |
| A complete discrimination system for polynomials | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867574 | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4848888 | 1995-09-25 | Paper |
| A criterion for dependency of algebraic equations with applications to automated theorem proving | 1995-07-03 | Paper |
| A note on Wu's non-degenerate condition | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4021270 | 1993-01-16 | Paper |
| What can we do with only a pair of rusty compasses? | 1991-01-01 | Paper |
