ieee transactions on computer-aided design of integrated circuits & systems (9)
journal of systems architecture (9)
international journal on software tools for technology transfer (8)
dac: annual acm/ieee design automation conference (7)
proceedings of the conference on design, automation and test in europe (7)
proceedings of the conference: design, automation & test in europe (6)
ieee transactions on computer-aided design of integrated circuits and systems (5)
it - information technology (4)
2016 design, automation & test in europe conference & exhibition (date) (3)
2016 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2016 (3)
journal of multiple-valued logic and soft computing (3)
transactions of the american fisheries society (3)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (2)
2016 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2016 ieee/acm international conference on (2)
38th international symposium on multiple valued logic (ismvl 2008), multiple valued logic, 2008. ismvl 2008. 38th international symposium on (2)
genetic programming and evolvable machines (2)
journalist (deutscher journalisten-verband) (2)
microprocessors and microsystems (2)
proceeding of the 2012 forum on specification and design languages, specification and design languages (fdl), 2012 forum on (2)
14th ieee international symposium on design and diagnostics of electronic circuits and systems, design and diagnostics of electronic circuits & systems (ddecs), 2011 ieee 14th international symposium on (1)
2007 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2007. date '07 (1)
2008 forum on specification, verification and design languages, specification, verification and design languages, 2008. fdl 2008. forum on (1)
2008 ieee computer society annual symposium on vlsi, symposium on vlsi, 2008. isvlsi '08. ieee computer society annual (1)
2008 ninth international workshop on microprocessor test and verification, microprocessor test and verification, 2008. mtv '08. ninth international workshop on (1)
2009 10th international workshop on microprocessor test and verification, microprocessor test and verification (mtv), 2009 10th international workshop on (1)
2009 22nd international conference on vlsi design, vlsi design, 2009 22nd international conference on (1)
2009 39th international symposium on multiple-valued logic, multiple-valued logic, 2009. ismvl '09. 39th international symposium on (1)
2009 forum on specification & design languages (fdl), specification & design languages, 2009. fdl 2009. forum on (1)
2009 ieee/ifip international symposium on rapid system prototyping, rapid system prototyping, 2009. rsp '09. ieee/ifip international symposium on (1)
2010 11th international workshop on microprocessor test and verification, microprocessor test and verification (mtv), 2010 11th international workshop on (1)
2011 14th ieee international symposium on object/component/service-oriented real-time distributed computing workshops, object/component/service-oriented real-time distributed computing workshops (isorcw), 2011 14th ieee international symposium on (1)
2011 41st ieee international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2011 41st ieee international symposium on (1)
2012 15th euromicro conference on digital system design, digital system design (dsd), 2012 15th euromicro conference on (1)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (1)
2012 international symposium on electronic system design (ised), electronic system design (ised), 2012 international symposium on (1)
2012 international symposium on system on chip (soc), system on chip (soc), 2012 international symposium on (1)
2013 50th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2013 50th acm/edac/ieee (1)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013 (1)
2013 euromicro conference on digital system design, digital system design (dsd), 2013 euromicro conference on (1)
2015 ieee computer society annual symposium on vlsi, vlsi (isvlsi), 2015 ieee computer society annual symposium on (1)
2016 ieee 34th international conference on computer design (iccd), computer design (iccd), 2016 ieee 34th international conference on (1)
2017 ieee 47th international symposium on multiple-valued logic---ismvl 2017 (1)
2020 ieee 50th international symposium on multiple-valued logic---ismvl 2020 (1)
advanced boolean techniques (1)
computer aided verification. part ii (1)
correct hardware design & verification methods (1)
customizable embedded processors (1)
integration, the vlsi journal (1)
recent findings in boolean techniques (1)
sn applied sciences (1)