Mixed real-integer linear quantifier elimination
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Quantified constraints under perturbation
Journal of Symbolic Computation
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
Computer algebra handbook
Convergent approximate solving of first-order constraints by approximate quantifiers
ACM Transactions on Computational Logic (TOCL)
Sum of roots with positive real parts
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
The Maple package SyNRAC and its application to robust control design
Future Generation Computer Systems
An efficient algorithm for a sharp approximation of universally quantified inequalities
Proceedings of the 2008 ACM symposium on Applied computing
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
The Optimal H∞ Norm of a Parametric System Achievable Using a Static Feedback Controller
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
The Optimal H∞ Norm of a Parametric System Achievable by an Output Feedback Controller
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
SyNRAC: a Maple-package for solving real algebraic constraints
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Cylindrical decomposition for systems transcendental in the first variable
Journal of Symbolic Computation
Technical Communique: Robust stability and performance with fixed-order controllers
Automatica (Journal of IFAC)
On the computation of the defining polynomial of the algebraic Riccati equation
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Robust stability for parametric linear ODEs
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |