| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Theor. Comput. Sci.
|
| 2025 | J | jnl |
Log. Methods Comput. Sci.
|
| 2025 | J | jnl |
Inf. Fusion
|
| 2025 | J | jnl |
Comput. Medical Imaging Graph.
|
| 2024 | J | jnl |
J. Comput. Sci. Technol.
|
| 2024 | — | conf |
HSCC
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2024 | — | conf |
VMCAI (2)
|
| 2024 | J | jnl |
J. Comput. Sci. Technol.
|
| 2024 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ACM Multimedia
|
| 2023 | A* | conf |
IJCAI
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Inf. Process. Lett.
|
| 2022 | J | jnl |
Theor. Comput. Sci.
|
| 2022 | C | conf |
APSEC
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Theor. Comput. Sci.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Quantum Inf. Process.
|
| 2021 | J | jnl |
Acta Informatica
|
| 2021 | B | conf |
CONCUR
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
J. Autom. Reason.
|
| 2020 | J | jnl |
Proc. ACM Program. Lang.
|
| 2020 | C | conf |
ICTAC
|
| 2020 | — | conf |
ISPA/BDCloud/SocialCom/SustainCom
|
| 2020 | J | jnl |
Inf. Comput.
|
| 2020 | — | conf |
MSN
|
| 2019 | J | jnl |
CoRR
|
| 2018 | J | jnl |
J. Symb. Comput.
|
| 2016 | J | jnl |
Theor. Comput. Sci.
|
| 2016 | J | jnl |
Theor. Comput. Sci.
|
| 2016 | B | conf |
ISSAC
|
| 2015 | J | jnl |
J. Symb. Comput.
|
| 2014 | J | jnl |
J. Syst. Sci. Complex.
|
| 2013 | J | jnl |
Inf. Process. Lett.
|
| 2013 | J | jnl |
Int. J. Gen. Syst.
|
| 2013 | J | jnl |
J. Symb. Comput.
|
| 2010 | J | jnl |
J. Univers. Comput. Sci.
|
| 2010 | J | jnl |
Int. J. Syst. Sci.
|
| 2010 | B | conf |
WALCOM
|
| 2010 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 2009 | — | conf |
ACIS-ICIS
|