Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
2. Commun. ACM (1 paper(s))
3. Comput. J. (1 paper(s))
4. IEEE Computer (1 paper(s))

Conferences

1. International Conference on Theorem Proving in Higher Order Logics (6 paper(s))
2. International Conference on Engineering of Complex Computer Systems (4 paper(s))
3. (2 paper(s))
4. Hawaii International Conference on System Sciences (HICSS) (2 paper(s))
5. Mathematical Methods, Models, and Architectures for Network Security Systems (MMM-ACNS) (2 paper(s))
6. World Congress on Formal Methods (FM) (1 paper(s))
7. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
8. ACM Great Lakes Symposium on VLSI (1 paper(s))
9. International Conference on Computer Design (ICCD) (1 paper(s))
10. International Conference on Computer Languages (ICCL) (1 paper(s))
11. IFIP WG11.8 Publications (1 paper(s))
12. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
13. Mathematical Science Institute Workshops (1 paper(s))
14. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))