| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2009 | J | jnl |
IEEE Trans. Very Large Scale Integr. Syst.
|
| 2009 | — | conf |
ASYNC
|
| 2008 | C | conf |
ISCAS
|
| 2008 | A | conf |
DATE
|
| 2007 | J | jnl |
IEEE Des. Test Comput.
|
| 2007 | J | jnl |
Found. Trends Electron. Des. Autom.
|
| 2007 | J | jnl |
J. Syst. Archit.
|
| 2006 | A | conf |
CHES
|
| 2006 | C | conf |
FDTC
|
| 2006 | C | conf |
FDTC
|
| 2006 | C | conf |
IOLTS
|
| 2005 | — | conf |
ACSD
|
| 2005 | — | conf |
ASYNC
|
| 2004 | C | conf |
CARDIS
|
| 2004 | J | jnl |
IEEE Trans. Inf. Theory
|
| 2004 | J | jnl |
Fundam. Informaticae
|
| 2004 | A | conf |
DSN
|
| 2002 | — | conf |
ASYNC
|
| 2002 | C | conf |
ICCD
|
| 2002 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2000 | — | conf |
ASYNC
|
| 1999 | — | conf |
ASYNC
|
| 1998 | J | jnl |
Formal Methods Syst. Des.
|
| 1998 | — | conf |
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.
ACSD
|
| 1998 | A | conf |
ICCAD
|
| 1998 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1998 | J | jnl |
J. Circuits Syst. Comput.
|
| 1997 | — | conf |
ICATPN
|
| 1997 | A | conf |
ICCAD
|
| 1996 | — | conf |
Application and Theory of Petri Nets
|
| 1994 | J | jnl |
Formal Methods Syst. Des.
|
| 1994 | C | conf |
PDP
|
| 1994 | J | jnl |
J. VLSI Signal Process.
|
| 1994 | — | conf |
ASYNC
|
| 1992 | — | conf |
Designing Correct Circuits
|
| 1991 | — | conf |
EURO-DAC
|