ieee transactions on computer-aided design of integrated circuits & systems (15)
dac: annual acm/ieee design automation conference (8)
formal methods in system design (7)
indian journal of surgery (5)
journal of electronic testing (4)
acm transactions on computational logic (3)
formal methods in system design: an international journal (3)
ieee micro (3)
diamond & related materials (2)
encyclopedia of algorithms (2)
geomatics, natural hazards & risk (2)
journal of electronic testing: theory & applications (2)
journal of electronic testing: theory and applications (2)
journal of infection and public health (2)
journal of the pakistan medical association (2)
journal of water and climate change (2)
proceedings of the 1999 ieee acm international conference computer-aided design (2)
proceedings of the 2000 international symposium: physical design (2)
proceedings of the 35th annual design automation conference (2)
pulse international (2)
2006 1st international conference on nano-networks and workshops, nano-networks and workshops, 2006. nanonet '06. 1st international conference on (1)
2007 25th international conference on computer design, computer design, 2007. iccd 2007. 25th international conference on (1)
2007 conference record of the forty-first asilomar conference on signals, systems and computers, signals, systems and computers, 2007. acssc 2007. conference record of the forty-first asilomar conference on (1)
2007 ifip international conference on very large scale integration, very large scale integration, 2007. vlsi - soc 2007. ifip international conference on (1)
2008 45th acm/ieee design automation conference, design automation conference, 2008. dac 2008. 45th acm/ieee (1)
2008 formal methods in computer-aided design, formal methods in computer-aided design, 2008. fmcad '08 (1)
2008 ieee international conference on computer design, computer design, 2008. iccd 2008. ieee international conference on (1)
2008 international conference on microelectronics, microelectronics, 2008. icm 2008. international conference on (1)
2009 10th international symposium on quality electronic design, quality of electronic design, 2009. isqed 2009. quality electronic design (1)
2013 12th ieee international conference on trust, security and privacy in computing and communications, trust, security and privacy in computing and communications (trustcom), 2013 12th ieee international conference on (1)
2014 ifip networking conference, networking conference, 2014 ifip (1)
2015 ifip networking conference (ifip networking), ifip networking conference (ifip networking), 2015 (1)
2018 17th ieee international conference on trust, security and privacy in computing and communications/ 12th ieee international conference on big data science and engineering (trustcom/bigdatase), trust, security and privacy in computing and communications/ 12th ieee international conference on big data science and engineering (trustcom/bigdatase), 2018 17th ieee international conference on, trustcom-bigdatase (1)
29th international conference on software engineering (icse'07), software engineering, 2007. icse 2007. 29th international conference on (1)
8th international symposium on quality electronic design (isqed'07), quality electronic design, 2007. isqed '07. 8th international symposium on (1)
acm transactions on design automation of electronic systems (1)
automata, languages and programming (jerusalem, 1994) (1)
computer aided verification (1)
computer aided verification (vancouver, bc, 1998) (1)
correct hardware design & verification methods (1)
egyptian journal of remote sensing & space sciences (1)
first international symposium on networks-on-chip (nocs'07), networks-on-chip, 2007. nocs 2007. first international symposium on (1)
formal methods in computer aided design (fmcad'07), formal methods in computer aided design, 2007. fmcad '07 (1)
geomatics natural hazards & risk (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
jcpsp-journal of the college of physicians and surgeons pakistan (1)
journal of infection & public health (1)
materials science & engineering b (1)
materials science and engineering b-advanced functional solid-state materials (1)
the egyptian journal of remote sensing and space sciences (1)