Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (3 paper(s))
2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
3. ACM Trans. Program. Lang. Syst. (2 paper(s))
4. CoRR (2 paper(s))
5. Journal of Computer Security (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. J. Log. Comput. (1 paper(s))
9. Mathematical Structures in Computer Science (1 paper(s))
10. Technique et Science Informatiques (1 paper(s))

Conferences

1. (10 paper(s))
2. European Symposium on Programming (ESOP) (5 paper(s))
3. Static Analysis (WSA/SAS) (4 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
5. International Conference on Computer Languages (ICCL) (2 paper(s))
6. Imperial College Workshops (2 paper(s))
7. Birthday ... (1 paper(s))
8. Logic in Computer Science (LICS) (1 paper(s))
9. CARDIS (1 paper(s))
10. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
11. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
12. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
13. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
14. Research in Smart Cards (E-smart) (1 paper(s))
15. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
16. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
17. Rewriting Techniques and Applications (RTA) (1 paper(s))
18. Fixed Points in Computer Science (1 paper(s))
19. World Congress on Formal Methods (FM) (1 paper(s))
20. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
21. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))