| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
J. Comput. Civ. Eng.
|
| 2026 | J | jnl |
IEEE Trans. Pattern Anal. Mach. Intell.
|
| 2025 | A* | conf |
AAAI
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
AAAI
|
| 2025 | J | jnl |
CoRR
|
| 2024 | A* | conf |
SP
|
| 2024 | A* | conf |
AAAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ECCV (6)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
AAAI
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
EMNLP
|
| 2023 | J | jnl |
Appl. Soft Comput.
|
| 2023 | J | jnl |
Adv. Eng. Informatics
|
| 2023 | J | jnl |
Adv. Eng. Informatics
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Trans. Assoc. Comput. Linguistics
|
| 2022 | — | conf |
ECCV Workshops (7)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | B | conf |
DSAA
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
NeurIPS
|
| 2022 | — | conf |
ACL (1)
|
| 2021 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2021 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | J | jnl |
IEEE ACM Trans. Audio Speech Lang. Process.
|
| 2021 | C | conf |
APSEC
|
| 2021 | B | conf |
TrustCom
|
| 2020 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2020 | J | jnl |
IEEE Access
|
| 2020 | — | conf |
ICSE (SEIP)
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2019 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2019 | — | conf |
COMPSAC (1)
|
| 2019 | J | jnl |
IEEE/ACM Trans. Netw.
|
| 2019 | A* | conf |
ASE
|
| 2019 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2019 | — | conf |
NEAT@SIGCOMM
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ISSRE Workshops
|
| 2019 | A | conf |
ISSTA
|
| 2019 | Misc | conf |
TASE
|
| 2019 | J | jnl |
CoRR
|
| 2019 | C | conf |
APSEC
|
| 2019 | C | conf |
SEKE
|
| 2019 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2019 | J | jnl |
IEEE Trans. Computers
|
| 2019 | A* | conf |
ASE
|
| 2019 | A | conf |
ISSTA
|
| 2019 | — | conf |
ICSE (Companion Volume)
|
| 2018 | J | jnl |
IEEE Access
|
| 2018 | J | jnl |
IEEE Trans. Evol. Comput.
|
| 2018 | A* | conf |
AAAI
|
| 2018 | — | conf |
ISPA/IUCC/BDCloud/SocialCom/SustainCom
|
| 2018 | A | conf |
ISSTA
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2018 | J | jnl |
Artif. Intell.
|
| 2018 | C | conf |
APSEC
|
| 2018 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2018 | — | conf |
SATE
|
| 2018 | A | conf |
RTAS
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | A* | conf |
ASE
|
| 2017 | A* | conf |
ASE
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | J | jnl |
Adv. Eng. Informatics
|
| 2017 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2017 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2017 | J | jnl |
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
|
| 2017 | B | conf |
IWQoS
|
| 2017 | C | conf |
ICIS
|
| 2017 | A* | conf |
ASE
|
| 2017 | — | conf |
I3D
|
| 2017 | A* | conf |
ICSE
|
| 2017 | J | jnl |
IEEE Access
|
| 2017 | A* | conf |
IJCAI
|
| 2016 | — | conf |
BIBM
|
| 2016 | B | conf |
COMPSAC
|
| 2016 | — | conf |
ICIMCS
|
| 2016 | — | conf |
D&P@MoDELS
|
| 2016 | A | conf |
RTAS
|
| 2016 | B | conf |
COMPSAC
|
| 2016 | A* | conf |
ASE
|
| 2016 | B | conf |
FM
|
| 2016 | B | conf |
FM
|
| 2016 | J | jnl |
Sensors
|
| 2016 | — | conf |
D&P@MoDELS
|
| 2016 | A* | conf |
ASE
|
| 2015 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2015 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2015 | J | jnl |
Theory Comput. Syst.
|
| 2015 | J | jnl |
IEEE Trans. Software Eng.
|
| 2015 | J | jnl |
Frontiers Comput. Sci.
|
| 2015 | — | conf |
ICIA
|
| 2015 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2015 | A* | conf |
INFOCOM
|
| 2014 | J | jnl |
Comput. J.
|
| 2014 | Misc | conf |
TASE
|
| 2014 | J | jnl |
J. Autom. Reason.
|
| 2014 | B | conf |
ICECCS
|
| 2014 | J | jnl |
J. Appl. Math.
|
| 2014 | J | jnl |
J. Appl. Math.
|
| 2014 | — | conf |
CICA
|
| 2014 | J | jnl |
Wirel. Pers. Commun.
|
| 2014 | J | jnl |
EURASIP J. Wirel. Commun. Netw.
|
| 2014 | J | jnl |
IEEE Trans. Computers
|
| 2014 | — | conf |
SIGSOFT FSE
|
| 2014 | Misc | conf |
TASE
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2013 | B | conf |
COMPSAC
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | J | jnl |
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CoRR
|
| 2013 | A* | conf |
CAV
|
| 2013 | J | jnl |
Comput. Ind.
|
| 2013 | B | conf |
ICECCS
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | Misc | conf |
TASE
|
| 2013 | J | jnl |
EURASIP J. Wirel. Commun. Netw.
|
| 2013 | B | conf |
ICECCS
|
| 2013 | — | conf |
CyberC
|
| 2013 | — | conf |
ASP-DAC
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | J | jnl |
Adv. Eng. Informatics
|
| 2013 | B | conf |
COMPSAC
|
| 2012 | J | jnl |
IEEE Trans. Computers
|
| 2012 | Misc | conf |
TASE
|
| 2012 | J | jnl |
Math. Comput. Model.
|
| 2012 | J | jnl |
IET Inf. Secur.
|
| 2012 | — | conf |
SERE
|
| 2012 | J | jnl |
Math. Comput. Model.
|
| 2012 | J | jnl |
IEEE Trans. Wirel. Commun.
|
| 2012 | — | conf |
ISVLSI
|
| 2011 | J | jnl |
Math. Comput. Model.
|
| 2011 | Misc | conf |
TASE
|
| 2011 | J | jnl |
Sci. China Inf. Sci.
|
| 2011 | B | conf |
GLOBECOM
|
| 2011 | B | conf |
DCOSS
|
| 2011 | C | conf |
ICFEM
|
| 2011 | J | jnl |
J. Medical Syst.
|
| 2011 | J | jnl |
Comput. Ind.
|
| 2011 | J | jnl |
IET Softw.
|
| 2011 | C | conf |
ISPEC
|
| 2011 | J | jnl |
Ad Hoc Sens. Wirel. Networks
|
| 2011 | Misc | conf |
TASE
|
| 2010 | — | conf |
CASoN
|
| 2010 | — | conf |
ICSOFT (1)
|
| 2010 | — | conf |
QSIC
|
| 2010 | J | jnl |
IEEE Trans. Veh. Technol.
|
| 2010 | J | jnl |
ACM SIGMOBILE Mob. Comput. Commun. Rev.
|
| 2010 | Misc | conf |
TASE
|
| 2010 | B | conf |
IWQoS
|
| 2010 | B | conf |
PRICAI
|
| 2010 | J | jnl |
IET Comput. Digit. Tech.
|
| 2010 | J | jnl |
IEEE Trans. Computers
|
| 2010 | J | jnl |
Frontiers Comput. Sci. China
|
| 2010 | A* | conf |
CAV
|
| 2010 | J | jnl |
IET Inf. Secur.
|
| 2010 | Misc | conf |
TASE
|
| 2010 | B | conf |
COMPSAC
|
| 2010 | J | jnl |
Comput. Math. Appl.
|
| 2010 | J | jnl |
J. Networks
|
| 2009 | A | conf |
AsiaCCS
|
| 2009 | B | conf |
PIMRC
|
| 2009 | B | conf |
FMCAD
|
| 2009 | — | conf |
MSN
|
| 2009 | — | conf |
CSA
|
| 2009 | B | conf |
ICECCS
|
| 2009 | J | jnl |
Math. Comput. Model.
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | J | jnl |
Comput. J.
|
| 2009 | J | jnl |
Math. Comput. Model.
|
| 2009 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2009 | J | jnl |
J. Comput. Sci. Technol.
|
| 2009 | B | conf |
GLOBECOM
|
| 2009 | Misc | conf |
TASE
|
| 2009 | — | conf |
BMEI
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | J | jnl |
Future Gener. Comput. Syst.
|
| 2008 | B | conf |
COMPSAC
|
| 2008 | B | conf |
ICPR
|
| 2008 | Misc | conf |
TASE
|
| 2008 | — | conf |
Annual Simulation Symposium
|
| 2008 | — | conf |
SIES
|
| 2008 | — | conf |
SIES
|
| 2007 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2007 | J | jnl |
IET Softw.
|
| 2007 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2007 | C | conf |
PRDC
|
| 2006 | B | conf |
ATVA
|
| 2006 | J | jnl |
Comput. Math. Appl.
|
| 2006 | — | conf |
OTM Workshops (1)
|
| 2006 | J | jnl |
Int. J. Comput. Math.
|
| 2006 | A | conf |
ESORICS
|
| 2006 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2006 | — | conf |
COMPSAC (1)
|
| 2005 | — | conf |
ISVLSI
|
| 2005 | A | conf |
ICME
|
| 2005 | — | conf |
ICIP (1)
|
| 2005 | — | conf |
ICCNMC
|
| 2005 | J | jnl |
Neural Comput. Appl.
|
| 2005 | — | conf |
CIS (1)
|
| 2005 | J | jnl |
Math. Comput. Model.
|
| 2005 | J | jnl |
J. Univers. Comput. Sci.
|
| 2005 | J | jnl |
Int. J. Comput. Math.
|
| 2005 | J | jnl |
Comput. J.
|
| 2005 | C | conf |
NPC
|
| 2005 | — | conf |
ISCAS (6)
|
| 2004 | J | jnl |
Int. J. Comput. Math.
|
| 2004 | J | jnl |
Math. Comput. Model.
|
| 2004 | — | conf |
GCC
|
| 2004 | Misc | conf |
ACISP
|
| 2004 | — | conf |
AWCC
|
| 2003 | B | conf |
ACNS
|
| 2003 | Misc | conf |
WISA
|
| 2003 | J | jnl |
Comput. Commun.
|
| 2003 | J | jnl |
Comput. Secur.
|