| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
Inf. Sci.
|
| 2026 | J | jnl |
IEEE Commun. Lett.
|
| 2025 | J | jnl |
IEEE Trans. Netw. Serv. Manag.
|
| 2025 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2025 | J | jnl |
IEEE Access
|
| 2025 | J | jnl |
Comput. Mater. Continua
|
| 2025 | J | jnl |
Int. J. Appl. Earth Obs. Geoinformation
|
| 2025 | A | conf |
ICME
|
| 2025 | J | jnl |
Knowl. Inf. Syst.
|
| 2025 | J | jnl |
Data Min. Knowl. Discov.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Veh. Technol.
|
| 2025 | J | jnl |
Quantum Inf. Comput.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
COLING
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Int. J. Neural Syst.
|
| 2025 | J | jnl |
Int. J. Digit. Earth
|
| 2025 | J | jnl |
IEEE J. Sel. Areas Commun.
|
| 2025 | J | jnl |
Vis. Comput.
|
| 2024 | — | conf |
i-CREATe
|
| 2024 | — | conf |
CISP-BMEI
|
| 2024 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2024 | B | conf |
ICECCS
|
| 2024 | J | jnl |
Comput. J.
|
| 2024 | J | jnl |
IEEE Trans. Computers
|
| 2024 | J | jnl |
IEEE Trans. Geosci. Remote. Sens.
|
| 2024 | — | conf |
Agro-Geoinformatics
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Expert Syst. Appl.
|
| 2024 | J | jnl |
Inf. Process. Manag.
|
| 2024 | J | jnl |
Comput. Electron. Agric.
|
| 2024 | J | jnl |
Comput. Electron. Agric.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Geosci. Remote. Sens. Lett.
|
| 2023 | — | conf |
ICMLCA
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IET Softw.
|
| 2023 | J | jnl |
Memetic Comput.
|
| 2023 | J | jnl |
Appl. Intell.
|
| 2023 | J | jnl |
IEEE Trans. Software Eng.
|
| 2023 | J | jnl |
Remote. Sens.
|
| 2023 | J | jnl |
Quantum Inf. Process.
|
| 2023 | J | jnl |
Remote. Sens.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Trans. Computers
|
| 2023 | J | jnl |
Comput. J.
|
| 2023 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2023 | J | jnl |
Comput. Electron. Agric.
|
| 2023 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2023 | J | jnl |
Comput. Electron. Agric.
|
| 2023 | J | jnl |
Comput. Electron. Agric.
|
| 2023 | — | conf |
EMBC
|
| 2023 | J | jnl |
IEEE Trans. Cogn. Commun. Netw.
|
| 2023 | J | jnl |
Adv. Eng. Informatics
|
| 2023 | J | jnl |
Appl. Intell.
|
| 2023 | — | conf |
ICSS
|
| 2023 | J | jnl |
Comput. Electron. Agric.
|
| 2023 | — | conf |
ICSS
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
ISBI
|
| 2023 | — | conf |
CISP-BMEI
|
| 2023 | J | jnl |
Remote. Sens.
|
| 2023 | A | conf |
SC
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Comput. Electr. Eng.
|
| 2023 | — | conf |
Agro-Geoinformatics
|
| 2023 | J | jnl |
Comput. Electron. Agric.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2022 | — | conf |
BIC
|
| 2022 | — | conf |
CISP-BMEI
|
| 2022 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2022 | J | jnl |
IET Softw.
|
| 2022 | B | conf |
GLOBECOM
|
| 2022 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2022 | J | jnl |
Comput. Electron. Agric.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | J | jnl |
Appl. Artif. Intell.
|
| 2022 | J | jnl |
SIAM J. Matrix Anal. Appl.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
IEEE Trans. Biomed. Eng.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | J | jnl |
Comput. Electron. Agric.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Remote. Sens.
|
| 2022 | J | jnl |
Sensors
|
| 2021 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2021 | J | jnl |
IEEE Internet Things J.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2021 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | J | jnl |
IEEE Trans. Cybern.
|
| 2021 | — | conf |
SPML
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Remote. Sens.
|
| 2021 | — | conf |
CISP-BMEI
|
| 2021 | — | conf |
CISP-BMEI
|
| 2021 | J | jnl |
J. Supercomput.
|
| 2021 | — | conf |
DSA
|
| 2020 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Expert Syst. Appl.
|
| 2020 | J | jnl |
CCF Trans. Netw.
|
| 2020 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2020 | J | jnl |
Comput. J.
|
| 2020 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2020 | J | jnl |
J. Comput. Sci. Technol.
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | J | jnl |
Int. J. Simul. Process. Model.
|
| 2020 | J | jnl |
Remote. Sens.
|
| 2020 | J | jnl |
Comput. Electron. Agric.
|
| 2020 | J | jnl |
Quantum Inf. Comput.
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | J | jnl |
Remote. Sens.
|
| 2019 | J | jnl |
IEEE Syst. J.
|
| 2019 | J | jnl |
Theory Comput. Syst.
|
| 2019 | J | jnl |
Remote. Sens.
|
| 2019 | J | jnl |
J. Ambient Intell. Humaniz. Comput.
|
| 2019 | J | jnl |
Swarm Evol. Comput.
|
| 2019 | — | conf |
EMBC
|
| 2019 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2019 | J | jnl |
IEEE/ACM Trans. Netw.
|
| 2019 | C | conf |
CSCWD
|
| 2019 | — | conf |
CISP-BMEI
|
| 2019 | J | jnl |
IEEE Trans. Veh. Technol.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | C | conf |
IGARSS
|
| 2019 | C | conf |
IGARSS
|
| 2019 | J | jnl |
Remote. Sens.
|
| 2019 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2019 | — | conf |
DMIP
|
| 2019 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2019 | J | jnl |
IEEE Trans. Computers
|
| 2018 | — | conf |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
|
| 2018 | J | jnl |
IEEE Access
|
| 2018 | — | conf |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
|
| 2018 | — | conf |
AIVR
|
| 2018 | J | jnl |
IEEE Access
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | — | conf |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
|
| 2018 | — | conf |
ISPA/IUCC/BDCloud/SocialCom/SustainCom
|
| 2018 | — | conf |
Agro-Geoinformatics
|
| 2018 | J | jnl |
IEEE Trans. Evol. Comput.
|
| 2018 | J | jnl |
Pattern Recognit.
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | J | jnl |
Formal Aspects Comput.
|
| 2018 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2018 | J | jnl |
Quantum Inf. Comput.
|
| 2018 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2018 | J | jnl |
Artif. Intell.
|
| 2018 | — | conf |
Agro-Geoinformatics
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | C | conf |
APSEC
|
| 2018 | — | conf |
Agro-Geoinformatics
|
| 2018 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | A* | conf |
ASE
|
| 2017 | J | jnl |
Remote. Sens.
|
| 2017 | J | jnl |
Appl. Soft Comput.
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | J | jnl |
Pers. Ubiquitous Comput.
|
| 2017 | J | jnl |
Remote. Sens.
|
| 2017 | J | jnl |
Remote. Sens.
|
| 2017 | B | conf |
ICECCS
|
| 2017 | J | jnl |
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
|
| 2017 | A | conf |
IROS
|
| 2017 | A | conf |
ICWS
|
| 2017 | Misc | conf |
ACSSC
|
| 2017 | A* | conf |
ASE
|
| 2017 | C | conf |
CSCWD
|
| 2017 | J | jnl |
Int. J. Distributed Sens. Networks
|
| 2017 | — | conf |
ATS
|
| 2017 | J | jnl |
IEEE Trans. Syst. Man Cybern. Syst.
|
| 2017 | J | jnl |
Int. J. Robotics Autom.
|
| 2017 | J | jnl |
Bioinform.
|
| 2017 | — | conf |
SCC
|
| 2017 | J | jnl |
Pattern Recognit.
|
| 2017 | J | jnl |
Remote. Sens.
|
| 2017 | — | conf |
CRIWG
|
| 2017 | — | conf |
CCTA (1)
|
| 2016 | — | conf |
SCC
|
| 2016 | B | conf |
COMPSAC
|
| 2016 | J | jnl |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
|
| 2016 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2016 | B | conf |
COMPSAC
|
| 2016 | — | conf |
CollabTech
|
| 2016 | J | jnl |
J. Comput. Sci. Technol.
|
| 2016 | — | conf |
ROBIO
|
| 2016 | J | jnl |
Sensors
|
| 2016 | J | jnl |
IEEE Trans. Computers
|
| 2016 | B | conf |
SMC
|
| 2015 | J | jnl |
IEEE Trans. Computers
|
| 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 | J | jnl |
Int. J. Comput. Math.
|
| 2015 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2014 | J | jnl |
Comput. J.
|
| 2014 | J | jnl |
ACM J. Emerg. Technol. Comput. Syst.
|
| 2014 | Misc | conf |
TASE
|
| 2014 | J | jnl |
Comput. J.
|
| 2014 | J | jnl |
Intell. Autom. Soft Comput.
|
| 2014 | C | conf |
IGARSS
|
| 2014 | J | jnl |
Exploring the Best Hyperspectral Features for LAI Estimation Using Partial Least Squares Regression.
Remote. Sens.
|
| 2014 | J | jnl |
J. Appl. Math.
|
| 2014 | J | jnl |
J. Appl. Math.
|
| 2014 | A* | conf |
ICRA
|
| 2014 | J | jnl |
Trans. Emerg. Telecommun. Technol.
|
| 2014 | J | jnl |
IET Commun.
|
| 2014 | J | jnl |
J. Zhejiang Univ. Sci. C
|
| 2014 | J | jnl |
Wirel. Pers. Commun.
|
| 2014 | J | jnl |
EURASIP J. Wirel. Commun. Netw.
|
| 2014 | C | conf |
IGARSS
|
| 2014 | J | jnl |
IEEE Trans. Computers
|
| 2014 | A* | conf |
ICRA
|
| 2014 | — | conf |
SIGSOFT FSE
|
| 2014 | J | jnl |
Intell. Autom. Soft Comput.
|
| 2014 | Misc | conf |
TASE
|
| 2013 | J | jnl |
IEEE Commun. Lett.
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | J | jnl |
IEEE Trans. Ind. Electron.
|
| 2013 | J | jnl |
J. Comput. Sci. Technol.
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | — | conf |
WCSP
|
| 2013 | J | jnl |
Wirel. Pers. Commun.
|
| 2013 | J | jnl |
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CoRR
|
| 2013 | A* | conf |
CAV
|
| 2013 | B | conf |
COMPSAC
|
| 2013 | J | jnl |
Comput. Ind.
|
| 2013 | J | jnl |
IEEE Commun. Lett.
|
| 2013 | J | jnl |
J. Appl. Math.
|
| 2013 | C | conf |
IGARSS
|
| 2013 | J | jnl |
Comput. Ind.
|
| 2013 | — | conf |
WCSP
|
| 2013 | — | conf |
ASP-DAC
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | B | conf |
COMPSAC
|
| 2012 | J | jnl |
J. Softw.
|
| 2012 | J | jnl |
IEEE Commun. Lett.
|
| 2012 | J | jnl |
IEEE Trans. Computers
|
| 2012 | J | jnl |
Intell. Autom. Soft Comput.
|
| 2012 | C | conf |
PDCAT
|
| 2012 | — | conf |
SERE
|
| 2012 | — | conf |
CCTA (2)
|
| 2012 | — | conf |
ISVLSI
|
| 2011 | J | jnl |
Theor. Comput. Sci.
|
| 2011 | J | jnl |
Math. Comput. Model.
|
| 2011 | — | conf |
FAW-AAIM
|
| 2011 | — | conf |
FSKD
|
| 2011 | — | conf |
Haifa Verification Conference
|
| 2011 | J | jnl |
Sci. China Inf. Sci.
|
| 2011 | — | conf |
BMEI
|
| 2011 | C | conf |
ICFEM
|
| 2011 | C | conf |
ICCD
|
| 2011 | J | jnl |
Formal Methods Syst. Des.
|
| 2011 | J | jnl |
Comput. J.
|
| 2011 | J | jnl |
Comput. Ind.
|
| 2011 | J | jnl |
IET Softw.
|
| 2011 | Misc | conf |
TASE
|
| 2011 | J | jnl |
Theor. Comput. Sci.
|
| 2011 | — | conf |
CCTA (2)
|
| 2011 | — | conf |
CCTA (3)
|
| 2011 | — | conf |
CCTA (3)
|
| 2010 | C | conf |
DSD
|
| 2010 | — | conf |
QSIC
|
| 2010 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2010 | — | conf |
FSKD
|
| 2010 | J | jnl |
J. Circuits Syst. Comput.
|
| 2010 | — | conf |
CCTA (1)
|
| 2010 | Misc | conf |
TASE
|
| 2010 | J | jnl |
IET Comput. Digit. Tech.
|
| 2010 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2010 | — | conf |
ICA3PP (1)
|
| 2010 | — | conf |
FSKD
|
| 2010 | J | jnl |
IEEE Trans. Computers
|
| 2010 | — | conf |
IIP
|
| 2010 | Misc | conf |
TASE
|
| 2010 | B | conf |
COMPSAC
|
| 2010 | — | conf |
IITSI
|
| 2010 | Misc | conf |
ICNC
|
| 2010 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2009 | C | conf |
DSD
|
| 2009 | — | conf |
ISQED
|
| 2009 | B | conf |
FMCAD
|
| 2009 | B | conf |
ICECCS
|
| 2009 | J | jnl |
Math. Comput. Model.
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | J | jnl |
Comput. J.
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2008 | — | conf |
FSKD (1)
|
| 2008 | B | conf |
COMPSAC
|
| 2008 | — | conf |
ISCSCT (2)
|
| 2008 | C | conf |
ICTAC
|
| 2008 | — | conf |
ICNC (6)
|
| 2008 | J | jnl |
Integr.
|
| 2008 | C | conf |
ICCD
|
| 2008 | — | conf |
ISCSCT (1)
|
| 2008 | J | jnl |
Comput. J.
|
| 2008 | B | conf |
ICSR
|
| 2008 | — | conf |
ICNC (7)
|
| 2008 | — | conf |
ICNC (3)
|
| 2008 | Misc | conf |
TASE
|
| 2008 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2008 | J | jnl |
Comput. Math. Appl.
|
| 2008 | — | conf |
Annual Simulation Symposium
|
| 2008 | — | conf |
SIES
|
| 2008 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2008 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2008 | — | conf |
SIES
|
| 2007 | J | jnl |
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst.
|
| 2007 | J | jnl |
J. Syst. Softw.
|
| 2007 | J | jnl |
CoRR
|
| 2007 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2007 | J | jnl |
CoRR
|
| 2007 | J | jnl |
IET Comput. Digit. Tech.
|
| 2007 | J | jnl |
CoRR
|
| 2007 | J | jnl |
IET Softw.
|
| 2007 | C | conf |
APSEC
|
| 2007 | — | conf |
CCTA
|
| 2006 | B | conf |
IEEE Congress on Evolutionary Computation
|
| 2006 | B | conf |
ATVA
|
| 2006 | J | jnl |
Pattern Recognit. Lett.
|
| 2006 | J | jnl |
Comput. Math. Appl.
|
| 2006 | J | jnl |
Theory Comput. Syst.
|
| 2006 | — | conf |
ISVLSI
|
| 2006 | C | conf |
MEMOCODE
|
| 2006 | B | conf |
ATVA
|
| 2006 | J | jnl |
Int. J. Comput. Math.
|
| 2006 | C | conf |
TAMC
|
| 2006 | C | conf |
TAMC
|
| 2006 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2006 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2006 | C | conf |
CIAA
|
| 2006 | — | conf |
COMPSAC (1)
|
| 2005 | — | conf |
ISVLSI
|
| 2005 | Misc | conf |
COCOON
|
| 2005 | — | conf |
ISVLSI
|
| 2005 | A | conf |
DATE
|
| 2005 | — | conf |
ASP-DAC
|
| 2005 | — | conf |
ASP-DAC
|
| 2005 | A | conf |
DATE
|
| 2005 | J | jnl |
Theor. Comput. Sci.
|
| 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 | — | conf |
ISCAS (6)
|
| 2005 | C | conf |
MEMOCODE
|
| 2004 | J | jnl |
Int. J. Comput. Math.
|
| 2004 | — | conf |
ASP-DAC
|
| 2004 | J | jnl |
Math. Comput. Model.
|
| 2004 | — | conf |
ISVLSI
|
| 2004 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2004 | — | conf |
MTV
|
| 2004 | J | jnl |
J. Circuits Syst. Comput.
|
| 2004 | C | conf |
IGARSS
|
| 2004 | J | jnl |
Comput. J.
|
| 2004 | — | conf |
AWCC
|
| 2004 | A* | conf |
DAC
|
| 2004 | J | jnl |
IEEE Trans. Very Large Scale Integr. Syst.
|
| 2004 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2004 | C | conf |
IGARSS
|
| 2004 | C | conf |
IGARSS
|
| 2003 | J | jnl |
IEEE Trans. Very Large Scale Integr. Syst.
|
| 2003 | J | jnl |
Comput. Electr. Eng.
|
| 2003 | J | jnl |
Theor. Comput. Sci.
|
| 2002 | J | jnl |
IEEE Trans. Signal Process.
|
| 2002 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2002 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2002 | — | conf |
ISCAS (4)
|
| 2002 | — | conf |
ISCAS (1)
|
| 2001 | C | conf |
ICCD
|
| 2001 | J | jnl |
Int. J. Comput. Math.
|
| 2001 | J | jnl |
Int. J. Comput. Math.
|
| 2001 | C | conf |
DSD
|
| 2001 | J | jnl |
Comput. J.
|
| 2000 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2000 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1999 | — | conf |
Great Lakes Symposium on VLSI
|
| 1999 | J | jnl |
IEEE Trans. Computers
|
| 1999 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1999 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1999 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 1999 | J | jnl |
Discret. Appl. Math.
|
| 1998 | — | conf |
Great Lakes Symposium on VLSI
|
| 1998 | A* | conf |
CAV
|
| 1998 | C | conf |
ICCD
|
| 1998 | — | conf |
Great Lakes Symposium on VLSI
|
| 1997 | Misc | conf |
COCOON
|
| 1997 | J | jnl |
Formal Methods Syst. Des.
|
| 1997 | — | conf |
CHARME
|
| 1997 | — | conf |
Formal Hardware Verification
|
| 1996 | C | conf |
ICCD
|
| 1996 | — | conf |
Great Lakes Symposium on VLSI
|
| 1996 | B | conf |
FMCAD
|
| 1996 | A* | conf |
CAV
|
| 1995 | J | jnl |
Inf. Process. Lett.
|
| 1995 | — | conf |
Great Lakes Symposium on VLSI
|
| 1995 | — | conf |
CHARME
|
| 1994 | J | jnl |
VLSI Design
|
| 1994 | J | jnl |
Microprocess. Microprogramming
|
| 1994 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1992 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1991 | J | jnl |
Integr.
|