Journals and Conferences that author prefers

Journals

1. J. Log. Algebr. Program. (2 paper(s))
2. SIGPLAN Notices (2 paper(s))
3. ACM Trans. Program. Lang. Syst. (2 paper(s))
4. Acta Inf. (1 paper(s))
5. Comput. J. (1 paper(s))
6. Higher-Order and Symbolic Computation (1 paper(s))
7. LOPLAS (1 paper(s))
8. New Generation Comput. (1 paper(s))
9. Sci. Comput. Program. (1 paper(s))
10. Softw., Pract. Exper. (1 paper(s))
11. Artif. Intell. (1 paper(s))
12. CoRR (1 paper(s))

Conferences

1. (7 paper(s))
2. Static Analysis (WSA/SAS) (4 paper(s))
3. Australasian Computing Education Conference (2 paper(s))
4. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
5. International Conference on Logic Programming (2 paper(s))
6. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
7. Australasian Computer Science Conference (1 paper(s))
8. Rewriting Techniques and Applications (RTA) (1 paper(s))
9. Birthday ... (1 paper(s))
10. Principles and Practice of Constraint Programming (CP) (1 paper(s))
11. European Symposium on Programming (ESOP) (1 paper(s))
12. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
13. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
14. Symposium on Abstraction, Reformulation and Approximation (SARA) (1 paper(s))
15. International Conference on Database Theory (ICDT) (1 paper(s))
16. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
17. IFIP World Computer Congress (1 paper(s))
18. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
19. Mathematical Foundations of Programming Semantics (1 paper(s))
20. Symposium on Programs as Data Objects (PADO) (1 paper(s))