Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. J. Log. Algebr. Program. (3 paper(s))
3. TPLP (3 paper(s))
4. ACM Comput. Surv. (2 paper(s))
5. Theor. Comput. Sci. (2 paper(s))
6. ACM Trans. Program. Lang. Syst. (2 paper(s))
7. AI Commun. (1 paper(s))
8. Electr. Notes Theor. Comput. Sci. (1 paper(s))
9. Formal Asp. Comput. (1 paper(s))
10. New Generation Comput. (1 paper(s))
11. Softw. Test., Verif. Reliab. (1 paper(s))

Conferences

1. (24 paper(s))
2. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (15 paper(s))
3. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (5 paper(s))
4. B (3 paper(s))
5. Practical Aspects of Declarative Languages (PADL) (3 paper(s))
6. Ershov Memorial Conference (3 paper(s))
7. Principles and Practice of Declarative Programming (PPDP) (3 paper(s))
8. World Congress on Formal Methods (FM) (3 paper(s))
9. Symposium on Logic Programming (SLP / ILPS / NACLP) (3 paper(s))
10. International Conference on Logic Programming (2 paper(s))
11. International Conference on Computational Logic (CL) (2 paper(s))
12. Publications Resulting from Dagstuhl Seminars (2 paper(s))
13. European Symposium on Programming (ESOP) (2 paper(s))
14. Workshop Logische Programmierung (2 paper(s))
15. Agent Theories, Architectures, and Languages (ATAL) (1 paper(s))
16. Conference on Software Technology and Engineering Practice (STEP) (1 paper(s))
17. iTrust (1 paper(s))
18. Workshops on Abstract State Machines (1 paper(s))
19. Birthday ... (1 paper(s))
20. Journées Francophones de Programmation Logique par Contraintes (1 paper(s))
21. Automated Technology for Verification and Analysis (1 paper(s))
22. Integrated Formal Methods (IFM) (1 paper(s))
23. Russian Conference on Logic Programming / (1 paper(s))
24. (1 paper(s))
25. Deductive Database Workshops (1 paper(s))
26. (1 paper(s))
27. International Conference on Conceptual Modeling (ER) (1 paper(s))
28. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
29. Fuji International Symposium on Functional and Logic Programming (1 paper(s))
30. Static Analysis (WSA/SAS) (1 paper(s))
31. Generative Programming and Component Engineering (1 paper(s))
32. IEEE International Conference on Formal Engineering Methods (1 paper(s))
33. Z Users Conference (ZUM) (1 paper(s))