Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (4 paper(s))
2. Formal Asp. Comput. (2 paper(s))
3. Inf. Process. Lett. (2 paper(s))
4. CoRR (1 paper(s))
5. J. ACM (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. Mathematical Structures in Computer Science (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. IEEE Software (1 paper(s))
10. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (9 paper(s))
2. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
3. Programming Concepts, Methods and Calculi (PROCOMET) (2 paper(s))
4. Publications Resulting from Dagstuhl Seminars (2 paper(s))
5. IEEE Symposium on Security and Privacy (S&P) (2 paper(s))
6. World Congress on Formal Methods (FM) (2 paper(s))
7. Mathematics of Program Construction (MPC) (2 paper(s))
8. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (1 paper(s))
9. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
10. Static Analysis (WSA/SAS) (1 paper(s))
11. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
12. Technical Symposium on Computer Science Education (1 paper(s))
13. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
14. (1 paper(s))
15. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
16. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
17. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
18. Formal Methods for Components and Objects (1 paper(s))
19. Logic in Computer Science (LICS) (1 paper(s))
20. Programming Languages and System Architectures (1 paper(s))
21. Symposium on Principles of Programming Languages (POPL) (1 paper(s))