Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Journal of Object Technology (2 paper(s))
3. ACM Comput. Surv. (1 paper(s))
4. IEEE Distributed Systems Online (1 paper(s))
5. IEE Proceedings - Software (1 paper(s))

Conferences

1. (23 paper(s))
2. Information Security (3 paper(s))
3. Annual Computer Security Applications Conference (2 paper(s))
4. Distributed Applications and Interoperable Systems (2 paper(s))
5. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
7. Software Composition (1 paper(s))
8. Conference on Computer and Communications Security (CCS) (1 paper(s))
9. Integrity and Internal Control in Information Systems (IICIS) (1 paper(s))
10. Conference for Computer Science Logic (CSL) (1 paper(s))
11. Workshop on Self-Healing Systems (1 paper(s))
12. Deductive Database Workshops (1 paper(s))
13. Diagrams (1 paper(s))
14. IEEE International Conference on Formal Engineering Methods (1 paper(s))
15. International Conference on Information and Communication Security (ICICS) (1 paper(s))
16. International Conference on Logic Programming (1 paper(s))
17. IEEE International Workshop on Information Assurance (1 paper(s))
18. Mobility Aware Technologies and Applications / (1 paper(s))