| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
IEEE Trans. Syst. Man Cybern. Syst.
|
| 2025 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2023 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2023 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2022 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | J | jnl |
Future Gener. Comput. Syst.
|
| 2020 | J | jnl |
Future Gener. Comput. Syst.
|
| 2020 | J | jnl |
Int. J. Wirel. Inf. Networks
|
| 2020 | J | jnl |
Symmetry
|
| 2020 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2019 | J | jnl |
Future Gener. Comput. Syst.
|
| 2019 | J | jnl |
Pers. Ubiquitous Comput.
|
| 2019 | J | jnl |
IEEE Trans. Engineering Management
|
| 2019 | J | jnl |
Genom. Proteom. Bioinform.
|
| 2019 | J | jnl |
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.
IEEE Trans. Ind. Informatics
|
| 2019 | J | jnl |
J. Intell. Manuf.
|
| 2018 | J | jnl |
Decis. Support Syst.
|
| 2018 | J | jnl |
Expert Syst. Appl.
|
| 2017 | J | jnl |
Int. J. High Perform. Comput. Netw.
|
| 2017 | J | jnl |
IEEE Trans. Engineering Management
|
| 2017 | J | jnl |
Future Gener. Comput. Syst.
|
| 2016 | C | conf |
ISPDC
|
| 2016 | — | conf |
iThings/GreenCom/CPSCom/SmartData
|
| 2016 | J | jnl |
Int. J. High Perform. Comput. Netw.
|
| 2015 | A | conf |
ICWS
|
| 2015 | — | conf |
ICEBE
|
| 2014 | — | conf |
ICEBE
|
| 2014 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2013 | C | conf |
DASC
|
| 2013 | — | conf |
WISE (2)
|
| 2013 | — | conf |
SITIS
|
| 2012 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2012 | C | conf |
APWeb
|
| 2012 | — | conf |
ICEBE
|
| 2011 | J | jnl |
IEEE Trans. Syst. Man Cybern. Part A
|
| 2007 | — | conf |
FSKD (1)
|
| 2005 | Misc | conf |
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets.
GrC
|