Journals and Conferences that author prefers

Journals

1. ACM Comput. Surv. (3 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Acta Inf. (1 paper(s))
5. Autom. Softw. Eng. (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. J. Log. Comput. (1 paper(s))
9. SIGPLAN Notices (1 paper(s))
10. CoRR (1 paper(s))
11. Commun. ACM (1 paper(s))

Conferences

1. (9 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (8 paper(s))
3. Static Analysis (WSA/SAS) (4 paper(s))
4. Birthday ... (3 paper(s))
5. International Conference on Logic Programming (2 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
8. APPIA-GULP-PRODE (1 paper(s))
9. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
10. IFIP World Computer Congress (1 paper(s))
11. Asian Symposium on Programming Languages and Systems (1 paper(s))
12. Language Design for Reliable Software (LDRS) (1 paper(s))
13. Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (1 paper(s))
14. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
15. Compiler Construction (CC) (1 paper(s))
16. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
17. Publications Resulting from Dagstuhl Seminars (1 paper(s))
18. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
19. Symposium on Abstraction, Reformulation and Approximation (SARA) (1 paper(s))
20. Ershov Memorial Conference (1 paper(s))
21. European Symposium on Programming (ESOP) (1 paper(s))
22. SPIN (1 paper(s))
23. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
24. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
25. (1 paper(s))
26. International Conference on Computer Languages (ICCL) (1 paper(s))