Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (10 paper(s))
2. Acta Inf. (9 paper(s))
3. Inf. Comput. (6 paper(s))
4. Electr. Notes Theor. Comput. Sci. (3 paper(s))
5. Fundam. Inform. (2 paper(s))
6. Combinatorica (1 paper(s))
7. J. Log. Program. (1 paper(s))
8. Discrete Applied Mathematics (1 paper(s))
9. CoRR (1 paper(s))
10. Distributed Computing (1 paper(s))
11. Bulletin of the EATCS (1 paper(s))
12. Formal Methods in System Design (1 paper(s))
13. Inf. Process. Lett. (1 paper(s))
14. ITA (1 paper(s))
15. J. Comb. Theory, Ser. B (1 paper(s))
16. Theory Comput. Syst. (1 paper(s))

Conferences

1. Applications and Theory of Petri Nets (ICATPN/APN) (8 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (7 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (7 paper(s))
4. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
5. Foundations of Software Science and Computation Structure (FoSSaCS) (4 paper(s))
6. International Conference on Application of Concurrency to System Design (3 paper(s))
7. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
8. (3 paper(s))
9. Workshop on Graph-Theoretic Concepts in Computer Science (WG) (2 paper(s))
10. Advanced Courses (1 paper(s))
11. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
12. Asia-Pacific Conference on Quality Software (1 paper(s))
13. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
14. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
15. Birthday ... (1 paper(s))
16. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
17. Computer Aided Verification (CAV) (1 paper(s))
18. TAPSOFT (1 paper(s))
19. International Symposium on Distributed Computing (DISC) (1 paper(s))
20. Formal Modeling and Analysis of Timed Systems (1 paper(s))
21. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
22. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
23. Graph Grammars Workshops / Int. Conf. on Graph Transformation (1 paper(s))