Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. CoRR (4 paper(s))
3. J. ACM (1 paper(s))
4. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (5 paper(s))
2. Principles and Practice of Declarative Programming (PPDP) (4 paper(s))
3. International Conference on Logic Programming (3 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
5. Static Analysis (WSA/SAS) (2 paper(s))
6. European Symposium on Programming (ESOP) (2 paper(s))
7. Rewriting Techniques and Applications (RTA) (2 paper(s))
8. Logic in Computer Science (LICS) (2 paper(s))
9. Algebraic and Logic Programming (ALP) (1 paper(s))
10. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
11. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
12. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
13. Computer Aided Verification (CAV) (1 paper(s))
14. International Conference on Computational Logic (CL) (1 paper(s))
15. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
16. COMPASS Workshops (1 paper(s))
17. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
18. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
19. TIME Symposium / Workshop (1 paper(s))
20. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
21. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
22. Graph Grammars Workshops / Int. Conf. on Graph Transformation (1 paper(s))
23. Hybrid Systems (1 paper(s))