Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (2 paper(s))
2. IEE Proceedings - Software (2 paper(s))
3. L'OBJET (1 paper(s))
4. Theor. Comput. Sci. (1 paper(s))
5. Journal of Research and Practice in Information Technology (1 paper(s))
6. IEEE Trans. Software Eng. (1 paper(s))
7. Computer Communications (1 paper(s))
8. Empirical Software Engineering (1 paper(s))
9. J. Graph Algorithms Appl. (1 paper(s))
10. Journal of Systems and Software (1 paper(s))
11. J. UCS (1 paper(s))
12. IEEE Software (1 paper(s))
13. Softw., Pract. Exper. (1 paper(s))
14. Software - Concepts and Tools (1 paper(s))
15. Softw. Test., Verif. Reliab. (1 paper(s))

Conferences

1. (9 paper(s))
2. Asia-Pacific Software Engineering Conference (8 paper(s))
3. Z Users Conference (ZUM) (7 paper(s))
4. Australian Software Engineering Conference (6 paper(s))
5. IEEE International Conference on Formal Engineering Methods (4 paper(s))
6. Conference on Software Engineering Education (and Training) (4 paper(s))
7. (2 paper(s))
8. Asia Pacific Symposium on Information Visualisation (2 paper(s))
9. European Conference on Software Process Improvement (2 paper(s))
10. World Congress on Formal Methods (FM) (2 paper(s))
11. Australasian Computer Science Conference (1 paper(s))
12. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
13. Symposium on Graph Drawing (GD) (1 paper(s))
14. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
15. Symposium on Asynchronous Circuits and Systems (1 paper(s))
16. International Conference on Software Engineering (ICSE) (1 paper(s))
17. Computer-Aided Design of User Interfaces (1 paper(s))
18. Integrated Formal Methods (IFM) (1 paper(s))
19. Computer Aided Verification (CAV) (1 paper(s))
20. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
21. Component-Based Software Engineering (1 paper(s))
22. Automated Software Engineering (ASE) (1 paper(s))
23. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
24. Diagrams (1 paper(s))
25. The Unified Modeling Language (UML) (1 paper(s))
26. Design, Specification, and Verification of Interactive Systems (DSV-IS) (1 paper(s))
27. Visualizing Software for Understanding and Analysis (1 paper(s))
28. IEEE Symposium on Human-Centric Computing Languages and Environments (HCC) (1 paper(s))