Journals and Conferences that author prefers

Journals

1. CoRR (12 paper(s))
2. Electr. Notes Theor. Comput. Sci. (6 paper(s))
3. Theor. Comput. Sci. (4 paper(s))
4. TPLP (3 paper(s))
5. J. Log. Algebr. Program. (2 paper(s))
6. ACM Trans. Program. Lang. Syst. (2 paper(s))
7. Annales des Télécommunications (1 paper(s))
8. Computer Languages, Systems & Structures (1 paper(s))
9. Int. J. Inf. Sec. (1 paper(s))
10. ACM Comput. Surv. (1 paper(s))
11. Journal of Functional and Logic Programming (1 paper(s))
12. J. Prog. Lang. (1 paper(s))
13. J. Log. Comput. (1 paper(s))
14. Softw., Pract. Exper. (1 paper(s))
15. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. (13 paper(s))
2. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (7 paper(s))
3. International Conference on Logic Programming (6 paper(s))
4. APPIA-GULP-PRODE (3 paper(s))
5. IFIP WG6.8 Publications (2 paper(s))
6. Conference on Computer and Communications Security (CCS) (2 paper(s))
7. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
8. ACM Symposium on Access Control Models and Technologies (SACMAT) (2 paper(s))
9. Information Security (2 paper(s))
10. Workshop on Information Security Applications (1 paper(s))
11. Birthday ... (1 paper(s))
12. IEEE International Workshop on Information Assurance (1 paper(s))
13. Foundations of Security Analysis and Design (1 paper(s))
14. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (1 paper(s))
15. Secure Data Management (1 paper(s))
16. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
17. Trust and Privacy in Digital Business (1 paper(s))
18. International Conference on Computational Logic (CL) (1 paper(s))
19. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
20. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
21. OTM Conferences / Workshops (1 paper(s))
22. European Symposium on Programming (ESOP) (1 paper(s))
23. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
24. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
25. International Conference on Asian Digital Libraries (1 paper(s))
26. Policies for Distributed Systems and Networks (1 paper(s))
27. International Conference on Enterprise Information Systems (ICEIS) (1 paper(s))
28. Static Analysis (WSA/SAS) (1 paper(s))
29. International Conference on Parallel Processing (ICPP) - Workshops (1 paper(s))
30. IFIP WG 1.7 Publications (1 paper(s))
31. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))