| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
npj Digit. Medicine
|
| 2021 | J | jnl |
IEEE Access
|
| 2020 | J | jnl |
IEEE Access
|
| 2018 | J | jnl |
Sensors
|
| 2007 | — | conf |
ECMDA-FA
|
| 2006 | C | conf |
ISoLA
|
| 2006 | — | conf |
EUC Workshops
|
| 2006 | J | jnl |
J. Comput. Sci. Technol.
|
| 2006 | Misc | conf |
Ada-Europe
|
| 2006 | C | conf |
ICFEM
|
| 2006 | C | conf |
FORTE
|
| 2006 | — | conf |
SET
|
| 2005 | J | jnl |
Inf. Process. Lett.
|
| 2005 | C | conf |
EUC
|
| 2005 | A | conf |
IPDPS
|
| 2005 | — | conf |
SDL Forum
|
| 2005 | — | conf |
FACS
|
| 2005 | — | conf |
ICPP Workshops
|
| 2004 | J | jnl |
Formal Aspects Comput.
|
| 2004 | C | conf |
APSEC
|
| 2004 | C | conf |
ISORC
|
| 2003 | — | conf |
FORMATS
|
| 2002 | J | jnl |
J. Comput. Sci. Technol.
|
| 2002 | — | conf |
FTRTFT
|
| 2002 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2001 | J | jnl |
J. Comput. Sci. Technol.
|
| 2001 | — | conf |
CHARME
|
| 2001 | — | conf |
UML
|
| 1999 | — | conf |
TOOLS (31)
|
| 1999 | — | conf |
TOOLS (31)
|
| 1999 | J | jnl |
J. Comput. Sci. Technol.
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | — | conf |
TOOLS (27)
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | — | conf |
HSCC
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | C | conf |
ISORC
|
| 1998 | J | jnl |
ACM SIGPLAN Notices
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1997 | — | conf |
OOIS
|
| 1997 | J | jnl |
ACM SIGPLAN Notices
|
| 1997 | J | jnl |
ACM SIGPLAN Notices
|
| 1996 | C | conf |
APSEC
|
| 1996 | J | jnl |
ACM SIGPLAN Notices
|
| 1996 | J | jnl |
J. Comput. Sci. Technol.
|
| 1995 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1995 | J | jnl |
ACM SIGPLAN Notices
|
| 1995 | J | jnl |
ACM SIGPLAN Notices
|
| 1995 | J | jnl |
J. Comput. Sci. Technol.
|
| 1988 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|