Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Inf. Comput. (3 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Comput. J. (2 paper(s))
5. ACM Comput. Surv. (2 paper(s))
6. Bulletin of the EATCS (1 paper(s))
7. J. Comput. Syst. Sci. (1 paper(s))
8. Mathematical Structures in Computer Science (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (9 paper(s))
2. Logic in Computer Science (LICS) (3 paper(s))
3. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
4. (2 paper(s))
5. Banff Higher Order Workshop (1 paper(s))
6. Birthday ... (1 paper(s))
7. Computer Aided Verification (CAV) (1 paper(s))
8. Conference for Computer Science Logic (CSL) (1 paper(s))
9. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
10. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
11. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
12. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))