Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (1 paper(s))
2. J. Log. Algebr. Program. (1 paper(s))
3. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Logic in Computer Science (LICS) (4 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
3. International Conference on Logic Programming (3 paper(s))
4. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (3 paper(s))
5. Asian Symposium on Programming Languages and Systems (1 paper(s))
6. Principles and Practice of Constraint Programming (1 paper(s))
7. Architektur von Rechensystemen (1 paper(s))
8. Static Analysis (WSA/SAS) (1 paper(s))
9. Asian Computing Science Conference (ASIAN) (1 paper(s))
10. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
11. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Design, Automation, and Test in Europe (1 paper(s))
14. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
15. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
16. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
17. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))