Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (2 paper(s))
2. IEEE Trans. Computers (2 paper(s))
3. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. VLSI Design (7 paper(s))
2. Design Automation Conference (DAC) (6 paper(s))
3. International Conference on Computer Aided Design (ICCAD) (4 paper(s))
4. Correct Hardware Design and Verification Methods (CHARME) (3 paper(s))
5. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
6. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
7. IEEE VLSI Test Symposium (1 paper(s))
8. Asian Test Symposium (1 paper(s))
9. (1 paper(s))
10. Automated Technology for Verification and Analysis (1 paper(s))
11. Design, Automation, and Test in Europe (1 paper(s))
12. World Congress on Formal Methods (FM) (1 paper(s))
13. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
14. International Conference on Computer Design (ICCD) (1 paper(s))
15. International Workshop on Logic & Synthesis (1 paper(s))