Journals and Conferences that author prefers

Journals

1. J. Scheduling (2 paper(s))
2. Comput. J. (1 paper(s))
3. Applied Mathematics and Computation (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. J. Autom. Reasoning (1 paper(s))
6. Future Generation Comp. Syst. (1 paper(s))
7. Acta Inf. (1 paper(s))
8. Formal Methods in System Design (1 paper(s))
9. Ann. Math. Artif. Intell. (1 paper(s))
10. Int. J. Found. Comput. Sci. (1 paper(s))
11. Cluster Computing (1 paper(s))
12. JAMDS (1 paper(s))
13. Computing (1 paper(s))
14. J. Math. Model. Algorithms (1 paper(s))
15. J. Symb. Comput. (1 paper(s))
16. Math. Log. Q. (1 paper(s))
17. Mathematical Structures in Computer Science (1 paper(s))
18. Theory Comput. Syst. (1 paper(s))
19. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. (5 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
3. Asian Computing Science Conference (ASIAN) (2 paper(s))
4. High Performance Computing (HiPC) (2 paper(s))
5. International Conference on Computational Science (ICCS) (2 paper(s))
6. Ad-Hoc Networks and Wireless (1 paper(s))
7. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
8. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
9. (1 paper(s))
10. International Conference on Automated Deduction (CADE) (1 paper(s))
11. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
12. Computing and Combinatorics (COCOON) (1 paper(s))
13. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
14. Discrete Mathematics and Theoretical Computer Science (1 paper(s))
15. Formal Modeling and Analysis of Timed Systems (1 paper(s))
16. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
17. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
18. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
19. Theory and Applications of Satisfiability Testing (1 paper(s))