Journals and Conferences that author prefers

Journals

1. Inf. Comput. (10 paper(s))
2. Theor. Comput. Sci. (6 paper(s))
3. J. Log. Comput. (4 paper(s))
4. Electr. Notes Theor. Comput. Sci. (3 paper(s))
5. Fundam. Inform. (3 paper(s))
6. IEEE Transactions on Information Theory (2 paper(s))
7. Acta Inf. (1 paper(s))
8. Bulletin of the EATCS (1 paper(s))
9. Logic Journal of the IGPL (1 paper(s))
10. Inf. Process. Lett. (1 paper(s))
11. Journal of Automata, Languages and Combinatorics (1 paper(s))
12. J. Symb. Log. (1 paper(s))
13. CoRR (1 paper(s))

Conferences

1. Conference for Computer Science Logic (CSL) (5 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
3. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
5. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
6. Logic in Computer Science (LICS) (2 paper(s))
7. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC) (1 paper(s))
8. Mathematical Foundations of Programming Semantics (1 paper(s))
9. Computer Aided Verification (CAV) (1 paper(s))
10. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
11. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
12. Russian Conference on Logic Programming / (1 paper(s))
13. (1 paper(s))
14. Ershov Memorial Conference (1 paper(s))
15. Fundamentals of Computation Theory (FCT) (1 paper(s))
16. Formal Modeling and Analysis of Timed Systems (1 paper(s))
17. Logical Foundations of Computer Science (LFCS) (1 paper(s))