Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (3 paper(s))
2. IEEE Trans. VLSI Syst. (2 paper(s))
3. ACM Comput. Surv. (1 paper(s))
4. IEEE Design & Test of Computers (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. IEEE Trans. Computers (1 paper(s))
7. IEEE Transactions on Multimedia (1 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))
9. IEEE Computer (1 paper(s))

Conferences

1. (10 paper(s))
2. Symposium on Field Programmable Gate Arrays (FPGA) (6 paper(s))
3. Field-Programmable Custom Computing Machines (FCCM) (5 paper(s))
4. International Conference on Computer Design (ICCD) (5 paper(s))
5. IEEE International Workshop on Rapid System Prototyping (2 paper(s))
6. Theorem Provers in Circuit Design (TPCD) (2 paper(s))
7. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
8. Engineering of Reconfigurable Systems and Algorithms (ERSA) (2 paper(s))
9. Field-Programmable Logic and Applications (FPL) (2 paper(s))
10. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
11. ACM Multimedia (2 paper(s))
12. IEEE Symposium on Computer Arithmetic (1 paper(s))
13. Advanced Research in VLSI (1 paper(s))
14. Supercomputing (SC) (1 paper(s))
15. Computer Aided Verification (CAV) (1 paper(s))
16. Computer Hardware Description Languages and their Applications (1 paper(s))
17. Design Automation Conference (DAC) (1 paper(s))
18. Mathematical Science Institute Workshops (1 paper(s))