Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (12 paper(s))
2. Formal Asp. Comput. (7 paper(s))
3. Comput. J. (2 paper(s))
4. IEEE Computer (2 paper(s))
5. ACM Comput. Surv. (2 paper(s))
6. IEEE Trans. Software Eng. (2 paper(s))
7. Formal Methods in System Design (1 paper(s))
8. IEE Proceedings - Software (1 paper(s))
9. J. Braz. Comp. Soc. (1 paper(s))
10. Journal of Computer Security (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. Software and System Modeling (1 paper(s))
13. STTT (1 paper(s))

Conferences

1. (13 paper(s))
2. World Congress on Formal Methods (FM) (10 paper(s))
3. International Conference on Engineering of Complex Computer Systems (4 paper(s))
4. IEEE International Conference on Formal Engineering Methods (4 paper(s))
5. (4 paper(s))
6. Z Users Conference (ZUM) (4 paper(s))
7. Integrated Formal Methods (IFM) (3 paper(s))
8. (2 paper(s))
9. Asia-Pacific Software Engineering Conference (1 paper(s))
10. Workshops on Abstract State Machines (1 paper(s))
11. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
12. Birthday ... (1 paper(s))
13. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
14. Irish Workshop in Formal Methods (IWFM) (1 paper(s))
15. Mathematics of Program Construction (MPC) (1 paper(s))
16. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
17. (1 paper(s))
18. (1 paper(s))