Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (6 paper(s))
2. Acta Inf. (2 paper(s))
3. Fundam. Inform. (2 paper(s))
4. ITA (2 paper(s))
5. CoRR (2 paper(s))
6. Sci. Ann. Cuza Univ. (1 paper(s))
7. Electr. Notes Theor. Comput. Sci. (1 paper(s))
8. Theory Comput. Syst. (1 paper(s))
9. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (5 paper(s))
2. Fundamentals of Computation Theory (FCT) (2 paper(s))
3. Software Engineering and Knowledge Engineering (SEKE) (2 paper(s))
4. TAPSOFT (2 paper(s))
5. Automated Technology for Verification and Analysis (1 paper(s))
6. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
7. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
8. IFIP World Computer Congress (1 paper(s))
9. Latin American Theoretical INformatics (LATIN) (1 paper(s))
10. Machines, Computations, and Universality (MCU) (1 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
12. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))