Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (7 paper(s))
2. Inf. Process. Lett. (2 paper(s))
3. J. ACM (2 paper(s))
4. IEEE Trans. Software Eng. (2 paper(s))
5. Commun. ACM (1 paper(s))
6. Electr. Notes Theor. Comput. Sci. (1 paper(s))
7. Formal Methods in System Design (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. STTT (1 paper(s))
10. IEEE Trans. Computers (1 paper(s))
11. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (4 paper(s))
2. International Conference on Theorem Proving in Higher Order Logics (4 paper(s))
3. Formal Methods in Computer-Aided Design (FMCAD) (3 paper(s))
4. Birthday ... (2 paper(s))
5. International Conference on Automated Deduction (CADE) (2 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
8. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
9. UNI/IIST (1 paper(s))
10. (1 paper(s))
11. International Conference on Software Engineering (ICSE) (1 paper(s))
12. IEEE International Conference on Formal Engineering Methods (1 paper(s))
13. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
14. (Java) Virtual Machine Research and Technology Symposium (1 paper(s))
15. Russian Conference on Logic Programming / (1 paper(s))
16. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (1 paper(s))