Journals and Conferences that author prefers

Journals

1. CoRR (6 paper(s))
2. Inf. Comput. (6 paper(s))
3. Inf. Process. Lett. (6 paper(s))
4. Theor. Comput. Sci. (5 paper(s))
5. Acta Inf. (4 paper(s))
6. ACM Trans. Program. Lang. Syst. (4 paper(s))
7. IEEE Trans. Software Eng. (3 paper(s))
8. Journal of Logic, Language and Information (3 paper(s))
9. Sci. Comput. Program. (3 paper(s))
10. Distributed Computing (2 paper(s))
11. Logic Journal of the IGPL (2 paper(s))
12. J. Comput. Syst. Sci. (2 paper(s))
13. Operating Systems Review (1 paper(s))
14. Ann. Math. Artif. Intell. (1 paper(s))
15. Commun. ACM (1 paper(s))
16. Formal Asp. Comput. (1 paper(s))
17. Grammars (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
2. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (4 paper(s))
3. Logical Aspects of Computational Linguistics (LACL) (3 paper(s))
4. Annual Symposium on Foundations of Computer Science (FOCS) (3 paper(s))
5. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
6. Logic of Programs (2 paper(s))
7. International Conference on Computational Linguistics (COLING) (2 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
9. (2 paper(s))
10. International Conference on Distributed Computing Systems (ICDCS) (2 paper(s))
11. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
12. International Conference on Automated Deduction (CADE) (1 paper(s))
13. Computer Aided Verification (CAV) (1 paper(s))
14. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
15. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
16. Publications Resulting from Dagstuhl Seminars (1 paper(s))
17. Conference of the European Chapter of the Association for Computational Linguistics (EACL) (1 paper(s))
18. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
19. Rewriting Techniques and Applications (RTA) (1 paper(s))
20. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
21. Semantics of Concurrent Computation (1 paper(s))
22. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
23. International Conference on Computer Languages (ICCL) (1 paper(s))
24. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))