| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Artif. Intell. Rev.
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Knowl. Based Syst.
|
| 2023 | J | jnl |
Int. J. Mob. Learn. Organisation
|
| 2023 | — | ed. |
Theories of Programming and Formal Methods
|
| 2022 | Misc | conf |
SAC
|
| 2022 | J | jnl |
Mob. Networks Appl.
|
| 2021 | J | jnl |
Formal Aspects Comput.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | Misc | conf |
TASE
|
| 2020 | J | jnl |
IEEE Access
|
| 2019 | J | jnl |
J. Exp. Theor. Artif. Intell.
|
| 2019 | J | jnl |
IEEE Access
|
| 2019 | J | jnl |
Vis. Comput. Ind. Biomed. Art
|
| 2019 | C | conf |
SEKE
|
| 2018 | — | conf |
FedCSIS (Communication Papers)
|
| 2017 | B | conf |
ICECCS
|
| 2016 | J | jnl |
J. Supercomput.
|
| 2015 | B | conf |
ICECCS
|
| 2014 | — | conf |
UTP
|
| 2013 | Misc | conf |
TASE
|
| 2013 | — | conf |
Theories of Programming and Formal Methods
|
| 2012 | B | conf |
SEFM
|
| 2010 | J | jnl |
Inf. Process. Lett.
|
| 2008 | J | jnl |
Nord. J. Comput.
|
| 2004 | B | conf |
VMCAI
|
| 2004 | J | jnl |
Discret. Appl. Math.
|
| 2003 | J | jnl |
Formal Aspects Comput.
|
| 2000 | C | conf |
ICFEM
|
| 2000 | Misc | conf |
PDPTA
|
| 2000 | — | conf |
APAQS
|
| 1999 | B | conf |
RTCSA
|
| 1998 | J | jnl |
Acta Informatica
|
| 1998 | — | conf |
PROCOMET
|
| 1998 | — | conf |
FTRTFT
|
| 1997 | — | conf |
COMPOS
|
| 1997 | — | conf |
Hybrid Systems
|
| 1997 | — | conf |
HART
|
| 1997 | J | jnl |
Formal Aspects Comput.
|
| 1995 | — | conf |
Hybrid Systems
|
| 1994 | — | conf |
Refine
|
| 1994 | — | conf |
FTRTFT
|
| 1994 | B | conf |
CONCUR
|
| 1992 | — | conf |
Refine
|