Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (4 paper(s))
2. J. Symb. Comput. (3 paper(s))
3. Inf. Comput. (2 paper(s))
4. CoRR (2 paper(s))
5. Fundam. Inform. (1 paper(s))

Conferences

1. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC) (3 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
3. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
4. (3 paper(s))
5. Rewriting Techniques and Applications (RTA) (3 paper(s))
6. TAPSOFT (2 paper(s))
7. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
8. International Conference on Automated Deduction (CADE) (1 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
10. Constraints in Computational Logics (CCL) (1 paper(s))
11. Conference on Implementation and Application of Automata (CIAA) (1 paper(s))
12. Symbolic and Algebraic Computation (EUROSAM) (1 paper(s))
13. Frontiers of Combining Systems (FroCoS) (1 paper(s))
14. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
15. Russian Conference on Logic Programming / (1 paper(s))
16. International Conference on Logic Programming (1 paper(s))
17. Word Equations and Related Topics (1 paper(s))
18. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
19. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
20. SPIN (1 paper(s))