Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. CoRR (3 paper(s))
3. J. Comput. Sci. Technol. (2 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. J. Log. Algebr. Program. (1 paper(s))
7. J. UCS (1 paper(s))
8. Nord. J. Comput. (1 paper(s))
9. J. Log. Program. (1 paper(s))

Conferences

1. (15 paper(s))
2. Automated Technology for Verification and Analysis (2 paper(s))
3. Birthday ... (2 paper(s))
4. IEEE International Conference on Formal Engineering Methods (2 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. (1 paper(s))
8. Formal Modeling and Analysis of Timed Systems (1 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
10. Future Trends of Distributed Computer Systems (1 paper(s))
11. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
12. Parallel and Distributed Computing: Applications and Technologies (1 paper(s))
13. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
14. (1 paper(s))
15. Applied Cryptography and Network Security (1 paper(s))
16. IFIP WG 1.7 Publications (1 paper(s))