Journals and Conferences that author prefers

Journals

1. J. Symb. Comput. (2 paper(s))
2. Int. J. Found. Comput. Sci. (1 paper(s))
3. Inf. Process. Lett. (1 paper(s))
4. J. Autom. Reasoning (1 paper(s))
5. J. Log. Algebr. Program. (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))

Conferences

1. Rewriting Techniques and Applications (RTA) (7 paper(s))
2. Conference on Software Engineering and Formal Methods (SEFM) (2 paper(s))
3. Advanced Courses (1 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
5. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
6. IEEE International Conference on Formal Engineering Methods (1 paper(s))
7. Logic in Computer Science (LICS) (1 paper(s))
8. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
9. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
10. Birthday ... (1 paper(s))
11. Computer Aided Verification (CAV) (1 paper(s))
12. (1 paper(s))
13. (1 paper(s))