science of computer programming (6)
dac: annual acm/ieee design automation conference (4)
ieee transactions on computers (4)
sensors (14248220) (4)
formal methods in system design (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
journal of laser applications (3)
proceedings of the conference: design, automation & test in europe (3)
2021 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2021 (2)
design automation conference, design automation conference (dac), 2010 47th acm/ieee (2)
journal of cardiovascular electrophysiology (2)
journal on satisfiability, boolean modeling and computation (2)
proceedings of the 1995 asia & south pacific design automation conference (2)
proceedings of the 2007 ieee acm international conference computer-aided design (2)
proceedings of the 47th design automation conference (2)
theoretical computer science (2)
theory & applications of satisfiability testing - sat 2016 (2)
theory and applications of satisfiability testing---sat 2016 (2)
2007 asia and south pacific design automation conference, design automation conference, 2007. asp-dac '07. asia and south pacific (1)
2007 ieee/acm international conference on computer-aided design, computer-aided design, 2007. iccad 2007. ieee/acm international conference on (1)
2008 international multiconference on computer science and information technology, computer science and information technology, 2008. imcsit 2008. international multiconference on (1)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (1)
2010 11th international workshop on microprocessor test and verification, microprocessor test and verification (mtv), 2010 11th international workshop on (1)
2011 design, automation & test in europe, design, automation & test in europe conference & exhibition (date), 2011 (1)
2012 13th international workshop on microprocessor test and verification (mtv), microprocessor test and verification (mtv), 2012 13th international workshop on (1)
2013 14th international workshop on microprocessor test and verification, microprocessor test and verification (mtv), 2013 14th international workshop on (1)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013 (1)
2013 ieee 31st international conference on computer design (iccd), computer design (iccd), 2013 ieee 31st international conference on (1)
2014 design, automation & test in europe conference & exhibition (date), design, automation and test in europe conference and exhibition (date), 2014 (1)
2014 ieee 20th international conference on embedded and real-time computing systems and applications, embedded and real-time computing systems and applications (rtcsa), 2014 ieee 20th international conference on (1)
2015 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2015 (1)
2018 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2018 (1)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (1)
2019 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2019 formal methods in (1)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (1)
2020 design, automation & test in europe conference & exhibition (date) (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
25th international conference on theory and applications of satisfiability testing (1)
architecture of computing systems---arcs 2016 (1)
computer aided verification (1)
formal methods in computer-aided design (1)
formal methods in system design: an international journal (1)
formal modeling and verification of cyber-physical systems (1)
formal system verification (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
institute of electrical and electronics engineers. transactions on computers (1)
seventh international workshop on microprocessor test and verification (mtv'06), microprocessor test and verification, 2006. mtv '06. seventh international workshop on (1)
theory and applications of satisfiability testing---sat 2015 (1)
theory and applications of satisfiability testing---sat 2017 (1)