Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (4 paper(s))
2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
3. Formal Asp. Comput. (1 paper(s))
4. Theor. Comput. Sci. (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (5 paper(s))
2. Hybrid Systems (2 paper(s))
3. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
4. SPIN (1 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
7. Asian Computing Science Conference (ASIAN) (1 paper(s))
8. TAPSOFT (1 paper(s))
9. Birthday ... (1 paper(s))
10. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
11. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
12. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
13. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
15. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
16. Requirements Targeting Software and Systems Engineering (RTSE) (1 paper(s))