| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | J | jnl |
IEEE Trans. Smart Grid
|
| 2018 | J | jnl |
Inroads
|
| 2017 | J | jnl |
Prod. Eng.
|
| 2014 | — | ch. |
Smart Grids
|
| 2013 | A* | conf |
CCS
|
| 2013 | — | conf |
SmartGridComm
|
| 2013 | — | conf |
ICITST
|
| 2011 | — | conf |
Critical Infrastructure Protection
|
| 2011 | C | conf |
CIT
|
| 2011 | — | conf |
HICSS
|
| 2010 | — | conf |
ISGT Europe
|
| 2009 | — | conf |
DEBS
|
| 2007 | C | conf |
CRITIS
|
| 2007 | Misc | conf |
SEC
|
| 2007 | — | conf |
HICSS
|
| 2007 | B | conf |
RTCSA
|
| 2007 | C | conf |
CRITIS
|
| 2006 | — | conf |
HICSS
|
| 2005 | C | conf |
SCOPES
|
| 1995 | A* | conf |
SOSP
|
| 1993 | A* | conf |
SOSP
|
| 1989 | A* | conf |
PLDI
|
| 1989 | A* | conf |
SOSP
|
| 1988 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1987 | A* | conf |
PODC
|
| 1983 | — | conf |
Databases for Business and Office Applications
|
| 1982 | A* | conf |
VLDB
|
| 1980 | — | — |
Specification and Verification of Communication in Parallel Systems.
|