Journals and Conferences that author prefers

Journals

1. J. Log. Algebr. Program. (4 paper(s))
2. Computer Languages, Systems & Structures (3 paper(s))
3. CoRR (3 paper(s))
4. Theor. Comput. Sci. (3 paper(s))
5. TPLP (2 paper(s))
6. Journal of Computer Security (2 paper(s))
7. ACM Trans. Program. Lang. Syst. (2 paper(s))
8. Ann. Pure Appl. Logic (1 paper(s))
9. Electr. Notes Theor. Comput. Sci. (1 paper(s))
10. Inf. Process. Lett. (1 paper(s))
11. Journal of Functional and Logic Programming (1 paper(s))
12. J. Log. Comput. (1 paper(s))
13. Sci. Comput. Program. (1 paper(s))
14. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (10 paper(s))
2. International Conference on Logic Programming (3 paper(s))
3. TAPSOFT (2 paper(s))
4. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
5. European Symposium on Programming (ESOP) (2 paper(s))
6. (2 paper(s))
7. APPIA-GULP-PRODE (1 paper(s))
8. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
9. Algebraic and Logic Programming (ALP) (1 paper(s))
10. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
11. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
12. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
13. Birthday ... (1 paper(s))
14. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
15. International Conference on Computational Logic (CL) (1 paper(s))
16. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
17. ACM Multimedia (1 paper(s))
18. Fifth Generation Computer Systems (1 paper(s))
19. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
20. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
21. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))