Journals and Conferences that author prefers

Journals

1. Inf. Process. Lett. (3 paper(s))
2. Inf. Comput. (2 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. Int. J. Found. Comput. Sci. (1 paper(s))
5. Information & Software Technology (1 paper(s))
6. J. Parallel Distrib. Comput. (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (11 paper(s))
2. Workshops on Abstract State Machines (3 paper(s))
3. International Workshop on Formal Approaches to Testing of Software (3 paper(s))
4. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
5. International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
6. Logic in Computer Science (LICS) (2 paper(s))
7. International Conference on Quality Software (2 paper(s))
8. Asian Computing Science Conference (ASIAN) (1 paper(s))
9. Rewriting Techniques and Applications (RTA) (1 paper(s))
10. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
11. World Congress on Formal Methods (FM) (1 paper(s))
12. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
13. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
15. IFIP WG10.3 Publications (1 paper(s))
16. Kurt Gödel Colloquium (KGC) (1 paper(s))
17. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))