Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (5 paper(s))
2. Electr. Notes Theor. Comput. Sci. (4 paper(s))
3. J. UCS (4 paper(s))
4. Acta Inf. (3 paper(s))
5. Inf. Process. Lett. (3 paper(s))
6. IEEE Computer (2 paper(s))
7. Theor. Comput. Sci. (1 paper(s))
8. Algorithmica (1 paper(s))
9. ACM Trans. Program. Lang. Syst. (1 paper(s))
10. IEEE Annals of the History of Computing (1 paper(s))
11. Autom. Softw. Eng. (1 paper(s))
12. Comput. J. (1 paper(s))
13. ACM Comput. Surv. (1 paper(s))
14. Formal Methods in System Design (1 paper(s))
15. SIGMOD Record (1 paper(s))
16. Operating Systems Review (1 paper(s))

Conferences

1. World Congress on Formal Methods (FM) (10 paper(s))
2. (7 paper(s))
3. Advanced Courses (2 paper(s))
4. IFIP World Computer Congress (2 paper(s))
5. Publications Resulting from Dagstuhl Seminars (2 paper(s))
6. TAPSOFT (2 paper(s))
7. Z Users Conference (ZUM) (2 paper(s))
8. IBM Scientific Symposium Series (2 paper(s))
9. International Computing Symposium (1 paper(s))
10. Ada-Europe (1 paper(s))
11. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
12. Mathematics of Program Construction (MPC) (1 paper(s))
13. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
14. Workshop on Persistent Objects (POS) (1 paper(s))
15. ACM Symposium on Applied Computing (SAC) (1 paper(s))
16. Conference of the European Cooperation in Informatics (ECI) (1 paper(s))
17. Software Engineering (1 paper(s))
18. European Symposium on Programming (ESOP) (1 paper(s))
19. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
20. UNI/IIST (1 paper(s))
21. The FIDJI Project (1 paper(s))
22. Birthday ... (1 paper(s))
23. Generative Programming and Component Engineering (1 paper(s))
24. International Conference on Engineering of Complex Computer Systems (1 paper(s))
25. International Conference on Robotics and Automation (ICRA) (1 paper(s))