| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | — | ch. |
Encyclopedia of Optimization
|
| 2007 | J | jnl |
SIAM J. Numer. Anal.
|
| 2006 | J | jnl |
Reliab. Comput.
|
| 2005 | — | conf |
Algebraic and Numerical Algorithms and Computer-assisted Proofs
|
| 2005 | — | conf |
Algebraic and Numerical Algorithms and Computer-assisted Proofs
|
| 2004 | J | jnl |
J. Glob. Optim.
|
| 2004 | J | jnl |
SIAM J. Optim.
|
| 2003 | J | jnl |
Computing
|
| 2002 | — | conf |
COCOS
|
| 2001 | — | ch. |
Symbolic Algebraic Methods and Verification Methods
|
| 1999 | J | jnl |
SIAM J. Matrix Anal. Appl.
|
| 1998 | J | jnl |
Reliab. Comput.
|
| 1995 | J | jnl |
J. Glob. Optim.
|
| 1991 | J | jnl |
Computing
|
| 1991 | J | jnl |
Computing
|
| 1991 | J | jnl |
ZOR Methods Model. Oper. Res.
|
| 1987 | J | jnl |
Z. Oper. Research
|
| 1985 | — | — |