Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Inf. Process. Lett. (1 paper(s))
3. Theor. Comput. Sci. (1 paper(s))
4. IEEE Computer (1 paper(s))

Conferences

1. (2 paper(s))
2. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
3. International Conference on Computational Logic (CL) (1 paper(s))
4. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
5. Dependable Systems and Networks (1 paper(s))
6. Workshop on Object-Oriented Real-Time Dependable Systems (1 paper(s))
7. e-Technology, e-Commerce and e-Service (1 paper(s))
8. Ershov Memorial Conference (1 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
10. International Conference on Logic Programming (1 paper(s))
11. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
12. Object-Oriented Real-Time Distributed Computing (1 paper(s))
13. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
14. Requirements Engineering (1 paper(s))
15. Symposium on Abstraction, Reformulation and Approximation (SARA) (1 paper(s))
16. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))