Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (5 paper(s))
2. Inf. Syst. E-Business Management (1 paper(s))
3. J. Comput. Sci. Technol. (1 paper(s))
4. Inf. Sci. (1 paper(s))

Conferences

1. (7 paper(s))
2. (2 paper(s))
3. SAFECOMP (2 paper(s))
4. Asia-Pacific Software Engineering Conference (1 paper(s))
5. SPIN (1 paper(s))
6. Automated Technology for Verification and Analysis (1 paper(s))
7. IEEE Symposium on Human-Centric Computing Languages and Environments (HCC) (1 paper(s))
8. International Conference on Data Engineering (ICDE) (1 paper(s))
9. EUROCAST (1 paper(s))
10. International Conference on Parallel Processing (ICPP) (1 paper(s))
11. IEEE International Conference on Formal Engineering Methods (1 paper(s))
12. International Conference on Wireless Networks (1 paper(s))
13. (1 paper(s))
14. Integrated Formal Methods (IFM) (1 paper(s))
15. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
16. (1 paper(s))
17. International Workshop on Automated Reasoning (1 paper(s))
18. (1 paper(s))
19. Pacific Rim International Conference on Artificial Intelligence (PRICAI) (1 paper(s))
20. International Conference on Quality Software (1 paper(s))
21. Rapid Integration of Software Engineering Techniques (1 paper(s))
22. SDL Forum (1 paper(s))