Journals and Conferences that author prefers

Journals

1. CoRR (27 paper(s))
2. Inf. Comput. (1 paper(s))
3. Inf. Process. Lett. (1 paper(s))
4. J. Autom. Reasoning (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (35 paper(s))
2. Conference for Computer Science Logic (CSL) (5 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
4. Quantitative Evaluation of Systems (3 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
6. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
7. Logic in Computer Science (LICS) (2 paper(s))
8. Symposium on Discrete Algorithms (SODA) (2 paper(s))
9. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
10. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
11. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
12. Uncertainty in Artificial Intelligence (1 paper(s))
13. Formal Methods for Components and Objects (1 paper(s))
14. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
15. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
16. International Workshop on Distributed Computing (IWDC) (1 paper(s))
17. Static Analysis (WSA/SAS) (1 paper(s))