Journals and Conferences that author prefers

Journals

1. Sci. Comput. Program. (2 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. J. Inf. Sci. Eng. (1 paper(s))
4. L'OBJET (1 paper(s))

Conferences

1. (4 paper(s))
2. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
3. Software Engineering Research and Practice (SERP) (2 paper(s))
4. Integrated Formal Methods (IFM) (2 paper(s))
5. Requirements Engineering (1 paper(s))
6. Asia-Pacific Software Engineering Conference (1 paper(s))
7. ACM Symposium on Applied Computing (SAC) (1 paper(s))
8. Publications Resulting from Dagstuhl Seminars (1 paper(s))
9. Engineering of Computer-Based Systems (ECBS) (1 paper(s))
10. Ada-Europe (1 paper(s))
11. International Conference on Conceptual Modeling (ER) (1 paper(s))
12. EUROMICRO (1 paper(s))
13. European Software Engineering Conference (ESEC) (1 paper(s))
14. Feature Interactions in Telecommunications and Software Systems (1 paper(s))
15. World Congress on Formal Methods (FM) (1 paper(s))
16. GI-Jahrestagung (1 paper(s))
17. IEEE International Conference on Formal Engineering Methods (1 paper(s))
18. IFIP WG8.1 Publications (1 paper(s))
19. Automated Software Engineering (ASE) (1 paper(s))