| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
BMC Medical Informatics Decis. Mak.
|
| 2020 | J | jnl |
Ann. Oper. Res.
|
| 2014 | — | ch. |
Computing Handbook, 3rd ed. (1)
|
| 2004 | — | conf |
ASIAN
|
| 2004 | — | ch. |
The Sharpest Cut
|
| 2004 | — | conf |
FSTTCS
|
| 2003 | J | jnl |
IEEE Trans. Computers
|
| 2003 | — | conf |
Verification: Theory and Practice
|
| 2003 | J | jnl |
Discret. Appl. Math.
|
| 2002 | J | jnl |
J. Autom. Reason.
|
| 2000 | C | conf |
Computer Graphics International
|
| 2000 | — | conf |
CA
|
| 1999 | — | ch. |
Algorithms and Theory of Computation Handbook
|
| 1999 | — | ch. |
Algorithms and Theory of Computation Handbook
|
| 1998 | J | jnl |
Constraints An Int. J.
|
| 1997 | — | ch. |
The Computer Science and Engineering Handbook
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1996 | — | conf |
ASIAN
|
| 1996 | — | ed. |
FSTTCS
|
| 1995 | A* | conf |
SODA
|
| 1995 | J | jnl |
INFORMS J. Comput.
|
| 1995 | J | jnl |
J. Algorithms
|
| 1995 | J | jnl |
IEEE Computer Graphics and Applications
|
| 1993 | J | jnl |
Comput. J.
|
| 1991 | J | jnl |
J. ACM
|
| 1990 | J | jnl |
Ann. Math. Artif. Intell.
|