| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | conf |
HCI (4)
|
| 2020 | — | conf |
IEEE BigData
|
| 2020 | — | conf |
ISDFS
|
| 2020 | — | conf |
HICSS
|
| 2020 | J | jnl |
Digit. Investig.
|
| 2019 | — | conf |
IFIP Int. Conf. Digital Forensics
|
| 2017 | — | conf |
IFIP Int. Conf. Digital Forensics
|
| 2016 | — | conf |
IFIP Int. Conf. Digital Forensics
|
| 2015 | — | conf |
IFIP Int. Conf. Digital Forensics
|
| 2015 | J | jnl |
IEEE Trans. Inf. Forensics Secur.
|
| 2015 | — | conf |
MWSCAS
|
| 2014 | J | jnl |
J. Digit. Forensics Secur. Law
|
| 2014 | — | conf |
MWSCAS
|
| 2012 | A | conf |
ACSAC
|
| 2010 | A* | conf |
CCS
|
| 2009 | Misc | conf |
SAC
|
| 2009 | A* | conf |
SP
|
| 2008 | — | conf |
HICSS
|
| 2008 | J | jnl |
J. Digit. Forensic Pract.
|
| 2007 | A | conf |
ACSAC
|
| 2007 | — | conf |
SADFE
|
| 2006 | — | conf |
IFIP Int. Conf. Digital Forensics
|
| 2006 | — | conf |
NETGAMES
|
| 2005 | — | conf |
CICC
|
| 2005 | J | jnl |
IEEE J. Solid State Circuits
|
| 2005 | — | conf |
SADFE
|
| 2005 | — | conf |
SADFE
|
| 2005 | — | conf |
NETGAMES
|
| 2004 | — | conf |
NETGAMES
|
| 2004 | C | conf |
QSHINE
|
| 2003 | J | jnl |
IEEE J. Solid State Circuits
|
| 2003 | J | jnl |
IEEE J. Solid State Circuits
|
| 2000 | J | jnl |
Comput. Networks
|
| 2000 | — | conf |
HICSS
|
| 1999 | — | conf |
Euro-Par
|
| 1998 | — | conf |
DEXA Workshop
|
| 1997 | — | conf |
RTS
|
| 1997 | B | conf |
SRDS
|
| 1996 | Misc | conf |
VLSI Design
|
| 1995 | — | conf |
HICSS (2)
|
| 1994 | B | conf |
ICNP
|
| 1994 | C | conf |
DEXA
|
| 1994 | A* | conf |
ICRA
|
| 1993 | — | conf |
RTS
|
| 1990 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1989 | J | jnl |
Comput. Networks
|
| 1989 | — | conf |
Automatic Verification Methods for Finite State Systems
|
| 1988 | J | jnl |
IEEE Trans. Software Eng.
|
| 1987 | — | conf |
PSTV
|
| 1987 | J | jnl |
IEEE Trans. Software Eng.
|
| 1986 | — | conf |
ICC
|
| 1985 | J | jnl |
AT&T Tech. J.
|
| 1983 | — | conf |
Protocol Specification, Testing, and Verification
|
| 1977 | J | jnl |
Math. Syst. Theory
|
| 1975 | — | — |