Journals and Conferences that author prefers

Journals

1. Sci. Comput. Program. (5 paper(s))
2. Inf. Sci. (3 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Acta Inf. (2 paper(s))
5. IEEE Trans. Software Eng. (2 paper(s))
6. CoRR (1 paper(s))
7. ACM Comput. Surv. (1 paper(s))
8. Logic Journal of the IGPL (1 paper(s))
9. International Journal of Man-Machine Studies (1 paper(s))
10. J. Log. Algebr. Program. (1 paper(s))
11. Higher-Order and Symbolic Computation (1 paper(s))
12. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. Relational Methods in Computer Science (RelMiCS) (8 paper(s))
2. (6 paper(s))
3. Mathematics of Program Construction (MPC) (2 paper(s))
4. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
5. Algorithmic Languages and Calculi (1 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
7. ACM SIGSOFT Symposium on Software Reusability (SSR) (1 paper(s))
8. Automated Technology for Verification and Analysis (1 paper(s))
9. European Software Engineering Conference (ESEC) (1 paper(s))
10. Formal Aspects of Security (1 paper(s))
11. Feature Interactions in Telecommunications and Software Systems (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 Conference on Computer Languages (ICCL) (1 paper(s))
15. International Conference on Software Engineering (ICSE) (1 paper(s))
16. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
17. Automated Software Engineering (ASE) (1 paper(s))