| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
J. Netw. Syst. Manag.
|
| 2026 | J | jnl |
Knowl. Based Syst.
|
| 2025 | J | jnl |
Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation.
Innov. Syst. Softw. Eng.
|
| 2025 | J | jnl |
Clust. Comput.
|
| 2025 | A* | conf |
WWW
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
J. Comput. Lang.
|
| 2025 | J | jnl |
Innov. Syst. Softw. Eng.
|
| 2025 | — | conf |
ISEC
|
| 2025 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2025 | — | conf |
KDD (1)
|
| 2025 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2025 | — | conf |
CISIM
|
| 2024 | J | jnl |
Innov. Syst. Softw. Eng.
|
| 2024 | J | jnl |
Softw. Pract. Exp.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Access
|
| 2024 | B | conf |
ENASE
|
| 2024 | Misc | conf |
ICISS
|
| 2024 | — | conf |
State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation.
Blockchain
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2023 | — | conf |
AIR
|
| 2023 | C | conf |
ICBC
|
| 2023 | J | jnl |
Frontiers Blockchain
|
| 2023 | C | conf |
ICBC
|
| 2023 | J | jnl |
J. Comput. Inf. Sci. Eng.
|
| 2022 | J | jnl |
Peer-to-Peer Netw. Appl.
|
| 2022 | J | jnl |
Expert Syst. Appl.
|
| 2022 | C | conf |
ICBC
|
| 2022 | J | jnl |
IEEE Access
|
| 2022 | — | conf |
ICBTA
|
| 2022 | J | jnl |
IEEE Access
|
| 2022 | — | conf |
Blockchain
|
| 2021 | — | conf |
AIR
|
| 2021 | J | jnl |
J. Syst. Softw.
|
| 2021 | J | jnl |
Int. J. Web Inf. Syst.
|
| 2021 | — | conf |
BRAINS
|
| 2021 | — | conf |
ACIIDS (Companion)
|
| 2021 | — | conf |
Blockchain
|
| 2021 | C | conf |
TENCON
|
| 2021 | J | jnl |
SN Comput. Sci.
|
| 2021 | C | conf |
DATA
|
| 2021 | J | jnl |
J. Inf. Telecommun.
|
| 2021 | B | conf |
TrustCom
|
| 2020 | — | conf |
ACIIDS (Companion)
|
| 2020 | — | conf |
FDSE
|
| 2020 | Misc | conf |
COMSNETS
|
| 2020 | J | jnl |
IEEE Trans. Software Eng.
|
| 2020 | C | conf |
SIN
|
| 2018 | C | conf |
ICSOFT
|
| 2018 | J | jnl |
Trans. Comput. Sci.
|
| 2018 | B | conf |
ENASE
|
| 2017 | — | conf |
TrustCom/BigDataSE/ICESS
|
| 2017 | — | conf |
FormaliSE@ICSE
|
| 2017 | J | jnl |
Trans. Large Scale Data Knowl. Centered Syst.
|
| 2017 | Misc | conf |
ICISS
|
| 2016 | — | conf |
FDSE
|
| 2016 | J | jnl |
Trans. Large Scale Data Knowl. Centered Syst.
|
| 2016 | Misc | conf |
ICISS
|
| 2016 | J | jnl |
Int. J. Trust. Manag. Comput. Commun.
|
| 2015 | — | conf |
ICACCI
|
| 2015 | — | conf |
SSCC
|
| 2015 | — | conf |
ACSS (1)
|
| 2015 | — | conf |
ACSS (1)
|
| 2015 | — | conf |
CISIM
|
| 2015 | — | conf |
IScIDE (2)
|
| 2014 | Misc | conf |
SAC
|
| 2014 | — | conf |
FDSE
|
| 2013 | Misc | conf |
ICDCIT
|
| 2013 | Misc | conf |
SAC
|
| 2013 | J | jnl |
Sci. Comput. Program.
|
| 2012 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2012 | — | — |
|
| 2012 | C | conf |
ICSOFT
|
| 2011 | B | conf |
SOFSEM
|
| 2011 | — | conf |
CISIM
|
| 2010 | Misc | conf |
ICISS
|
| 2010 | — | conf |
LDTA
|
| 2010 | — | conf |
ICSOFT (Selected Papers)
|
| 2010 | C | conf |
ISCC
|
| 2010 | — | conf |
ICSOFT (1)
|
| 2010 | J | jnl |
J. Univers. Comput. Sci.
|
| 2009 | — | conf |
SBCCI
|