Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. Formal Methods in System Design (3 paper(s))
3. Electr. Notes Theor. Comput. Sci. (2 paper(s))
4. STTT (2 paper(s))
5. IEEE Computer (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. IEEE Trans. on CAD of Integrated Circuits and Systems (1 paper(s))
9. Theor. Comput. Sci. (1 paper(s))

Conferences

1. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (4 paper(s))
2. Computer Aided Verification (CAV) (3 paper(s))
3. Principles and Practice of Constraint Programming (CP) (3 paper(s))
4. Logic in Computer Science (LICS) (3 paper(s))
5. National Conference on Artificial Intelligence (AAAI) (2 paper(s))
6. TAPSOFT (2 paper(s))
7. European Symposium on Programming (ESOP) (2 paper(s))
8. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
9. Advanced Courses (1 paper(s))
10. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
11. Conference for Computer Science Logic (CSL) (1 paper(s))
12. International Conference on Artificial Intelligence and Law (ICAIL) (1 paper(s))
13. Logical Foundations of Computer Science (LFCS) (1 paper(s))
14. ACM Symposium on Applied Computing (SAC) (1 paper(s))