Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Formal Asp. Comput. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. Sci. Comput. Program. (1 paper(s))

Conferences

1. (12 paper(s))
2. (3 paper(s))
3. Foundations of Software Engineering (SIGSOFT FSE) (2 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
5. The Unified Modeling Language (UML) (1 paper(s))
6. Computer Aided Verification (CAV) (1 paper(s))
7. Workshop on Self-Healing Systems (1 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
9. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
10. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
11. Distributed Simulation and Real-Time Applications (1 paper(s))
12. International Conference on Software Engineering (ICSE) (1 paper(s))
13. Integrated Formal Methods (IFM) (1 paper(s))
14. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
15. Source Code Analysis and Manipulation (1 paper(s))
16. (1 paper(s))
17. TAPSOFT (1 paper(s))