| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
WF-IoT
|
| 2025 | J | jnl |
ACM Trans. Database Syst.
|
| 2023 | J | jnl |
Proc. ACM Manag. Data
|
| 2023 | A* | conf |
USENIX Security Symposium
|
| 2023 | A | conf |
ISSTA
|
| 2023 | A* | conf |
NDSS
|
| 2023 | A* | conf |
CCS
|
| 2023 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2022 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2022 | A* | conf |
SP
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | — | conf |
USENIX ATC
|
| 2021 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2021 | J | jnl |
IEEE Trans. Software Eng.
|
| 2020 | A | conf |
ICME
|
| 2020 | J | jnl |
Proc. VLDB Endow.
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | A | conf |
ICME
|
| 2019 | — | conf |
ICII
|
| 2019 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A | conf |
ICPC
|
| 2019 | A | conf |
ISSRE
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A | conf |
ISSTA
|
| 2019 | J | jnl |
IEEE Trans. Neural Networks Learn. Syst.
|
| 2019 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2019 | — | conf |
ESEC/SIGSOFT FSE
|
| 2019 | C | conf |
APSEC
|
| 2019 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Trans. Computers
|
| 2019 | A* | conf |
ASE
|
| 2019 | — | conf |
iThings/GreenCom/CPSCom/SmartData
|
| 2019 | A | conf |
ISSTA
|
| 2019 | — | conf |
ICSE (Companion Volume)
|
| 2019 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2018 | J | jnl |
IEEE Trans. Neural Networks Learn. Syst.
|
| 2018 | J | jnl |
IEEE Trans. Evol. Comput.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ESEC/SIGSOFT FSE
|
| 2018 | — | conf |
ESEC/SIGSOFT FSE
|
| 2018 | — | conf |
ESEC/SIGSOFT FSE
|
| 2018 | J | jnl |
Artif. Intell.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
ASE
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2018 | C | conf |
APSEC
|
| 2018 | C | conf |
APSEC
|
| 2018 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2018 | — | conf |
ESEC/SIGSOFT FSE
|
| 2018 | A* | conf |
ASE
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | A* | conf |
ASE
|
| 2017 | A* | conf |
ASE
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2017 | A | conf |
ICCAD
|
| 2017 | J | jnl |
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
|
| 2017 | A* | conf |
ASE
|
| 2017 | J | jnl |
Int. J. Distributed Sens. Networks
|
| 2017 | J | jnl |
J. Vis. Commun. Image Represent.
|
| 2017 | A* | conf |
ICSE
|
| 2017 | J | jnl |
IEEE Access
|
| 2017 | A* | conf |
IJCAI
|
| 2016 | B | conf |
COMPSAC
|
| 2016 | — | conf |
D&P@MoDELS
|
| 2016 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2016 | B | conf |
FM
|
| 2016 | B | conf |
FM
|
| 2016 | J | jnl |
Sensors
|
| 2016 | — | conf |
D&P@MoDELS
|
| 2015 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2015 | J | jnl |
IEEE Trans. Software Eng.
|
| 2015 | J | jnl |
Frontiers Comput. Sci.
|
| 2015 | J | jnl |
Comput. Aided Des.
|
| 2015 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2015 | — | conf |
ICIA
|
| 2015 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2014 | J | jnl |
Comput. J.
|
| 2014 | Misc | conf |
TASE
|
| 2014 | J | jnl |
J. Autom. Reason.
|
| 2014 | A* | conf |
ICDE
|
| 2014 | J | jnl |
J. Appl. Math.
|
| 2014 | A* | conf |
CVPR
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | J | jnl |
Comput. Ind.
|
| 2013 | — | conf |
ASP-DAC
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | A* | conf |
ICCV
|
| 2013 | A* | conf |
CVPR
|
| 2013 | B | conf |
COMPSAC
|
| 2012 | A | conf |
CIKM
|
| 2012 | Misc | conf |
TASE
|
| 2012 | J | jnl |
Math. Comput. Model.
|
| 2012 | J | jnl |
IET Inf. Secur.
|
| 2012 | J | jnl |
Trans. Edutainment
|
| 2012 | J | jnl |
Math. Comput. Model.
|
| 2012 | — | conf |
ISVLSI
|
| 2011 | J | jnl |
Comput. Graph. Forum
|
| 2011 | J | jnl |
Comput. Aided Des.
|
| 2011 | — | conf |
CAD/Graphics
|
| 2011 | Misc | conf |
TASE
|
| 2011 | J | jnl |
Softw. Syst. Model.
|
| 2010 | J | jnl |
Comput. Geosci.
|
| 2010 | J | jnl |
Comput. Ind.
|
| 2010 | J | jnl |
IEEE Trans. Computers
|
| 2010 | J | jnl |
Data Knowl. Eng.
|
| 2010 | — | conf |
Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method.
Shape Modeling International
|
| 2009 | J | jnl |
J. Intell. Inf. Syst.
|
| 2009 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2009 | J | jnl |
Comput. Ind.
|
| 2009 | J | jnl |
Future Gener. Comput. Syst.
|
| 2008 | J | jnl |
Comput. Ind.
|
| 2008 | Misc | conf |
SAC
|
| 2007 | Misc | conf |
SAC
|
| 2007 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2007 | — | conf |
CAD/Graphics
|
| 2007 | — | conf |
APWeb/WAIM
|
| 2007 | J | jnl |
Data Min. Knowl. Discov.
|
| 2007 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2007 | — | conf |
ICEIS (2)
|
| 2006 | C | conf |
CSCWD
|
| 2006 | J | jnl |
Comput. Math. Appl.
|
| 2006 | — | conf |
ISVC (1)
|
| 2006 | — | conf |
ISVC (1)
|
| 2006 | C | conf |
ISPEC
|
| 2005 | — | conf |
FSKD (1)
|
| 2005 | — | conf |
CIS (1)
|
| 2005 | J | jnl |
Math. Comput. Model.
|
| 2005 | J | jnl |
Int. J. Comput. Math.
|
| 2005 | C | conf |
NPC
|
| 2005 | — | conf |
ISCAS (6)
|
| 2005 | — | conf |
SCCG
|
| 2004 | J | jnl |
Math. Comput. Model.
|
| 2002 | J | jnl |
Comput. Ind.
|
| 1996 | J | jnl |
J. Comput. Sci. Technol.
|