Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. STTT (2 paper(s))
3. Comput. J. (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. IEEE Software (1 paper(s))

Conferences

1. International Conference on Theorem Proving in Higher Order Logics (8 paper(s))
2. (6 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
4. International Conference on Automated Deduction (CADE) (2 paper(s))
5. Birthday ... (1 paper(s))
6. Computer Aided Verification (CAV) (1 paper(s))
7. Database and Expert Systems Applications (DEXA) (1 paper(s))
8. Extensions of Logic Programming (ELP) (1 paper(s))
9. International Conference on Requirements Engineering (1 paper(s))
10. Mathematical Foundations of Programming Semantics (1 paper(s))
11. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Trustworthy Global Computing (1 paper(s))