| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
HICSS
|
| 2025 | — | conf |
HICSS
|
| 2025 | — | conf |
HICSS
|
| 2021 | — | conf |
HICSS
|
| 2019 | — | conf |
HICSS
|
| 2018 | — | conf |
HICSS
|
| 2015 | C | conf |
HealthCom
|
| 2014 | J | jnl |
Comput. Networks
|
| 2012 | J | jnl |
IEEE Secur. Priv.
|
| 2011 | — | book |
|
| 2010 | — | conf |
MMM-ACNS
|
| 2010 | — | conf |
MMM-ACNS
|
| 2005 | — | conf |
MMM-ACNS
|
| 2003 | — | conf |
MMM-ACNS
|
| 2003 | — | conf |
World Conference on Information Security Education
|
| 2002 | J | jnl |
Comput. J.
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1999 | — | conf |
HICSS
|
| 1999 | — | conf |
Great Lakes Symposium on VLSI
|
| 1999 | J | jnl |
Commun. ACM
|
| 1998 | B | conf |
FMCAD
|
| 1998 | J | jnl |
Computer
|
| 1997 | — | conf |
MSE
|
| 1996 | B | conf |
ICECCS
|
| 1996 | A | conf |
ISSTA
|
| 1996 | B | conf |
ICECCS
|
| 1996 | — | conf |
Network Threats
|
| 1995 | C | conf |
ICCD
|
| 1995 | — | conf |
TPHOLs
|
| 1995 | B | conf |
ICECCS
|
| 1995 | B | conf |
ICECCS
|
| 1994 | — | conf |
TPHOLs
|
| 1994 | — | conf |
HICSS (1)
|
| 1993 | — | conf |
HUG
|
| 1993 | — | conf |
HUG
|
| 1992 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1991 | — | conf |
TPHOLs
|
| 1991 | — | conf |
TPHOLs
|
| 1990 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1989 | — | conf |
Hardware Specification, Verification and Synthesis
|
| 1989 | — | conf |
NACLP
|
| 1988 | — | conf |
ICCL
|
| 1988 | C | conf |
ICCD
|