Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (12 paper(s))
2. J. Symb. Comput. (11 paper(s))
3. Artif. Intell. (5 paper(s))
4. Theor. Comput. Sci. (5 paper(s))
5. Acta Inf. (2 paper(s))
6. SIAM J. Comput. (2 paper(s))
7. Electr. Notes Theor. Comput. Sci. (2 paper(s))
8. J. Log. Algebr. Program. (2 paper(s))
9. Sci. Comput. Program. (2 paper(s))
10. STTT (1 paper(s))
11. Computer Vision and Image Understanding (1 paper(s))
12. Formal Methods in System Design (1 paper(s))
13. Inf. Comput. (1 paper(s))
14. Inf. Process. Lett. (1 paper(s))
15. Theory Comput. Syst. (1 paper(s))
16. New Generation Comput. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (13 paper(s))
2. Rewriting Techniques and Applications (RTA) (11 paper(s))
3. (10 paper(s))
4. International Symposium on Symbolic and Algebraic Computation (ISSAC) (9 paper(s))
5. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (7 paper(s))
6. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
8. Asian Computing Science Conference (ASIAN) (2 paper(s))
9. Logic in Computer Science (LICS) (2 paper(s))
10. Birthday ... (2 paper(s))
11. TAPSOFT (2 paper(s))
12. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
13. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
14. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
15. Languages and Compilers for Parallel Computing (LCPC) (1 paper(s))
16. Automated Deduction in Geometry (ADG) (1 paper(s))
17. Symbolic and Algebraic Computation (EUROSAM) (1 paper(s))
18. International Syposium on Methodologies for Intelligent Systems (ISMIS) (1 paper(s))
19. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
20. UK Conference on Logic Programming (ALPUK) (1 paper(s))
21. World Congress on Formal Methods (FM) (1 paper(s))
22. Field-Programmable Logic and Applications (FPL) (1 paper(s))
23. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
24. Frontiers of Combining Systems (FroCoS) (1 paper(s))
25. Russian Conference on Logic Programming / (1 paper(s))
26. First Order Theorem Proving (FTP) (1 paper(s))
27. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
28. Computer Algebra in Scientific Computing (1 paper(s))
29. High-Assurance Systems (HASE) (1 paper(s))
30. Computer Aided Verification (CAV) (1 paper(s))
31. IEEE International Symposium on High Performance Distributed Computing (HPDC) (1 paper(s))
32. Static Analysis (WSA/SAS) (1 paper(s))
33. USENIX Conference on Object-Oriented Technologies and Systems (1 paper(s))
34. Hybrid Systems (1 paper(s))
35. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
36. Conference for Computer Science Logic (CSL) (1 paper(s))
37. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
38. Symposium on the Theory of Computing (STOC) (1 paper(s))
39. Publications Resulting from Dagstuhl Seminars (1 paper(s))
40. International Conference on Logic Programming (1 paper(s))
41. Data Base Workshops (1 paper(s))
42. International Colloquium on Theoretical Aspects of Computing (1 paper(s))