| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Evol. Syst.
|
| 2009 | A* | conf |
DAC
|
| 2005 | J | jnl |
High. Order Symb. Comput.
|
| 2005 | J | jnl |
Sci. Comput. Program.
|
| 2003 | A* | conf |
ICDE
|
| 2003 | B | conf |
SAS
|
| 2002 | B | conf |
SAS
|
| 2002 | A* | conf |
PLDI
|
| 2000 | — | — |
|
| 2000 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | B | conf |
SAS
|
| 1997 | — | conf |
Algorithmic Languages and Calculi
|