Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Commun. ACM (2 paper(s))
3. STTT (1 paper(s))
4. Theor. Comput. Sci. (1 paper(s))
5. Concurrency and Computation: Practice and Experience (1 paper(s))

Conferences

1. (18 paper(s))
2. Computer Aided Verification (CAV) (4 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
4. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (3 paper(s))
5. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
6. Formal Methods for Open Object-Based Distributed Systems (2 paper(s))
7. International Conference on Software Engineering (ICSE) (2 paper(s))
8. Quantitative Evaluation of Systems (2 paper(s))
9. Asian Computing Science Conference (ASIAN) (1 paper(s))
10. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
11. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
12. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
13. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
14. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
15. (1 paper(s))
16. IEEE International Conference on Formal Engineering Methods (1 paper(s))
17. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))