Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Journal of Research and Practice in Information Technology (1 paper(s))
3. Briefings in Bioinformatics (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Inf. Syst. E-Business Management (1 paper(s))
6. Inf. Syst. J. (1 paper(s))
7. Nucleic Acids Research (1 paper(s))
8. Softw., Pract. Exper. (1 paper(s))
9. Theor. Comput. Sci. (1 paper(s))
10. ACM Trans. Comput.-Hum. Interact. (1 paper(s))

Conferences

1. (5 paper(s))
2. Z Users Conference (ZUM) (2 paper(s))
3. Asia-Pacific Software Engineering Conference (2 paper(s))
4. World Congress on Formal Methods (FM) (2 paper(s))
5. Advances in Computer Entertainment Technology (1 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
7. e-Science and Grid Computing (1 paper(s))
8. International ACM Conference on Assistive Technologies (Assets) (1 paper(s))
9. Computer Aided Verification (CAV) (1 paper(s))
10. IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID) (1 paper(s))
11. Fuzzy Systems and Knowledge Discovery (1 paper(s))
12. International Conference on Software Engineering (ICSE) (1 paper(s))
13. IFIP TC8 Publications (1 paper(s))
14. Parallel and Distributed Computing Systems (PDCS) (1 paper(s))
15. Teaching Formal Methods (1 paper(s))
16. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))