| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2010 | — | conf |
ASYNC
|
| 2008 | — | conf |
SoCC
|
| 2007 | J | jnl |
Found. Trends Electron. Des. Autom.
|
| 2006 | — | conf |
ISPD
|
| 2005 | — | conf |
ASYNC
|
| 2005 | — | conf |
CPA
|
| 2004 | — | conf |
ASYNC
|
| 2004 | — | conf |
25 Years Communicating Sequential Processes
|
| 2003 | J | jnl |
Microprocess. Microsystems
|
| 2003 | — | conf |
PATMOS
|
| 2003 | J | jnl |
Microprocess. Microsystems
|
| 2003 | J | jnl |
J. Electron. Test.
|
| 2002 | — | conf |
ASYNC
|
| 2002 | A | conf |
ITC
|
| 2002 | — | conf |
ASYNC
|
| 2002 | — | conf |
PATMOS
|
| 2002 | A | conf |
DATE
|
| 2001 | — | conf |
ASYNC
|
| 2001 | — | conf |
ASYNC
|
| 2001 | — | conf |
ASP-DAC
|
| 2000 | — | conf |
ASYNC
|
| 1998 | — | conf |
ASYNC
|
| 1998 | — | conf |
ASYNC
|
| 1995 | — | conf |
ASYNC
|
| 1995 | — | conf |
ASYNC
|
| 1995 | — | conf |
ASYNC
|
| 1994 | J | jnl |
IEEE J. Solid State Circuits
|
| 1994 | J | jnl |
IEEE Des. Test Comput.
|
| 1993 | — | conf |
Asynchronous Design Methodologies
|
| 1993 | J | jnl |
Formal Methods Syst. Des.
|
| 1992 | — | conf |
Designing Correct Circuits
|