Journals and Conferences that author prefers

Journals

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

Conferences

1. (18 paper(s))
2. Design Automation Conference (DAC) (10 paper(s))
3. International Conference on Computer Aided Design (ICCAD) (7 paper(s))
4. Applications and Theory of Petri Nets (ICATPN/APN) (4 paper(s))
5. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
6. International Conference on Application of Concurrency to System Design (1 paper(s))
7. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
8. Symposium on Asynchronous Circuits and Systems (1 paper(s))
9. (1 paper(s))
10. ACM Great Lakes Symposium on VLSI (1 paper(s))
11. Synthesis for Control Dominated Circuits (1 paper(s))
12. Design, Automation, and Test in Europe (1 paper(s))