Journals and Conferences that author prefers

Journals

1. CoRR (16 paper(s))
2. TPLP (5 paper(s))
3. Sci. Comput. Program. (2 paper(s))
4. STTT (2 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. Theor. Comput. Sci. (1 paper(s))
8. Comput. Geom. (1 paper(s))

Conferences

1. APPIA-GULP-PRODE (10 paper(s))
2. Static Analysis (WSA/SAS) (9 paper(s))
3. Russian Conference on Logic Programming / (2 paper(s))
4. Principles and Practice of Declarative Programming (PPDP) (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
7. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
8. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
9. (1 paper(s))