Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (9 paper(s))
2. CoRR (4 paper(s))
3. IEEE Trans. Computers (3 paper(s))
4. ACM Trans. Comput. Log. (2 paper(s))
5. ACM Comput. Surv. (1 paper(s))
6. Formal Methods in System Design (1 paper(s))
7. J. ACM (1 paper(s))
8. J. Symb. Comput. (1 paper(s))
9. Logical Methods in Computer Science (1 paper(s))
10. STTT (1 paper(s))
11. Artif. Intell. (1 paper(s))

Conferences

1. Design Automation Conference (DAC) (26 paper(s))
2. Computer Aided Verification (CAV) (16 paper(s))
3. International Conference on Computer Aided Design (ICCAD) (8 paper(s))
4. Formal Methods in Computer-Aided Design (FMCAD) (6 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (4 paper(s))
6. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (2 paper(s))
7. International Conference on Computer Design (ICCD) (2 paper(s))
8. IFIP World Computer Congress (2 paper(s))
9. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
10. Logic in Computer Science (LICS) (2 paper(s))
11. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
12. IBM Scientific Symposium Series (1 paper(s))
13. Technical Symposium on Computer Science Education (1 paper(s))
14. International Conference on Application of Concurrency to System Design (1 paper(s))
15. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
16. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
17. Asian Computing Science Conference (ASIAN) (1 paper(s))
18. International Conference on Parallel Processing (ICPP) (1 paper(s))
19. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
20. International Conference on Software Engineering (ICSE) (1 paper(s))
21. VLSI Design (1 paper(s))
22. Symposium on Asynchronous Circuits and Systems (1 paper(s))
23. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
24. International Conference on Automated Deduction (CADE) (1 paper(s))
25. International Symposium om Computer Architecture (ISCA) (1 paper(s))
26. (1 paper(s))
27. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))
28. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (1 paper(s))
29. Design, Automation, and Test in Europe (1 paper(s))
30. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
31. Mathematical Science Institute Workshops (1 paper(s))
32. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
33. Rewriting Techniques and Applications (RTA) (1 paper(s))