Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Formal Asp. Comput. (5 paper(s))
3. Inf. Process. Lett. (3 paper(s))
4. Acta Inf. (2 paper(s))
5. Theor. Comput. Sci. (2 paper(s))
6. Commun. ACM (1 paper(s))
7. Distributed Computing (1 paper(s))
8. Inf. Sci. (1 paper(s))
9. J. Comput. Sci. Technol. (1 paper(s))
10. Mathematical Structures in Computer Science (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. The Journal of Supercomputing (1 paper(s))

Conferences

1. (28 paper(s))
2. IEEE International Conference on Formal Engineering Methods (8 paper(s))
3. International Colloquium on Theoretical Aspects of Computing (7 paper(s))
4. International Conference on Engineering of Complex Computer Systems (6 paper(s))
5. Asia-Pacific Software Engineering Conference (4 paper(s))
6. Australian Software Engineering Conference (3 paper(s))
7. Conference on Software Engineering and Formal Methods (SEFM) (3 paper(s))
8. (3 paper(s))
9. Integrated Formal Methods (IFM) (3 paper(s))
10. Mathematical Foundations of Programming Semantics (2 paper(s))
11. Relational Methods in Computer Science (RelMiCS) (2 paper(s))
12. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
13. Distributed Computing and Internet Technology (2 paper(s))
14. Birthday ... (2 paper(s))
15. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
16. (2 paper(s))
17. European Conference on Parallel Processing (Euro-Par) (2 paper(s))
18. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
19. International Conference on Cognitive Informatics (1 paper(s))
20. World Congress on Formal Methods (FM) (1 paper(s))
21. Formal Methods for Components and Objects (1 paper(s))
22. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
23. Asia-Pacific Conference on Quality Software (1 paper(s))
24. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
25. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
26. Asian Symposium on Programming Languages and Systems (1 paper(s))
27. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
28. Real-Time Computing Systems and Applications (1 paper(s))
29. UNI/IIST (1 paper(s))
30. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
31. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
32. (1 paper(s))
33. (1 paper(s))
34. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
35. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
36. European Symposium on Programming (ESOP) (1 paper(s))
37. Knowledge-Based Intelligent Information & Engineering Systems (1 paper(s))