| 2008 |
|---|
| 11 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities.
SAC 2008: 134-139 |
| 10 | EE | Frédéric Goualard,
Alexandre Goldsztejn:
A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations
CoRR abs/0806.2548: (2008) |
| 9 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
CoRR abs/0807.2269: (2008) |
| 8 | EE | Alexandre Goldsztejn,
Yahia Lebbah,
Claude Michel,
Michel Rueher:
Revisiting the upper bounding process in a safe Branch and Bound algorithm
CoRR abs/0807.2382: (2008) |
| 2007 |
|---|
| 7 | EE | Alexandre Goldsztejn:
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests.
Computing 79(1): 53-60 (2007) |
| 6 | EE | Gilles Chabert,
Alexandre Goldsztejn:
Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems.
Reliable Computing 13(4): 325-349 (2007) |
| 2006 |
|---|
| 5 | EE | Alexandre Goldsztejn,
Luc Jaulin:
Inner and Outer Approximations of Existentially Quantified Equality Constraints.
CP 2006: 198-212 |
| 4 | EE | Alexandre Goldsztejn,
Gilles Chabert:
A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems.
Numerical Methods and Applications 2006: 312-319 |
| 3 | EE | Alexandre Goldsztejn:
A branch and prune algorithm for the approximation of non-linear AE-solution sets.
SAC 2006: 1650-1654 |
| 2 | EE | Carlos Grandón,
Alexandre Goldsztejn:
Inner approximation of distance constraints with existential quantification of parameters.
SAC 2006: 1660-1661 |
| 2005 |
|---|
| 1 | EE | Alexandre Goldsztejn:
A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets.
Reliable Computing 11(6): 443-478 (2005) |
