| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | — | ch. |
Edsger Wybe Dijkstra
|
| 2015 | — | conf |
ASYNC
|
| 2014 | J | jnl |
IEEE Trans. Very Large Scale Integr. Syst.
|
| 2009 | — | conf |
ASYNC
|
| 2009 | — | conf |
ICECS
|
| 2008 | — | conf |
ASYNC
|
| 2007 | — | conf |
ICECS
|
| 2006 | J | jnl |
Proc. IEEE
|
| 2006 | C | conf |
VLSI-SoC
|
| 2006 | — | conf |
ASYNC
|
| 2005 | — | conf |
ASYNC
|
| 2004 | — | conf |
ASYNC
|
| 2003 | — | conf |
FPT
|
| 2003 | A* | conf |
DAC
|
| 2003 | — | conf |
ASYNC
|
| 2003 | J | jnl |
IEEE Des. Test Comput.
|
| 2002 | A | conf |
DATE
|
| 2002 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2002 | — | conf |
Timing Issues in the Specification and Synthesis of Digital Systems
|
| 2001 | — | conf |
ICECS
|
| 2001 | — | conf |
ARVLSI
|
| 2001 | J | jnl |
Inf. Process. Lett.
|
| 1999 | — | conf |
ASYNC
|
| 1998 | B | conf |
MPC
|
| 1997 | — | conf |
ARVLSI
|
| 1996 | — | conf |
NATO ASI DPD
|
| 1996 | J | jnl |
Sci. Comput. Program.
|
| 1996 | — | conf |
ASYNC
|
| 1995 | B | conf |
MPC
|
| 1994 | J | jnl |
IEEE Des. Test Comput.
|
| 1994 | — | conf |
ASYNC
|
| 1994 | — | conf |
ASYNC
|
| 1993 | J | jnl |
Integr.
|
| 1992 | J | jnl |
Formal Methods Syst. Des.
|
| 1992 | — | conf |
IFIP Congress (1)
|
| 1992 | — | conf |
PARLE
|
| 1990 | J | jnl |
IEEE Trans. Computers
|
| 1990 | J | jnl |
Sci. Comput. Program.
|
| 1989 | J | jnl |
Sci. Comput. Program.
|
| 1989 | — | conf |
Hardware Specification, Verification and Synthesis
|
| 1989 | J | jnl |
SIGARCH Comput. Archit. News
|
| 1989 | J | jnl |
SIGARCH Comput. Archit. News
|
| 1988 | — | conf |
C³P
|
| 1988 | — | conf |
C³P
|
| 1986 | J | jnl |
Inf. Process. Lett.
|
| 1986 | J | jnl |
Distributed Comput.
|
| 1986 | B | conf |
ICPP
|
| 1986 | — | conf |
SLP
|
| 1985 | J | jnl |
Sci. Comput. Program.
|
| 1985 | J | jnl |
Inf. Process. Lett.
|
| 1985 | J | jnl |
Inf. Process. Lett.
|
| 1984 | J | jnl |
Inf. Process. Lett.
|
| 1984 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1983 | J | jnl |
J. ACM
|
| 1983 | J | jnl |
Acta Informatica
|
| 1983 | J | jnl |
Elektron. Rechenanlagen
|
| 1981 | J | jnl |
Acta Informatica
|
| 1980 | — | conf |
IFIP Congress
|
| 1979 | J | jnl |
Inf. Process. Lett.
|
| 1978 | J | jnl |
Commun. ACM
|
| 1975 | — | conf |
Language Hierarchies and Interfaces
|