Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (5 paper(s))
2. Theory Comput. Syst. (4 paper(s))
3. Inf. Comput. (3 paper(s))
4. J. Funct. Program. (3 paper(s))
5. New Generation Comput. (2 paper(s))
6. Sci. Comput. Program. (2 paper(s))
7. J. ACM (2 paper(s))
8. ACM Trans. Program. Lang. Syst. (2 paper(s))
9. J. Comput. Syst. Sci. (2 paper(s))
10. Higher-Order and Symbolic Computation (2 paper(s))
11. Acta Inf. (1 paper(s))
12. ACM Comput. Surv. (1 paper(s))
13. Electr. Notes Theor. Comput. Sci. (1 paper(s))
14. SIAM J. Comput. (1 paper(s))
15. Fundam. Inform. (1 paper(s))
16. SIGPLAN Notices (1 paper(s))
17. Software - Concepts and Tools (1 paper(s))
18. Inf. Process. Lett. (1 paper(s))
19. CoRR (1 paper(s))
20. Journal of Functional and Logic Programming (1 paper(s))
21. J. Symb. Log. (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (7 paper(s))
2. (4 paper(s))
3. Symposium on the Theory of Computing (STOC) (3 paper(s))
4. Ershov Memorial Conference (3 paper(s))
5. Annual Symposium on Foundations of Computer Science (FOCS) (3 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
7. IFIP World Computer Congress (2 paper(s))
8. Birthday ... (2 paper(s))
9. Compiler Construction (CC) (2 paper(s))
10. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
11. Rewriting Techniques and Applications (RTA) (2 paper(s))
12. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
13. Algebraic and Logic Programming (ALP) (1 paper(s))
14. International Conference on Computer Languages (ICCL) (1 paper(s))
15. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
16. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
17. Asian Symposium on Programming Languages and Systems (1 paper(s))
18. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
19. International Conference on Automated Deduction (CADE) (1 paper(s))
20. Mathematical Foundations of Programming Semantics (1 paper(s))
21. Symposium on Programs as Data Objects (PADO) (1 paper(s))
22. Conference on Computability in Europe (CiE) (1 paper(s))
23. Programs as Data Objects (1 paper(s))
24. Publications Resulting from Dagstuhl Seminars (1 paper(s))
25. European Symposium on Programming (ESOP) (1 paper(s))
26. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
27. Generative Programming and Component Engineering (1 paper(s))
28. Static Analysis (WSA/SAS) (1 paper(s))