Journals and Conferences that author prefers

Journals

1. IEEE Trans. Software Eng. (3 paper(s))
2. Softw., Pract. Exper. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. BIT (1 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. Inf. Process. Lett. (1 paper(s))
7. Theor. Comput. Sci. (1 paper(s))
8. ACM Trans. Program. Lang. Syst. (1 paper(s))
9. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. (11 paper(s))
2. Hybrid Systems (7 paper(s))
3. Birthday ... (2 paper(s))
4. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
5. Workshops on Abstract State Machines (1 paper(s))
6. Parallel and Distributed Computing and Networks (1 paper(s))
7. International Conference on Hardware Software Codesign (1 paper(s))
8. Publications Resulting from Dagstuhl Seminars (1 paper(s))
9. European Educational Forum (EEF) (1 paper(s))
10. Formal Methods in Software Practice (1 paper(s))
11. (1 paper(s))
12. IFIP World Computer Congress (1 paper(s))
13. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
14. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
15. International Conference on Engineering of Complex Computer Systems (1 paper(s))