Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (12 paper(s))
2. CoRR (4 paper(s))
3. STTT (2 paper(s))
4. Computers and Artificial Intelligence (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Briefings in Bioinformatics (1 paper(s))

Conferences

1. (13 paper(s))
2. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (3 paper(s))
3. SPIN (3 paper(s))
4. (2 paper(s))
5. Computer Aided Verification (CAV) (2 paper(s))
6. Algebraic and Logic Programming (ALP) (1 paper(s))
7. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
8. Formal Methods for Components and Objects (1 paper(s))
9. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
10. Automated Software Engineering (ASE) (1 paper(s))
11. North American Process Algebra Workshop (1 paper(s))
12. Process Algebra and Probabilistic Methods (1 paper(s))
13. Parallel Computing (PARCO) (1 paper(s))
14. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
15. International Conference on Engineering of Complex Computer Systems (1 paper(s))