Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Journal of Computer Security (3 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. Computational Intelligence (1 paper(s))
5. Electron. Trans. Artif. Intell. (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. Int. J. Inf. Sec. (1 paper(s))
8. J. Log. Algebr. Program. (1 paper(s))
9. J. Log. Comput. (1 paper(s))
10. Higher-Order and Symbolic Computation (1 paper(s))
11. IEEE Trans. Dependable Sec. Comput. (1 paper(s))

Conferences

1. IEEE Computer Security Foundations Workshop (CSFW) (4 paper(s))
2. APPIA-GULP-PRODE (3 paper(s))
3. TIME Symposium / Workshop (3 paper(s))
4. International Conference on Logic Programming (3 paper(s))
5. ISSS (3 paper(s))
6. (2 paper(s))
7. Logic in Computer Science (LICS) (2 paper(s))
8. Mathematical Methods, Models, and Architectures for Network Security Systems (MMM-ACNS) (2 paper(s))
9. Sistemi Evoluti per Basi di Dati (SEBD) (1 paper(s))
10. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
11. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
12. Extensions of Logic Programming (ELP) (1 paper(s))
13. TYPES Workshops (1 paper(s))
14. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
15. EUROCAST (1 paper(s))
16. Foundations of Security Analysis and Design (1 paper(s))
17. Principles of Knowledge Representation and Reasoning (KR) (1 paper(s))
18. International Workshop on Meta-Programming in Logic (META) (1 paper(s))