Robust Schur Stability of Polynomials with Polynomial ParameterDependency
Multidimensional Systems and Signal Processing
Quantified constraints under perturbation
Journal of Symbolic Computation
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Interval arithmetic and interval analysis: an introduction
Granular computing
Global optimization technique for fixed-order control design
International Journal of Systems Science
Hard Problems in Linear Control Theory: Possible Approaches to Solution
Automation and Remote Control
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Engineering Applications of Artificial Intelligence
An efficient algorithm for a sharp approximation of universally quantified inequalities
Proceedings of the 2008 ACM symposium on Applied computing
A Possible Approach to Cope with Uncertainties in Space Applications
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Nonlinear predictive control using constraints satisfaction
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
The Bernstein polynomial basis: A centennial retrospective
Computer Aided Geometric Design
Technical Communique: Robust stability and performance with fixed-order controllers
Automatica (Journal of IFAC)
Technical Communique: A global optimization technique for checking parametric robustness
Automatica (Journal of IFAC)
Technical Communique: Robust D-stability via positivity
Automatica (Journal of IFAC)
| Hi-index | 22.15 |