Journals and Conferences that author prefers

Journals

1. Inf. Comput. (4 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Artif. Intell. (1 paper(s))
4. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
5. ACM Comput. Surv. (1 paper(s))
6. IEEE Trans. Software Eng. (1 paper(s))
7. Bulletin of the EATCS (1 paper(s))
8. Formal Methods in System Design (1 paper(s))
9. J. ACM (1 paper(s))
10. Journal of Computer Security (1 paper(s))
11. J. Funct. Program. (1 paper(s))
12. IEEE Software (1 paper(s))
13. Softw., Pract. Exper. (1 paper(s))
14. Theor. Comput. Sci. (1 paper(s))
15. IEEE Trans. Mob. Comput. (1 paper(s))

Conferences

1. (19 paper(s))
2. Logic in Computer Science (LICS) (4 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
4. IEEE Computer Security Foundations Workshop (CSFW) (3 paper(s))
5. Conference on Computer and Communications Security (CCS) (2 paper(s))
6. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
7. ACM Conference on LISP and Functional Programming (LFP) (2 paper(s))
8. Hawaii International Conference on System Sciences (HICSS) (2 paper(s))
9. Mathematical Foundations of Programming Semantics (2 paper(s))
10. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
11. International Conference on Computer Languages (ICCL) (1 paper(s))
12. Network and Distributed System Security Symposium (NDSS) (1 paper(s))
13. Asian Computing Science Conference (ASIAN) (1 paper(s))
14. International Conference on Distributed Computing Systems (ICDCS) - Workshops (1 paper(s))
15. Privacy Enhancing Technologies (1 paper(s))
16. International Conference on Automated Deduction (CADE) (1 paper(s))
17. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
18. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (1 paper(s))
19. International Conference on Requirements Engineering (1 paper(s))
20. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
21. International Conference on Service Oriented Computing (1 paper(s))
22. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
23. International Conference on Web Services (1 paper(s))
24. International Conference on Security in Pervasive Computing (1 paper(s))
25. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
26. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
27. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
28. European Conference on Web Services (1 paper(s))
29. IEEE INFOCOM (1 paper(s))
30. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
31. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
32. Annual Computer Security Applications Conference (1 paper(s))
33. Formal Methods in Software Practice (1 paper(s))
34. Active Networks (IWAN) (1 paper(s))
35. ACM Symposium on Access Control Models and Technologies (SACMAT) (1 paper(s))
36. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
37. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))