Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Inf. Process. Lett. (1 paper(s))
3. CoRR (1 paper(s))
4. AI Commun. (1 paper(s))

Conferences

1. (6 paper(s))
2. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (3 paper(s))
3. Jornadas de Ingeniería del Software y Bases de Datos (2 paper(s))
4. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (2 paper(s))
5. (2 paper(s))
6. Advances in Databases and Information Systems (ADBIS) (1 paper(s))
7. APPIA-GULP-PRODE (1 paper(s))
8. Ibero-American Conference on AI (IBERAMIA) (1 paper(s))
9. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
10. IEEE International Conference on Software Maintenance (1 paper(s))
11. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
12. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
13. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
14. Automated Specification and Verification of Web Sites (1 paper(s))