Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (1 paper(s))
2. Inf. Process. Lett. (1 paper(s))
3. Theor. Comput. Sci. (1 paper(s))
4. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (5 paper(s))
2. European Symposium on Programming (ESOP) (4 paper(s))
3. Static Analysis (WSA/SAS) (3 paper(s))
4. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
5. Compiler Construction (CC) (2 paper(s))
6. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
7. Birthday ... (1 paper(s))
8. Symposium on the Theory of Computing (STOC) (1 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
10. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
11. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
12. World Congress on Formal Methods (FM) (1 paper(s))
13. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
15. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
16. Russian Conference on Logic Programming / (1 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (1 paper(s))