Journals and Conferences that author prefers

Journals

1. Int. J. Found. Comput. Sci. (1 paper(s))
2. ACM Trans. Design Autom. Electr. Syst. (1 paper(s))
3. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
4. Bell Labs Technical Journal (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (12 paper(s))
2. (6 paper(s))
3. Verification, Model Checking and Abstract Interpretation (VMCAI) (3 paper(s))
4. Logic in Computer Science (LICS) (2 paper(s))
5. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
6. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
7. Feature Interactions in Telecommunications and Software Systems (1 paper(s))
8. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
9. Formal Methods for Components and Objects (1 paper(s))
10. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
11. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
12. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
13. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))