Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (7 paper(s))
2. Formal Asp. Comput. (3 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (16 paper(s))
2. International Colloquium on Theoretical Aspects of Computing (4 paper(s))
3. Australian Software Engineering Conference (3 paper(s))
4. IEEE International Conference on Formal Engineering Methods (3 paper(s))
5. International Computer Software and Applications Conference (COMPSAC) (2 paper(s))
6. International Conference on Engineering of Complex Computer Systems (2 paper(s))
7. International Conference on Cognitive Informatics (1 paper(s))
8. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
9. Asian Symposium on Programming Languages and Systems (1 paper(s))
10. Integrated Formal Methods (IFM) (1 paper(s))
11. Asia-Pacific Software Engineering Conference (1 paper(s))
12. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
13. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
14. Birthday ... (1 paper(s))
15. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
16. (1 paper(s))
17. Formal Methods for Components and Objects (1 paper(s))
18. (1 paper(s))
19. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
20. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
21. Distributed Computing and Internet Technology (1 paper(s))