| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
|
| 2022 | J | jnl |
Complex.
|
| 2021 | J | jnl |
Int. J. Embed. Syst.
|
| 2021 | J | jnl |
Int. J. Bifurc. Chaos
|
| 2012 | J | jnl |
J. Comput.
|
| 2002 | — | conf |
Theory and Practice of Timed Systems @ ETAPS
|
| 1999 | J | jnl |
J. Comput. Sci. Technol.
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | — | conf |
HSCC
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | C | conf |
ISORC
|
| 1998 | J | jnl |
ACM SIGPLAN Notices
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|