Journals and Conferences that author prefers

Journals

1. J. Funct. Program. (2 paper(s))
2. Computer Networks (1 paper(s))
3. Concurrency and Computation: Practice and Experience (1 paper(s))
4. Mobile Computing and Communications Review (1 paper(s))
5. Software and System Modeling (1 paper(s))

Conferences

1. (6 paper(s))
2. Feature Interactions in Telecommunications and Software Systems (3 paper(s))
3. Symposium on Applications and the Internet (2 paper(s))
4. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
5. Active Networks (IWAN) (2 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
7. Rewriting Techniques and Applications (RTA) (1 paper(s))
8. International Conference on Automated Deduction (CADE) (1 paper(s))
9. Constraints in Computational Logics (CCL) (1 paper(s))
10. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
11. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
12. Workshop on Autonomic Communication (1 paper(s))
13. (1 paper(s))
14. (1 paper(s))
15. GI-Jahrestagung (1 paper(s))
16. Generative Programming and Component Engineering (1 paper(s))
17. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
18. Logic in Computer Science (LICS) (1 paper(s))
19. (1 paper(s))
20. Symposium on Principles of Programming Languages (POPL) (1 paper(s))