Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (3 paper(s))
2. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
3. IEEE Design & Test of Computers (1 paper(s))
4. IJDAR (1 paper(s))

Conferences

1. International Conference on Theorem Proving in Higher Order Logics (5 paper(s))
2. (5 paper(s))
3. Design Automation Conference (DAC) (4 paper(s))
4. International Conference on Computer Design (ICCD) (4 paper(s))
5. International Conference on Document Analysis and Recognition (ICDAR) (2 paper(s))
6. Brazilian Symposium on Document Image Analysis (BSDIA) (1 paper(s))
7. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
8. Design, Automation, and Test in Europe (1 paper(s))
9. ACM Great Lakes Symposium on VLSI (1 paper(s))
10. IFIP World Computer Congress (1 paper(s))
11. Synthesis for Control Dominated Circuits (1 paper(s))
12. Theorem Provers in Circuit Design (TPCD) (1 paper(s))