Journals and Conferences that author prefers

Journals

1. CoRR (2 paper(s))
2. ACM Trans. Comput. Log. (2 paper(s))
3. J. Symb. Comput. (1 paper(s))
4. J. UCS (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (5 paper(s))
2. (5 paper(s))
3. Asia and South Pacific Design Automation Conference (ASP-DAC) (3 paper(s))
4. Design Automation Conference (DAC) (3 paper(s))
5. Analytic Tableaux and Related Methods (TABLEAUX) (2 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
7. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
8. Design, Automation, and Test in Europe (2 paper(s))
9. International Symposium on Quality Electronic Design (2 paper(s))
10. International Conference on Application of Concurrency to System Design (1 paper(s))
11. International Test Conference (ITC) (1 paper(s))
12. Artificial Intelligence and Mathematics (1 paper(s))
13. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
14. Asian Computing Science Conference (ASIAN) (1 paper(s))
15. Theory and Applications of Satisfiability Testing (1 paper(s))
16. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
17. ACM Great Lakes Symposium on VLSI (1 paper(s))
18. International Conference on Computer Design (ICCD) (1 paper(s))
19. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))