Journals and Conferences that author prefers

Journals

1. CoRR (30 paper(s))
2. Electr. Notes Theor. Comput. Sci. (4 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. J. Artif. Intell. Res. (JAIR) (2 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. ITA (1 paper(s))
7. J. Funct. Program. (1 paper(s))
8. Logical Methods in Computer Science (1 paper(s))
9. J. Log. Comput. (1 paper(s))
10. ACM Trans. Inf. Syst. Secur. (1 paper(s))
11. J. ACM (1 paper(s))

Conferences

1. (7 paper(s))
2. Uncertainty in Artificial Intelligence (4 paper(s))
3. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
4. Artificial Intelligence and Mathematics (1 paper(s))
5. Conference on Computer and Communications Security (CCS) (1 paper(s))
6. Formal Aspects of Security (1 paper(s))
7. Formal Methods for Components and Objects (1 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
9. International Conference on Computer Languages (ICCL) (1 paper(s))
10. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
11. Joint Modular Languages Conference (JMLC) (1 paper(s))
12. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
13. Theoretical Aspects of Rationality and Knowledge (1 paper(s))