Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. J. Log. Algebr. Program. (2 paper(s))
3. Formal Asp. Comput. (1 paper(s))
4. Logic Journal of the IGPL (1 paper(s))
5. STTT (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))
7. ACM Trans. Program. Lang. Syst. (1 paper(s))
8. Bell Labs Technical Journal (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (5 paper(s))
2. SPIN (3 paper(s))
3. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
4. International Conference on Logic Programming (2 paper(s))
5. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
6. (2 paper(s))
7. World Congress on Formal Methods (FM) (1 paper(s))
8. Formal Methods for Components and Objects (1 paper(s))
9. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
10. Logic in Computer Science (LICS) (1 paper(s))
11. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
12. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))