Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Inf. Comput. (3 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Acta Inf. (1 paper(s))
5. J. Symb. Log. (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
2. Colloquium on Trees in Algebra and Programming (CAAP) (3 paper(s))
3. (2 paper(s))
4. Italian Conference on Theoretical Computer Science (ICTCS) (2 paper(s))
5. Birthday ... (1 paper(s))
6. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
7. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
8. Logic in Computer Science (LICS) (1 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
10. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))
11. Static Analysis (WSA/SAS) (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
14. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))