| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2005 | J | jnl |
IEEE Des. Test Comput.
|
| 1998 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1997 | A | conf |
ICCAD
|
| 1997 | Misc | conf |
VLSI Design
|
| 1996 | — | conf |
IFIP World Conference on IT Tools
|
| 1995 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1995 | A | conf |
ICCAD
|
| 1995 | J | jnl |
IEEE Multim.
|
| 1993 | — | conf |
Asynchronous Design Methodologies
|
| 1993 | C | conf |
ICCD
|
| 1993 | — | conf |
CHARME
|
| 1992 | A* | conf |
DAC
|
| 1992 | Misc | conf |
VLSI Design
|
| 1992 | C | conf |
ICCD
|
| 1992 | — | conf |
EURO-DAC
|
| 1989 | A* | conf |
DAC
|
| 1989 | C | conf |
ICCD
|
| 1989 | J | jnl |
J. Autom. Reason.
|
| 1989 | — | conf |
KBCS
|
| 1989 | — | conf |
Hardware Specification, Verification and Synthesis
|
| 1988 | J | jnl |
J. Parallel Distributed Comput.
|
| 1987 | J | jnl |
Artif. Intell. Eng.
|
| 1987 | A* | conf |
DAC
|
| 1987 | J | jnl |
IEEE Trans. Software Eng.
|
| 1986 | J | jnl |
J. Autom. Reason.
|
| 1986 | J | jnl |
IEEE Computer Graphics and Applications
|
| 1986 | A* | conf |
ICALP
|
| 1986 | A* | conf |
POPL
|
| 1986 | — | ch. |
Logic Programming: Functions, Relations, and Equations
|
| 1986 | J | jnl |
Computer
|
| 1985 | J | jnl |
Integr.
|
| 1985 | J | jnl |
IEEE Trans. Software Eng.
|
| 1984 | — | conf |
SLP
|
| 1984 | J | jnl |
Inf. Process. Lett.
|
| 1984 | A* | conf |
POPL
|
| 1981 | A* | conf |
ICALP
|
| 1980 | A* | conf |
AAAI
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1978 | J | jnl |
SIGACT News
|