Journals and Conferences that author prefers

Journals

1. Mathematical Structures in Computer Science (2 paper(s))
2. CoRR (2 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. Inf. Process. Lett. (1 paper(s))
5. J. Log. Algebr. Program. (1 paper(s))
6. Discrete Mathematics & Theoretical Computer Science (1 paper(s))
7. Inf. Comput. (1 paper(s))

Conferences

1. (10 paper(s))
2. Conference for Computer Science Logic (CSL) (5 paper(s))
3. Asian Computing Science Conference (ASIAN) (2 paper(s))
4. Logic in Computer Science (LICS) (2 paper(s))
5. TYPES Workshops (2 paper(s))
6. Computer Aided Verification (CAV) (1 paper(s))
7. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
8. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
9. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
11. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
12. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
13. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))