Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (5 paper(s))
2. STTT (3 paper(s))
3. J. Log. Algebr. Program. (2 paper(s))
4. ACM Trans. Program. Lang. Syst. (2 paper(s))
5. Constraints (1 paper(s))
6. Bulletin of the EATCS (1 paper(s))
7. Inf. Comput. (1 paper(s))
8. Theory Comput. Syst. (1 paper(s))
9. SIAM J. Comput. (1 paper(s))
10. TPLP (1 paper(s))
11. CoRR (1 paper(s))
12. Discrete Mathematics (1 paper(s))
13. it - Information Technology (1 paper(s))

Conferences

1. (16 paper(s))
2. Principles and Practice of Constraint Programming (CP) (6 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (6 paper(s))
4. Static Analysis (WSA/SAS) (5 paper(s))
5. Symposium on Logic Programming (SLP / ILPS / NACLP) (4 paper(s))
6. Verification, Model Checking and Abstract Interpretation (VMCAI) (4 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
8. Logic in Computer Science (LICS) (3 paper(s))
9. International Conference on Logic Programming (3 paper(s))
10. Conference for Computer Science Logic (CSL) (2 paper(s))
11. SPIN (2 paper(s))
12. TAPSOFT (2 paper(s))
13. European Symposium on Programming (ESOP) (2 paper(s))
14. Practical Aspects of Declarative Languages (PADL) (2 paper(s))
15. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2 paper(s))
16. Hybrid Systems (2 paper(s))
17. Rewriting Techniques and Applications (RTA) (2 paper(s))
18. Computer Aided Verification (CAV) (1 paper(s))
19. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
20. International Conference on Computational Logic (CL) (1 paper(s))
21. Journées Francophones de Programmation Logique par Contraintes (1 paper(s))
22. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
23. Russian Conference on Logic Programming / (1 paper(s))
24. Extensions of Logic Programming (ELP) (1 paper(s))
25. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
26. Ershov Memorial Conference (1 paper(s))
27. Mathematical Foundations of Programming Semantics (1 paper(s))
28. Fifth Generation Computer Systems (1 paper(s))
29. Formal Modeling and Analysis of Timed Systems (1 paper(s))
30. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
31. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
32. (1 paper(s))
33. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
34. Principles and Practice of Constraint Programming (1 paper(s))
35. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
36. Symposium on Abstraction, Reformulation and Approximation (SARA) (1 paper(s))