Journals and Conferences that author prefers

Journals

1. Int. J. Inf. Sec. (2 paper(s))
2. J. Applied Logic (1 paper(s))
3. J. Autom. Reasoning (1 paper(s))
4. Journal of Computer Security (1 paper(s))
5. J. Exp. Theor. Artif. Intell. (1 paper(s))
6. STTT (1 paper(s))

Conferences

1. (7 paper(s))
2. IEEE Symposium on Security and Privacy (S&P) (2 paper(s))
3. International Conference on Automated Deduction (CADE) (2 paper(s))
4. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
5. Publications Resulting from Dagstuhl Seminars (2 paper(s))
6. World Congress on Formal Methods (FM) (2 paper(s))
7. Asian Symposium on Programming Languages and Systems (1 paper(s))
8. Static Analysis (WSA/SAS) (1 paper(s))
9. Birthday ... (1 paper(s))
10. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
11. Conference on Computer and Communications Security (CCS) (1 paper(s))
12. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
13. European Symposium on Programming (ESOP) (1 paper(s))
14. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
15. The Florida AI Research Society (FLAIRS) (1 paper(s))
16. IFIP WG 1.7 Publications (1 paper(s))
17. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
18. Deutsche Jahrestagung für Künstliche Intelligenz (1 paper(s))
19. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))