Journals and Conferences that author prefers

Journals

1. Inf. Process. Lett. (7 paper(s))
2. Theor. Comput. Sci. (7 paper(s))
3. Acta Inf. (5 paper(s))
4. Electr. Notes Theor. Comput. Sci. (5 paper(s))
5. Formal Asp. Comput. (2 paper(s))
6. Fundam. Inform. (2 paper(s))
7. Bulletin of the EATCS (1 paper(s))
8. Inf. Comput. (1 paper(s))
9. J. Comput. Syst. Sci. (1 paper(s))
10. SIAM J. Comput. (1 paper(s))

Conferences

1. (8 paper(s))
2. Formal Techniques for Networked and Distributed Systems / (3 paper(s))
3. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (2 paper(s))
4. IEEE International Conference on Formal Engineering Methods (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
7. Asian Computing Science Conference (ASIAN) (1 paper(s))
8. Birthday ... (1 paper(s))
9. Conference of the European Cooperation in Informatics (ECI) (1 paper(s))
10. Fundamentals of Computation Theory (FCT) (1 paper(s))
11. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
12. International Conference on Engineering of Complex Computer Systems (1 paper(s))
13. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
14. Workshop on Microprocessor Test and Verification (1 paper(s))
15. Process Algebra and Probabilistic Methods (1 paper(s))
16. SPIN (1 paper(s))
17. Theoretical Computer Science (1 paper(s))