Journals and Conferences that author prefers

Journals

1. Mathematical Structures in Computer Science (3 paper(s))
2. J. Funct. Program. (2 paper(s))
3. CoRR (2 paper(s))
4. Ann. Pure Appl. Logic (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. Parallel Computing (1 paper(s))
7. Parallel Processing Letters (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))
9. Comput. Lang. (1 paper(s))

Conferences

1. (5 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
3. Conference for Computer Science Logic (CSL) (2 paper(s))
4. Logic in Computer Science (LICS) (2 paper(s))
5. Russian Conference on Logic Programming / (2 paper(s))
6. Symposium on Programming Language Implementation and Logic Programming (PLILP) (2 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
8. Rewriting Techniques and Applications (RTA) (2 paper(s))
9. International Conference on Typed Lambda Calculus and Applications (TLCA) (2 paper(s))
10. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
11. Automated Software Engineering (ASE) (1 paper(s))
12. Parallel Computing (PARCO) (1 paper(s))
13. (1 paper(s))