Journals and Conferences that author prefers

Journals

1. CoRR (7 paper(s))
2. Inf. Comput. (3 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. ACM Comput. Surv. (1 paper(s))
5. Discrete Mathematics (1 paper(s))
6. J. ACM (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. ACM Trans. Comput. Log. (1 paper(s))
9. ACM Trans. Program. Lang. Syst. (1 paper(s))
10. J. Log. Comput. (1 paper(s))

Conferences

1. (5 paper(s))
2. APPIA-GULP-PRODE (4 paper(s))
3. Static Analysis (WSA/SAS) (4 paper(s))
4. European Symposium on Programming (ESOP) (3 paper(s))
5. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
6. Algebraic and Logic Programming (ALP) (1 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
8. Asian Symposium on Programming Languages and Systems (1 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
10. International Conference on Logic Programming (1 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
12. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
13. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
14. Logic in Computer Science (LICS) (1 paper(s))