Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (8 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Inf. Comput. (5 paper(s))
4. ACM Trans. Program. Lang. Syst. (3 paper(s))
5. SIAM J. Comput. (3 paper(s))
6. CoRR (2 paper(s))
7. J. ACM (2 paper(s))
8. J. Log. Algebr. Program. (2 paper(s))
9. Applied Categorical Structures (1 paper(s))
10. Ann. Pure Appl. Logic (1 paper(s))
11. Formal Asp. Comput. (1 paper(s))
12. Int. J. Found. Comput. Sci. (1 paper(s))
13. J. Comput. Syst. Sci. (1 paper(s))
14. J. Symb. Log. (1 paper(s))
15. Mathematical Structures in Computer Science (1 paper(s))
16. Nord. J. Comput. (1 paper(s))

Conferences

1. Logic in Computer Science (LICS) (13 paper(s))
2. (12 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
4. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
5. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
6. Conference for Computer Science Logic (CSL) (2 paper(s))
7. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
8. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (2 paper(s))
9. Advanced Courses (1 paper(s))
10. Irish Workshop in Formal Methods (IWFM) (1 paper(s))
11. Birthday ... (1 paper(s))
12. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
13. Logic of Programs (1 paper(s))
14. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
15. International Crytology Conference (CRYPTO) (1 paper(s))
16. Semantics of Concurrent Computation (1 paper(s))
17. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
18. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
19. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
20. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
21. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
22. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
23. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))