Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (9 paper(s))
2. Electr. Notes Theor. Comput. Sci. (8 paper(s))
3. Ann. Pure Appl. Logic (5 paper(s))
4. Inf. Comput. (4 paper(s))
5. J. Symb. Log. (3 paper(s))
6. Bulletin of Symbolic Logic (1 paper(s))
7. Bulletin of the EATCS (1 paper(s))
8. J. Autom. Reasoning (1 paper(s))
9. J. Log. Algebr. Program. (1 paper(s))

Conferences

1. Logic in Computer Science (LICS) (8 paper(s))
2. (7 paper(s))
3. IEEE Computer Security Foundations Workshop (CSFW) (6 paper(s))
4. Conference on Computer and Communications Security (CCS) (2 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
6. European Symposium on Research in Computer Security (ESORICS) (2 paper(s))
7. Annual Symposium on Foundations of Computer Science (FOCS) (2 paper(s))
8. ISSS (2 paper(s))
9. International Conference on Automated Deduction (CADE) (1 paper(s))
10. Mathematical Foundations of Programming Semantics (1 paper(s))
11. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
12. Theory of Cryptography (1 paper(s))
13. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
14. Conference for Computer Science Logic (CSL) (1 paper(s))
15. World Congress on Formal Methods (FM) (1 paper(s))
16. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
17. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
18. Logic Colloquium (1 paper(s))