ieee transactions on computer-aided design of integrated circuits & systems (51)
information processing letters (16)
acm transactions on design automation of electronic systems (14)
ieee transactions on computer-aided design of integrated circuits and systems (12)
artificial intelligence (8)
journal of automated reasoning (8)
roadmap for formal property verification (8)
ieee embedded systems letters (7)
journal of artificial intelligence research (7)
ieee transactions on very large scale integration (vlsi) systems (6)
acm transactions on embedded computing systems (5)
ai 2012: advances in artificial intelligence (4)
circuits, systems & signal processing (4)
integration, the vlsi journal (4)
integration-the vlsi journal (4)
international journal of approximate reasoning (4)
journal of electronic testing (4)
journal of the geological society of india (4)
control theory and technology (3)
formal aspects of computing (3)
ieee transactions on intelligent transportation systems (3)
ieee transactions on knowledge & data engineering (3)
iet computers & digital techniques (wiley-blackwell) (3)
journal of applied logic (3)
journal of cryptographic engineering (3)
journal of parallel and distributed computing (3)
microelectronics journal (3)
speech communication (3)
tencon 2009 - 2009 ieee region 10 conference (3)
2010 23rd international conference on vlsi design, vlsi design, 2010. vlsid '10. 23rd international conference on (2)
2010 ieee students technology symposium (techsym), students' technology symposium (techsym), 2010 ieee (2)
2013 26th international conference on vlsi design and 2013 12th international conference on embedded systems, vlsi design and 2013 12th international conference on embedded systems (vlsid), 2013 26th international conference on (2)
2015 28th international conference on vlsi design, vlsi design (vlsid), 2015 28th international conference on (2)
2017 30th international conference on vlsi design and 2017 16th international conference on embedded systems (vlsid), vlsi design and 2017 16th international conference on embedded systems (vlsid), 2017 30th international conference on, vlsid (2)
2018 31st international conference on vlsi design and 2018 17th international conference on embedded systems (vlsid), vlsi design and 2018 17th international conference on embedded systems (vlsid), 2018 31st international conference on, vlsid (2)
circuits, systems, and signal processing (2)
electric power systems research (2)
journal of algorithms (2)
journal of cryptology (2)
journal of electronic testing: theory and applications (2)
pattern recognition letters (2)
sadhana. academy proceedings in engineering sciences (2)
sadhana: academy proceedings in engineering sciences (2)
17th asia and south pacific design automation conference, design automation conference (asp-dac), 2012 17th asia and south pacific (1)
2007 international conference on computing: theory and applications (iccta'07), computing: theory and applications, 2007. iccta '07. international conference on (1)
2008 ieee computer society annual symposium on vlsi, symposium on vlsi, 2008. isvlsi '08. ieee computer society annual (1)
2009 22nd international conference on vlsi design, vlsi design, 2009 22nd international conference on (1)
2009 annual ieee india conference, india conference (indicon), 2009 annual ieee (1)
embedded systems development : from functional models to implementations (1)
formal aspects of computing: applicable formal methods (1)