Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (3 paper(s))
2. IEEE Design & Test of Computers (1 paper(s))
3. Inf. Comput. (1 paper(s))
4. Inf. Process. Lett. (1 paper(s))
5. J. Log. Algebr. Program. (1 paper(s))
6. Sci. Comput. Program. (1 paper(s))
7. IEEE Software (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (5 paper(s))
2. Theorem Provers in Circuit Design (TPCD) (3 paper(s))
3. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
4. TAPSOFT (2 paper(s))
5. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
7. VLSI Design (1 paper(s))
8. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
9. Formal Hardware Verification (1 paper(s))
10. Fall Joint Computer Conference (1 paper(s))
11. International Conference on Computer Design (ICCD) (1 paper(s))
12. IEEE International Conference on Formal Engineering Methods (1 paper(s))
13. Mathematical Science Institute Workshops (1 paper(s))
14. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
15. Rewriting Techniques and Applications (RTA) (1 paper(s))