Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (7 paper(s))
2. Sci. Comput. Program. (4 paper(s))
3. Acta Inf. (3 paper(s))
4. IEEE Trans. Software Eng. (3 paper(s))
5. CoRR (2 paper(s))
6. Electr. Notes Theor. Comput. Sci. (2 paper(s))
7. Theor. Comput. Sci. (2 paper(s))
8. Commun. ACM (1 paper(s))
9. IEE Proceedings - Software (1 paper(s))
10. TPLP (1 paper(s))

Conferences

1. (7 paper(s))
2. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (5 paper(s))
3. IEEE International Conference on Formal Engineering Methods (4 paper(s))
4. Mathematics of Program Construction (MPC) (4 paper(s))
5. Australasian Computer Science Conference (3 paper(s))
6. Asia-Pacific Software Engineering Conference (3 paper(s))
7. Z Users Conference (ZUM) (3 paper(s))
8. World Congress on Formal Methods (FM) (2 paper(s))
9. Integrated Formal Methods (IFM) (2 paper(s))
10. Protocol Specification, Testing and Verification (1 paper(s))
11. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
12. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
13. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
14. Australian Software Engineering Conference (1 paper(s))
15. (1 paper(s))
16. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
17. Birthday ... (1 paper(s))
18. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
19. Automated Software Engineering (ASE) (1 paper(s))
20. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))