Journals and Conferences that author prefers

Journals

1. Inf. Comput. (2 paper(s))
2. Inf. Process. Lett. (1 paper(s))
3. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (3 paper(s))
2. European Symposium on Programming (ESOP) (3 paper(s))
3. Logic in Computer Science (LICS) (3 paper(s))
4. Conference for Computer Science Logic (CSL) (2 paper(s))
5. Rewriting Techniques and Applications (RTA) (2 paper(s))
6. Constraints in Computational Logics (CCL) (1 paper(s))
7. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
9. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
10. Principles and Practice of Constraint Programming (CP) (1 paper(s))
11. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
12. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
13. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
14. International Conference on Logic Programming (1 paper(s))
15. Word Equations and Related Topics (1 paper(s))
16. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
17. Static Analysis (WSA/SAS) (1 paper(s))