Journals and Conferences that author prefers

Journals

1. ACM Trans. Program. Lang. Syst. (9 paper(s))
2. Theor. Comput. Sci. (8 paper(s))
3. Inf. Comput. (5 paper(s))
4. J. Funct. Program. (4 paper(s))
5. Sci. Comput. Program. (3 paper(s))
6. Electr. Notes Theor. Comput. Sci. (3 paper(s))
7. ACM Trans. Comput. Syst. (3 paper(s))
8. J. Cryptology (3 paper(s))
9. TAPOS (2 paper(s))
10. J. ACM (2 paper(s))
11. Journal of Computer Security (2 paper(s))
12. IEEE Trans. Software Eng. (2 paper(s))
13. Computer Networks (1 paper(s))
14. Operating Systems Review (1 paper(s))
15. Int. J. Found. Comput. Sci. (1 paper(s))
16. Inf. Process. Lett. (1 paper(s))
17. ACM Trans. Comput. Log. (1 paper(s))
18. ACM Trans. Internet Techn. (1 paper(s))
19. J. Comput. Syst. Sci. (1 paper(s))
20. ACM Trans. Inf. Syst. Secur. (1 paper(s))
21. J. Symb. Comput. (1 paper(s))
22. Mathematical Structures in Computer Science (1 paper(s))
23. Nord. J. Comput. (1 paper(s))

Conferences

1. (18 paper(s))
2. Logic in Computer Science (LICS) (12 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (11 paper(s))
4. IEEE Computer Security Foundations Workshop (CSFW) (8 paper(s))
5. European Symposium on Programming (ESOP) (4 paper(s))
6. Foundations of Software Science and Computation Structure (FoSSaCS) (4 paper(s))
7. Theoretical Aspects of Computer Software (TACS) (4 paper(s))
8. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
9. Symposium on Operating Systems Principles (SOSP) (3 paper(s))
10. Conference on Computer and Communications Security (CCS) (3 paper(s))
11. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (3 paper(s))
12. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
13. International Crytology Conference (CRYPTO) (3 paper(s))
14. European Conference on Object-Oriented Programming (ECOOP) (3 paper(s))
15. European Conference on Object-Oriented Programming (ECOOP): Workshops (3 paper(s))
16. IEEE Symposium on Security and Privacy (S&P) (2 paper(s))
17. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
18. Network and Distributed System Security Symposium (NDSS) (2 paper(s))
19. Privacy Enhancing Technologies (2 paper(s))
20. TAPSOFT (2 paper(s))
21. ACM SIGPLAN International Conference on Functional Programming (ICFP) (2 paper(s))
22. International Conference on Typed Lambda Calculus and Applications (TLCA) (2 paper(s))
23. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
24. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
25. Asian Symposium on Programming Languages and Systems (1 paper(s))
26. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
27. Asian Computing Science Conference (ASIAN) (1 paper(s))
28. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
29. NATO Advanced Study Institute (1 paper(s))
30. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
31. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
32. Birthday ... (1 paper(s))
33. Operating Systems Design and Implementation (OSDI) (1 paper(s))
34. Symposium on the Theory of Computing (STOC) (1 paper(s))
35. International Conference on Automated Deduction (CADE) (1 paper(s))
36. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
37. IEEE International Conference on Formal Engineering Methods (1 paper(s))
38. Symposium on Principles of Database Systems (PODS) (1 paper(s))
39. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
40. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
41. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
42. International World Wide Web Conferences (WWW) (1 paper(s))
43. Publications Resulting from Dagstuhl Seminars (1 paper(s))
44. ISSS (1 paper(s))
45. Automated Technology for Verification and Analysis (1 paper(s))
46. International Workshop on Database Programming Languages (1 paper(s))
47. Static Analysis (WSA/SAS) (1 paper(s))
48. Foundations of Security Analysis and Design (1 paper(s))
49. Logic of Programs (1 paper(s))
50. Information Security (1 paper(s))
51. EuroSys (1 paper(s))
52. Russian Conference on Logic Programming / (1 paper(s))