Journals and Conferences that author prefers

Journals

1. IEEE Trans. Computers (11 paper(s))
2. IEEE Trans. on CAD of Integrated Circuits and Systems (7 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. ACM Trans. Design Autom. Electr. Syst. (2 paper(s))
5. Computer-Aided Design (1 paper(s))
6. Computer Communication Review (1 paper(s))
7. Comput. J. (1 paper(s))
8. Electr. Notes Theor. Comput. Sci. (1 paper(s))
9. Formal Methods in System Design (1 paper(s))
10. Journal of Circuits, Systems, and Computers (1 paper(s))
11. Simulation Modelling Practice and Theory (1 paper(s))
12. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. International Conference on Computer Design (ICCD) (5 paper(s))
2. ACM Great Lakes Symposium on VLSI (4 paper(s))
3. Computer Aided Verification (CAV) (3 paper(s))
4. Correct Hardware Design and Verification Methods (CHARME) (3 paper(s))
5. IEEE International Symposium on Circuits and Systems (ISCAS) (3 paper(s))
6. Formal Methods in Computer-Aided Design (FMCAD) (3 paper(s))
7. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
8. Protocol Specification, Testing and Verification (2 paper(s))
9. Design Automation Conference (DAC) (2 paper(s))
10. (2 paper(s))
11. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
12. Computer Hardware Description Languages and their Applications (1 paper(s))
13. Principles and Practice of Constraint Programming (CP) (1 paper(s))
14. IEEE VLSI Test Symposium (1 paper(s))
15. Publications Resulting from Dagstuhl Seminars (1 paper(s))
16. Design, Automation, and Test in Europe (1 paper(s))
17. European Design and Test Conference (EDAC) (1 paper(s))
18. EUROMICRO (1 paper(s))
19. Formal Hardware Verification (1 paper(s))