Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (16 paper(s))
2. IEEE Trans. VLSI Syst. (6 paper(s))
3. ACM Trans. Design Autom. Electr. Syst. (5 paper(s))
4. IEEE Design & Test of Computers (3 paper(s))
5. Appl. Intell. (1 paper(s))
6. Commun. ACM (1 paper(s))
7. Formal Methods in System Design (1 paper(s))
8. International Journal of Parallel Programming (1 paper(s))
9. Integration (1 paper(s))
10. IEEE Micro (1 paper(s))
11. STTT (1 paper(s))
12. TACO (1 paper(s))
13. ACM Trans. Embedded Comput. Syst. (1 paper(s))
14. ACM Trans. Comput. Syst. (1 paper(s))
15. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. International Conference on Computer Aided Design (ICCAD) (20 paper(s))
2. Design Automation Conference (DAC) (20 paper(s))
3. Theory and Applications of Satisfiability Testing (8 paper(s))
4. VLSI Design (7 paper(s))
5. (7 paper(s))
6. Design, Automation, and Test in Europe (7 paper(s))
7. International Symposium on Systems Synthesis (6 paper(s))
8. International Conference on Hardware Software Codesign (5 paper(s))
9. International Conference on Computer Design (ICCD) (4 paper(s))
10. Asia and South Pacific Design Automation Conference (ASP-DAC) (3 paper(s))
11. IEEE Real-Time Systems Symposium (RTSS) (2 paper(s))
12. Computer Aided Verification (CAV) (2 paper(s))
13. International Conference on Supercomputing (ICS) (2 paper(s))
14. International Symposium on Low Power Electronics and Design (2 paper(s))
15. Languages, Compilers, and Tools for Embedded Systems (LCTES) (2 paper(s))
16. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
17. International Symposium on Microarchitecture (MICRO) (2 paper(s))
18. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
19. Workshop on Microprocessor Test and Verification (1 paper(s))
20. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
21. Field-Programmable Custom Computing Machines (FCCM) (1 paper(s))
22. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
23. International Conference on Automated Deduction (CADE) (1 paper(s))
24. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
25. Pacific Rim International Symposium on Dependable Computing (1 paper(s))
26. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (1 paper(s))
27. Field-Programmable Logic and Applications (FPL) (1 paper(s))
28. (1 paper(s))
29. Compiler Construction (CC) (1 paper(s))
30. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
31. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
32. Principles and Practice of Constraint Programming (CP) (1 paper(s))
33. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
34. Publications Resulting from Dagstuhl Seminars (1 paper(s))