Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (3 paper(s))
2. ACM Trans. Program. Lang. Syst. (3 paper(s))
3. J. Log. Algebr. Program. (2 paper(s))
4. ACM Trans. Inf. Syst. Secur. (2 paper(s))
5. Electr. Notes Theor. Comput. Sci. (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. CoRR (1 paper(s))

Conferences

1. (16 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (5 paper(s))
3. Logic in Computer Science (LICS) (2 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
5. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
6. European Symposium on Programming (ESOP) (2 paper(s))
7. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
8. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
9. Advanced Courses (1 paper(s))
10. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
11. Advanced Functional Programming (1 paper(s))
12. ISSS (1 paper(s))
13. Asian Symposium on Programming Languages and Systems (1 paper(s))
14. Computer Aided Verification (CAV) (1 paper(s))
15. Network and Distributed System Security Symposium (NDSS) (1 paper(s))
16. Conference on Computer and Communications Security (CCS) (1 paper(s))
17. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
18. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
19. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
20. (1 paper(s))
21. Formal Methods for Components and Objects (1 paper(s))
22. International Conference on Network Protocols (1 paper(s))