Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Inform., Forsch. Entwickl. (1 paper(s))
3. Informatica (Slovenia) (1 paper(s))
4. Journal of Object Technology (1 paper(s))
5. Journal of Systems and Software (1 paper(s))
6. J. UCS (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. Software - Concepts and Tools (1 paper(s))
9. Theor. Comput. Sci. (1 paper(s))
10. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (23 paper(s))
2. Workshops on Abstract State Machines (4 paper(s))
3. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
4. International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
5. International Conference on Engineering of Complex Computer Systems (2 paper(s))
6. Symposium on Programming Language Implementation and Logic Programming (PLILP) (2 paper(s))
7. International Conference on Quality Software (2 paper(s))
8. Conference on Software Engineering and Formal Methods (SEFM) (2 paper(s))
9. IEEE International Conference on Formal Engineering Methods (2 paper(s))
10. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
11. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
12. Asia-Pacific Conference on Quality Software (1 paper(s))
13. Java Grande (1 paper(s))
14. Trustworthy Global Computing (1 paper(s))
15. Automated Software Engineering (ASE) (1 paper(s))
16. Z Users Conference (ZUM) (1 paper(s))
17. Conference for Computer Science Logic (CSL) (1 paper(s))
18. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
19. European Symposium on Programming (ESOP) (1 paper(s))
20. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
21. Mathematics of Program Construction (MPC) (1 paper(s))
22. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
23. Ershov Memorial Conference (1 paper(s))
24. PHOENIX Workshops (1 paper(s))
25. (1 paper(s))
26. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
27. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))
28. World Congress on Formal Methods (FM) (1 paper(s))
29. Formal Methods for Components and Objects (1 paper(s))
30. GI-Jahrestagung (1 paper(s))
31. Software Engineering im Unterricht der Hochschulen (SEUH) (1 paper(s))
32. Integrated Formal Methods (IFM) (1 paper(s))
33. Software Quality (1 paper(s))