| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2010 | J | jnl |
J. Bioinform. Comput. Biol.
|
| 2009 | — | ed. |
Numerical Validation in Current Hardware Architectures
|
| 2008 | — | conf |
Numerical Validation in Current Hardware Architectures
|
| 2008 | — | conf |
Numerical Validation in Current Hardware Architectures
|
| 2008 | — | ed. |
Numerical Validation in Current Hardware Architectures
|
| 2008 | — | conf |
Numerical Validation in Current Hardware Architectures
|
| 2005 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 2005 | — | conf |
BSB
|
| 2005 | — | conf |
CSB Workshops
|
| 2003 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 2002 | — | conf |
CSB
|
| 1999 | C | conf |
IEEE Symposium on Computer Arithmetic
|
| 1997 | J | jnl |
ACM Trans. Math. Softw.
|
| 1991 | A | conf |
SC
|
| 1990 | J | jnl |
IBM J. Res. Dev.
|
| 1982 | — | conf |
SIGPLAN Symposium on Compiler Construction
|
| 1982 | — | conf |
Best of PLDI
|
| 1981 | J | jnl |
Inf. Process. Lett.
|
| 1981 | J | jnl |
Comput. Lang.
|
| 1980 | J | jnl |
IBM J. Res. Dev.
|
| 1980 | — | conf |
IFIP Congress
|
| 1976 | J | jnl |
IBM Syst. J.
|
| 1975 | — | — |