Journals and Conferences that author prefers

Journals

1. J. ACM (2 paper(s))
2. SIAM J. Comput. (2 paper(s))
3. Softw., Pract. Exper. (2 paper(s))
4. Theor. Comput. Sci. (2 paper(s))
5. IEEE Trans. Software Eng. (2 paper(s))
6. Artif. Intell. (1 paper(s))
7. CoRR (1 paper(s))
8. Commun. ACM (1 paper(s))
9. CLEI Electron. J. (1 paper(s))
10. International Journal of Parallel Programming (1 paper(s))
11. Information & Software Technology (1 paper(s))
12. Inf. Process. Lett. (1 paper(s))
13. J. Symb. Comput. (1 paper(s))
14. Scientific Programming (1 paper(s))

Conferences

1. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
2. International Symposium on Symbolic and Algebraic Computation (ISSAC) (2 paper(s))
3. Publications Resulting from Dagstuhl Seminars (2 paper(s))
4. International Conference on Automated Deduction (CADE) (1 paper(s))
5. Compiler Construction (CC) (1 paper(s))
6. Language Design for Reliable Software (LDRS) (1 paper(s))
7. Data Base Workshops (1 paper(s))
8. Logic in Computer Science (LICS) (1 paper(s))
9. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
10. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
11. World Congress on Formal Methods (FM) (1 paper(s))
12. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
13. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
14. Rewriting Techniques and Applications (RTA) (1 paper(s))
15. Generative and Component-Based Software Engineering (GCSE) (1 paper(s))
16. Source Code Analysis and Manipulation (1 paper(s))
17. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
18. (1 paper(s))
19. IEEE International Conference on Formal Engineering Methods (1 paper(s))
20. International Conference on Software Engineering (ICSE) (1 paper(s))
21. IFIP World Computer Congress (1 paper(s))
22. IFIP WG2.1 Publications (1 paper(s))