Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (7 paper(s))
2. Theor. Comput. Sci. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. ACM Comput. Surv. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. Mathematical Structures in Computer Science (1 paper(s))
8. OOPS Messenger (1 paper(s))
9. J. Log. Program. (1 paper(s))
10. ACM Trans. Program. Lang. Syst. (1 paper(s))
11. CoRR (1 paper(s))

Conferences

1. (10 paper(s))
2. Logic in Computer Science (LICS) (4 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
4. European Symposium on Programming (ESOP) (3 paper(s))
5. Foundations of Software Science and Computation Structure (FoSSaCS) (3 paper(s))
6. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
7. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
8. ACM SIGPLAN International Conference on Functional Programming (ICFP) (2 paper(s))
9. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
10. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
11. Theory and Practice of Parallel Programming (TPPP) (1 paper(s))
12. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
13. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
14. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
15. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
16. Theoretical Aspects of Computer Software (TACS) (1 paper(s))