Journals and Conferences that author prefers

Journals

1. CoRR (4 paper(s))
2. Inf. Comput. (4 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. J. Comput. Syst. Sci. (3 paper(s))
5. ACM Comput. Surv. (2 paper(s))
6. Formal Methods in System Design (2 paper(s))
7. Theor. Comput. Sci. (2 paper(s))
8. ACM Trans. Program. Lang. Syst. (2 paper(s))
9. Inf. Process. Lett. (1 paper(s))
10. J. ACM (1 paper(s))
11. STTT (1 paper(s))
12. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (7 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
3. Logic in Computer Science (LICS) (3 paper(s))
4. (3 paper(s))
5. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
6. Symposium on Principles of Database Systems (PODS) (2 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
9. Static Analysis (WSA/SAS) (2 paper(s))
10. Annual Symposium on Foundations of Computer Science (FOCS) (2 paper(s))
11. Symposium on the Theory of Computing (STOC) (2 paper(s))
12. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
13. Logic of Programs (2 paper(s))
14. Automatic Verification Methods for Finite State Systems (1 paper(s))
15. International Conference on Automated Deduction (CADE) (1 paper(s))
16. Constraint Databases and Applications (CDB) (1 paper(s))
17. Principles and Practice of Constraint Programming (1 paper(s))
18. Protocol Specification, Testing and Verification (1 paper(s))
19. European Educational Forum (EEF) (1 paper(s))
20. International Conference on Database Theory (ICDT) (1 paper(s))
21. TIME Symposium / Workshop (1 paper(s))
22. International Conference on Logic Programming (1 paper(s))
23. Temporal Logic in Specification (1 paper(s))
24. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))