Journals and Conferences that author prefers

Journals

1. CoRR (45 paper(s))
2. ACM Trans. Program. Lang. Syst. (8 paper(s))
3. Theor. Comput. Sci. (5 paper(s))
4. J. Log. Algebr. Program. (4 paper(s))
5. Sci. Comput. Program. (3 paper(s))
6. Fundam. Inform. (3 paper(s))
7. Inf. Process. Lett. (3 paper(s))
8. J. ACM (3 paper(s))
9. ACM Trans. Comput. Log. (2 paper(s))
10. Formal Asp. Comput. (2 paper(s))
11. TPLP (2 paper(s))
12. Inf. Comput. (2 paper(s))
13. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
14. New Generation Comput. (1 paper(s))
15. Acta Inf. (1 paper(s))
16. Commun. ACM (1 paper(s))
17. SIAM J. Comput. (1 paper(s))
18. Distributed Computing (1 paper(s))
19. Ann. Math. Artif. Intell. (1 paper(s))
20. Constraints (1 paper(s))
21. J. Symb. Comput. (1 paper(s))
22. J. Symb. Log. (1 paper(s))

Conferences

1. (11 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
3. International Conference on Logic Programming (4 paper(s))
4. Principles and Practice of Constraint Programming (CP) (3 paper(s))
5. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
6. Birthday ... (2 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
8. Logic of Programs (2 paper(s))
9. APPIA-GULP-PRODE (1 paper(s))
10. Russian Conference on Logic Programming / (1 paper(s))
11. Algebraic and Logic Programming (ALP) (1 paper(s))
12. Algebraic Methods (1 paper(s))
13. Mathematics of Program Construction (MPC) (1 paper(s))
14. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
15. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
16. Symposium on Principles of Database Systems (PODS) (1 paper(s))
17. International Conference on Computational Logic (CL) (1 paper(s))
18. Compulog Workshops (1 paper(s))
19. ACM Symposium on Applied Computing (SAC) (1 paper(s))
20. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
21. Constraint Solving and Constraint Logic Programming (1 paper(s))
22. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
23. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
24. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
25. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
26. TIME Symposium / Workshop (1 paper(s))