Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Formal Asp. Comput. (2 paper(s))
3. Formal Methods in System Design (2 paper(s))
4. J. Log. Comput. (2 paper(s))
5. Inf. Comput. (1 paper(s))
6. Logic Journal of the IGPL (1 paper(s))
7. ITA (1 paper(s))
8. Mathematical Structures in Computer Science (1 paper(s))
9. Studia Logica (1 paper(s))
10. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
2. (4 paper(s))
3. Conference for Computer Science Logic (CSL) (2 paper(s))
4. Computer Aided Verification (CAV) (1 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
7. TAPSOFT (1 paper(s))
8. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
9. TYPES Workshops (1 paper(s))
10. European Symposium on Programming (ESOP) (1 paper(s))
11. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
12. Games for Logic and Programming Languages (1 paper(s))
13. GI-Jahrestagung (1 paper(s))
14. Higher-Order Algebra, Logic and Term Rewriting (HOA) (1 paper(s))
15. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
16. Synthesis for Control Dominated Circuits (1 paper(s))
17. Protocol Specification, Testing and Verification (1 paper(s))
18. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))