Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (1 paper(s))
2. Journal of Functional and Logic Programming (1 paper(s))
3. J. Log. Algebr. Program. (1 paper(s))
4. Computers & Security (1 paper(s))
5. CoRR (1 paper(s))

Conferences

1. (6 paper(s))
2. International Conference on Logic Programming (4 paper(s))
3. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
5. International Conference on Enterprise Information Systems (ICEIS) (1 paper(s))
6. Trust and Privacy in Digital Business (1 paper(s))
7. Intelligent User Interfaces (IUI) (1 paper(s))
8. International Conference on Information Visualisation (1 paper(s))
9. Journées Francophones de Programmation Logique par Contraintes (1 paper(s))
10. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
11. IEEE International Conference on Pervasive Computing and Communications (1 paper(s))
12. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
13. ACM Symposium on Applied Computing (SAC) (1 paper(s))
14. Symposium on Stochastic Algorithms: Foundations and Applications (SAGA) (1 paper(s))
15. Smart Graphics (1 paper(s))
16. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))