Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (6 paper(s))
2. Theor. Comput. Sci. (2 paper(s))
3. IEEE Trans. Software Eng. (2 paper(s))
4. J. ACM (1 paper(s))
5. J. Funct. Program. (1 paper(s))
6. J. Symb. Comput. (1 paper(s))
7. Pattern Recognition (1 paper(s))
8. Commun. ACM (1 paper(s))

Conferences

1. Principles and Practice of Declarative Programming (PPDP) (5 paper(s))
2. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (4 paper(s))
3. Algebraic and Logic Programming (ALP) (3 paper(s))
4. Symposium on Programming Language Implementation and Logic Programming (PLILP) (3 paper(s))
5. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
6. Fuji International Symposium on Functional and Logic Programming (2 paper(s))
7. International Conference on Logic Programming (2 paper(s))
8. Rewriting Techniques and Applications (RTA) (1 paper(s))
9. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
10. Workshop on Functional and Constraint Logic Programming (1 paper(s))
11. (1 paper(s))
12. Frontiers of Combining Systems (FroCoS) (1 paper(s))
13. International Conference on Computing and Information (ICCI) (1 paper(s))
14. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
15. International Conference on Systems Integration (ICSI) (1 paper(s))
16. Implementation of Functional Languages (IFL) (1 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (1 paper(s))