Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (8 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Inf. Comput. (3 paper(s))
4. Bulletin of the EATCS (1 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. Fundam. Inform. (1 paper(s))
7. J. Funct. Program. (1 paper(s))
8. Higher-Order and Symbolic Computation (1 paper(s))
9. Mathematical Structures in Computer Science (1 paper(s))
10. ACM Trans. Program. Lang. Syst. (1 paper(s))
11. J. Log. Program. (1 paper(s))
12. CoRR (1 paper(s))

Conferences

1. (7 paper(s))
2. Colloquium on Trees in Algebra and Programming (CAAP) (3 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
4. LITP Spring School on Theoretical Computer Science (2 paper(s))
5. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
6. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
7. European Symposium on Programming (ESOP) (2 paper(s))
8. TAPSOFT (2 paper(s))
9. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
10. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
11. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
12. Asian Computing Science Conference (ASIAN) (1 paper(s))
13. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
14. Automatic Verification Methods for Finite State Systems (1 paper(s))
15. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
16. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
17. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
18. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
19. Fundamentals of Computation Theory (FCT) (1 paper(s))
20. Theoretical Computer Science (1 paper(s))
21. Fixed Points in Computer Science (1 paper(s))
22. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
23. Global Computing (1 paper(s))
24. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))