Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. CoRR (2 paper(s))
3. Inf. Comput. (1 paper(s))
4. STTT (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (7 paper(s))
2. (6 paper(s))
3. Logic in Computer Science (LICS) (3 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
5. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
6. Birthday ... (1 paper(s))
7. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
8. International Conference on Automated Deduction (CADE) (1 paper(s))
9. Computational Methods in Systems Biology (1 paper(s))
10. Conference for Computer Science Logic (CSL) (1 paper(s))
11. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
12. Russian Conference on Logic Programming / (1 paper(s))
13. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
15. Design, Automation, and Test in Europe (1 paper(s))