| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
npj Digit. Medicine
|
| 2023 | — | conf |
TAS
|
| 2014 | — | conf |
SASO Workshops
|
| 2014 | — | conf |
ICIMTH
|
| 2013 | — | ch. |
Computer-Supported Collaborative Learning at the Workplace
|
| 2012 | — | book |
|
| 2012 | A* | conf |
CHI
|
| 2010 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2010 | — | conf |
Digital Mammography / IWDM
|
| 2009 | J | jnl |
J. Assoc. Inf. Syst.
|
| 2008 | — | ch. |
Theory in CSCW
|
| 2007 | — | conf |
HealthGrid
|
| 2007 | Misc | conf |
SAC
|
| 2007 | B | conf |
ITiCSE
|
| 2007 | A | conf |
DSN
|
| 2006 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2005 | — | conf |
COMPSAC (1)
|
| 2005 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2003 | — | conf |
ICDCS Workshops
|
| 2003 | — | conf |
DEXA Workshops
|
| 2003 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2002 | — | conf |
CATS
|
| 2001 | — | conf |
HCC
|
| 2001 | J | jnl |
Comput. J.
|
| 2001 | B | conf |
PROFES
|
| 2000 | B | conf |
SAFECOMP
|
| 1999 | J | jnl |
Microprocess. Microsystems
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1998 | J | jnl |
Comput. J.
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1997 | — | conf |
FME
|
| 1994 | J | jnl |
Formal Aspects Comput.
|
| 1990 | J | jnl |
Interact. Comput.
|