Journals and Conferences that author prefers

Journals

1. Fundam. Inform. (7 paper(s))
2. CoRR (3 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. Sci. Comput. Program. (3 paper(s))
5. Acta Inf. (2 paper(s))
6. Formal Methods in System Design (2 paper(s))
7. Inf. Process. Lett. (2 paper(s))
8. ACM Trans. Program. Lang. Syst. (1 paper(s))
9. Comput. J. (1 paper(s))
10. Inf. Comput. (1 paper(s))
11. Int. J. Found. Comput. Sci. (1 paper(s))
12. J. Autom. Reasoning (1 paper(s))
13. J. Comput. Syst. Sci. (1 paper(s))
14. J. Log. Algebr. Program. (1 paper(s))
15. J. Log. Comput. (1 paper(s))
16. Softw., Pract. Exper. (1 paper(s))

Conferences

1. (4 paper(s))
2. International Conference on Logic Programming (3 paper(s))
3. ACM Symposium on Applied Computing (SAC) (2 paper(s))
4. APPIA-GULP-PRODE (1 paper(s))
5. Static Analysis (WSA/SAS) (1 paper(s))
6. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (1 paper(s))
7. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
8. Algebraic and Logic Programming (ALP) (1 paper(s))
9. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
10. European Symposium on Programming (ESOP) (1 paper(s))
11. TAPSOFT (1 paper(s))
12. World Congress on Formal Methods (FM) (1 paper(s))
13. (1 paper(s))
14. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
15. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
16. IFIP World Computer Congress (1 paper(s))
17. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
18. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
19. Symposium on Programming (1 paper(s))