Journals and Conferences that author prefers

Journals

1. Softw. Test., Verif. Reliab. (3 paper(s))
2. IEEE Trans. Software Eng. (3 paper(s))
3. CoRR (2 paper(s))
4. Electr. Notes Theor. Comput. Sci. (2 paper(s))
5. Journal of Systems and Software (2 paper(s))
6. Softw., Pract. Exper. (2 paper(s))
7. Journal of Research and Practice in Information Technology (1 paper(s))
8. Concurrency and Computation: Practice and Experience (1 paper(s))
9. Ann. Math. Artif. Intell. (1 paper(s))
10. J. Autom. Reasoning (1 paper(s))
11. JOOP (1 paper(s))
12. Theor. Comput. Sci. (1 paper(s))
13. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
14. TPLP (1 paper(s))

Conferences

1. (11 paper(s))
2. Asia-Pacific Software Engineering Conference (10 paper(s))
3. Australasian Computer Science Conference (6 paper(s))
4. Australian Software Engineering Conference (6 paper(s))
5. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (5 paper(s))
6. (4 paper(s))
7. IEEE International Conference on Formal Engineering Methods (3 paper(s))
8. Automated Software Engineering (ASE) (3 paper(s))
9. International Conference on Engineering of Complex Computer Systems (3 paper(s))
10. International Conference on Software Engineering (ICSE) (2 paper(s))
11. Conference of the Centre for Advanced Studies on Collaborative Research (2 paper(s))
12. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
13. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
14. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
15. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
16. Asia-Pacific Conference on Quality Software (1 paper(s))
17. IEEE International Conference on Software Maintenance (1 paper(s))
18. Teaching Formal Methods (1 paper(s))
19. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
20. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
21. Integrated Formal Methods (IFM) (1 paper(s))
22. Z Users Conference (ZUM) (1 paper(s))
23. Computing: The Australasian Theory Symposium (1 paper(s))
24. International Symposium on Empirical Software (1 paper(s))
25. Component-Based Software Engineering (1 paper(s))
26. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
27. Conference on Software Engineering Education (and Training) (1 paper(s))
28. International Symposium on Distributed Objects and Applications (DOA) (1 paper(s))
29. European Conference on Software Process Improvement (1 paper(s))
30. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
31. World Congress on Formal Methods (FM) (1 paper(s))
32. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
33. Ada Conferences (1 paper(s))