Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (13 paper(s))
2. Theor. Comput. Sci. (5 paper(s))
3. Ann. Pure Appl. Logic (2 paper(s))
4. Nord. J. Comput. (2 paper(s))
5. CoRR (2 paper(s))
6. Fundam. Inform. (2 paper(s))
7. Inf. Comput. (2 paper(s))
8. J. Funct. Program. (2 paper(s))
9. Mathematical Structures in Computer Science (2 paper(s))
10. Studia Logica (1 paper(s))
11. ACM Trans. Comput. Log. (1 paper(s))
12. J. ACM (1 paper(s))
13. J. Autom. Reasoning (1 paper(s))
14. J. Comput. Syst. Sci. (1 paper(s))
15. J. Symb. Log. (1 paper(s))
16. Higher-Order and Symbolic Computation (1 paper(s))
17. J. Log. Comput. (1 paper(s))

Conferences

1. (5 paper(s))
2. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
3. TYPES Workshops (3 paper(s))
4. International Conference on Typed Lambda Calculus and Applications (TLCA) (3 paper(s))
5. Conference for Computer Science Logic (CSL) (2 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
7. Italian Conference on Theoretical Computer Science (ICTCS) (2 paper(s))
8. Logic in Computer Science (LICS) (2 paper(s))
9. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
10. Automated Specification and Verification of Web Sites (1 paper(s))
11. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
12. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
13. Russian Conference on Logic Programming / (1 paper(s))
14. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
15. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
16. TAPSOFT (1 paper(s))