Journals and Conferences that author prefers

Journals

1. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
2. Ann. Pure Appl. Logic (1 paper(s))
3. Computers & OR (1 paper(s))
4. J. Autom. Reasoning (1 paper(s))
5. Proceedings of the IEEE (1 paper(s))
6. ACM Trans. Comput. Log. (1 paper(s))
7. Discrete Mathematics & Theoretical Computer Science (1 paper(s))
8. CoRR (1 paper(s))

Conferences

1. (13 paper(s))
2. Hybrid Systems (6 paper(s))
3. International Conference on Automated Deduction (CADE) (5 paper(s))
4. Computer Aided Verification (CAV) (3 paper(s))
5. Rewriting Techniques and Applications (RTA) (3 paper(s))
6. Conference for Computer Science Logic (CSL) (2 paper(s))
7. European Symposium on Programming (ESOP) (2 paper(s))
8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
9. Hawaii International Conference on System Sciences (HICSS) (2 paper(s))
10. (1 paper(s))
11. (1 paper(s))
12. Frontiers of Combining Systems (FroCoS) (1 paper(s))
13. Logic in Computer Science (LICS) (1 paper(s))
14. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
15. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
16. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))