Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
2. IEEE Design & Test of Computers (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. IEEE Trans. VLSI Syst. (1 paper(s))

Conferences

1. (9 paper(s))
2. International Conference on Computer Aided Design (ICCAD) (9 paper(s))
3. Design Automation Conference (DAC) (8 paper(s))
4. International Conference on Computer Design (ICCD) (7 paper(s))
5. Computer Aided Verification (CAV) (2 paper(s))
6. VLSI Design (2 paper(s))
7. Design, Automation, and Test in Europe (2 paper(s))
8. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
9. Timing Issues In The Specification And Synthesis Of Digital Systems (1 paper(s))
10. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
11. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
12. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (1 paper(s))
13. International Symposium on Physical Design (ISPD) (1 paper(s))
14. International Symposium on Quality Electronic Design (1 paper(s))
15. International Workshop on Logic & Synthesis (1 paper(s))
16. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))