Journals and Conferences that author prefers

Journals

1. Acta Inf. (3 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Sci. Comput. Program. (3 paper(s))
4. Theor. Comput. Sci. (3 paper(s))
5. ACM Trans. Program. Lang. Syst. (2 paper(s))
6. Computer Languages, Systems & Structures (1 paper(s))
7. Inf. Comput. (1 paper(s))
8. Journal of Computer Security (1 paper(s))
9. J. Funct. Program. (1 paper(s))

Conferences

1. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
2. ACM SIGPLAN International Conference on Functional Programming (ICFP) (2 paper(s))
3. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (2 paper(s))
4. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (2 paper(s))
5. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE) (1 paper(s))
6. (1 paper(s))
7. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
8. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
9. International Conference on Computer Languages (ICCL) (1 paper(s))
10. IFIP WG 1.7 Publications (1 paper(s))
11. Russian Conference on Logic Programming / (1 paper(s))
12. Mobile Object Systems (1 paper(s))
13. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
14. Static Analysis (WSA/SAS) (1 paper(s))