Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (7 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Inf. Comput. (2 paper(s))
4. J. ACM (2 paper(s))
5. J. Funct. Program. (2 paper(s))
6. Bulletin of Symbolic Logic (1 paper(s))
7. IEEE Computer (1 paper(s))
8. J. Symb. Comput. (1 paper(s))
9. Higher-Order and Symbolic Computation (1 paper(s))
10. Mathematical Structures in Computer Science (1 paper(s))

Conferences

1. (9 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
3. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (3 paper(s))
4. Static Analysis (WSA/SAS) (3 paper(s))
5. Asian Symposium on Programming Languages and Systems (2 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. European Symposium on Programming (ESOP) (2 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
9. Scandinavian Conference on AI (SCAI) (1 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
11. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Conference for Computer Science Logic (CSL) (1 paper(s))
14. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
15. Category Theory and Computer Science (1 paper(s))
16. International Symposium/Workshop on Memory Management (ISMM/IWMM) (1 paper(s))
17. Logic in Computer Science (LICS) (1 paper(s))
18. Formal Methods for Components and Objects (1 paper(s))
19. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
20. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))