ieee transactions on computer-aided design of integrated circuits & systems (33)
ieee transactions on computer-aided design of integrated circuits and systems (10)
dac: annual acm/ieee design automation conference (8)
ieee transactions on computers (4)
theoretical computer science (4)
journal of automated reasoning (3)
plos one (3)
quantum information processing (3)
2007 ieee/acm international conference on computer-aided design, computer-aided design, 2007. iccad 2007. ieee/acm international conference on (2)
2013 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2013 ieee/acm international conference on (2)
2014 51st acm/edac/ieee design automation conference (dac), design automation conference (dac), 2014 51st acm/edac/ieee (2)
2015 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2015 ieee/acm international conference on (2)
2017 54th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2017 54th acm/edac/ieee (2)
2018 55th acm/esda/ieee design automation conference (dac), design automation conference (dac), 2018 55th acm/esda/ieee (2)
2018 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2018 ieee/acm international conference on (2)
2019 56th acm/ieee design automation conference (dac), design automation conference (dac), 2019 56th acm/ieee (2)
2019 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2019 ieee/acm international conference on (2)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (2)
2020 design, automation & test in europe conference & exhibition (date) (2)
2020 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2020 ieee/acm international conference (2)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (2)
computer aided verification (2)
ieee journal of emerging and selected topics in circuits and systems (2)
17th asia and south pacific design automation conference, design automation conference (asp-dac), 2012 17th asia and south pacific (1)
2008 45th acm/ieee design automation conference, design automation conference, 2008. dac 2008. 45th acm/ieee (1)
2008 ieee international conference on computer design, computer design, 2008. iccd 2008. ieee international conference on (1)
2008 ieee/acm international conference on computer-aided design, computer-aided design, 2008. iccad 2008. ieee/acm international conference on (1)
2009 ieee/acm international conference on computer-aided design - digest of technical papers, computer-aided design - digest of technical papers, 2009. iccad 2009. ieee/acm international conference on (1)
2010 15th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2010 15th asia and south pacific (1)
2010 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2010 ieee/acm international conference on (1)
2011 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2011 ieee/acm international conference on (1)
2012 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2012 ieee/acm international conference on (1)
2013 50th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2013 50th acm/edac/ieee (1)
2014 ieee biomedical circuits and systems conference (biocas) proceedings, biomedical circuits and systems conference (biocas), 2014 ieee (1)
2014 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2014 ieee/acm international conference on (1)
2015 37th annual international conference of the ieee engineering in medicine and biology society (embc), engineering in medicine and biology society (embc), 2015 37th annual international conference of the ieee (1)
2015 52nd acm/edac/ieee design automation conference (dac), design automation conference (dac), 2015 52nd acm/edac/ieee (1)
2016 53nd acm/edac/ieee design automation conference (dac), design automation conference (dac), 2016 53nd acm/edac/ieee (1)
2016 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2016 ieee/acm international conference on (1)
2017 23rd ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2017 23rd ieee international symposium on, async (1)
2017 ieee biomedical circuits and systems conference (biocas), biomedical circuits and systems conference (biocas), 2017 ieee (1)
2017 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2017 ieee/acm international conference on (1)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on (1)
2019 25th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2019 25th ieee international symposium on, async (1)
2021 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2021 (1)
2021 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2021 ieee/acm international conference on (1)
2022 ieee biomedical circuits and systems conference (biocas), biomedical circuits and systems conference (biocas), 2022 ieee (1)
2022 ieee international conference on quantum computing and engineering (qce), quantum computing and engineering (qce), 2022 ieee international conference on, qce (1)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on (1)
formal methods in system design: an international journal (1)