Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (13 paper(s))
2. Electr. Notes Theor. Comput. Sci. (10 paper(s))
3. Mathematical Structures in Computer Science (3 paper(s))
4. Inf. Comput. (2 paper(s))
5. CoRR (2 paper(s))
6. Formal Asp. Comput. (1 paper(s))
7. Fundam. Inform. (1 paper(s))
8. ITA (1 paper(s))
9. Journal of Automata, Languages and Combinatorics (1 paper(s))
10. J. Comput. Syst. Sci. (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. SIAM J. Comput. (1 paper(s))

Conferences

1. (7 paper(s))
2. REX (Research and Education in Concurrent Systems) - Workshops (5 paper(s))
3. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
4. Mathematical Foundations of Programming Semantics (3 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
6. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
7. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
8. (1 paper(s))
9. Formal Methods for Components and Objects (1 paper(s))
10. International Conference on Logic Programming (1 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
12. Mathematics of Program Construction (MPC) (1 paper(s))
13. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
14. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
15. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
16. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))