Journals and Conferences that author prefers

Journals

1. IEEE Computer (1 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. Formal Asp. Comput. (1 paper(s))
4. Software - Concepts and Tools (1 paper(s))
5. Concurrency and Computation: Practice and Experience (1 paper(s))

Conferences

1. (3 paper(s))
2. Asia-Pacific Software Engineering Conference (2 paper(s))
3. International Conference on Software Engineering (ICSE) (2 paper(s))
4. Z Users Conference (ZUM) (2 paper(s))
5. Australasian Conference on Information Security and Privacy (ACISP) (1 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
7. Australian Software Engineering Conference (1 paper(s))
8. World Congress on Formal Methods (FM) (1 paper(s))
9. IEEE International Conference on Formal Engineering Methods (1 paper(s))
10. Integrated Formal Methods (IFM) (1 paper(s))
11. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
12. (1 paper(s))
13. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
14. International Conference on Engineering of Complex Computer Systems (1 paper(s))