Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (23 paper(s))
2. IEEE Design & Test of Computers (3 paper(s))
3. ACM Trans. Design Autom. Electr. Syst. (2 paper(s))
4. IEEE Computer (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. IEEE Micro (1 paper(s))
7. ACM Trans. Program. Lang. Syst. (1 paper(s))
8. IEEE Trans. VLSI Syst. (1 paper(s))
9. Commun. ACM (1 paper(s))

Conferences

1. Design Automation Conference (DAC) (30 paper(s))
2. International Conference on Computer Aided Design (ICCAD) (15 paper(s))
3. (10 paper(s))
4. International Conference on Computer Design (ICCD) (6 paper(s))
5. International Symposium on Physical Design (ISPD) (3 paper(s))
6. International Conference on Hardware Software Codesign (3 paper(s))
7. International Test Conference (ITC) (3 paper(s))
8. International Symposium on Low Power Electronics and Design (3 paper(s))
9. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2 paper(s))
10. Design, Automation, and Test in Europe (2 paper(s))
11. Timing Issues In The Specification And Synthesis Of Digital Systems (2 paper(s))
12. VLSI Design (2 paper(s))
13. Symposium on Field Programmable Gate Arrays (FPGA) (2 paper(s))
14. Advanced Research in VLSI (1 paper(s))
15. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (1 paper(s))
16. International Symposium on Quality Electronic Design (1 paper(s))
17. Parallel Computing in Electrical Engineering (1 paper(s))
18. Publications Resulting from Dagstuhl Seminars (1 paper(s))
19. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
20. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
21. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
22. Field-Programmable Logic and Applications (FPL) (1 paper(s))