Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. L'OBJET (2 paper(s))
3. Formal Methods in System Design (1 paper(s))
4. Parallel Processing Letters (1 paper(s))
5. Future Generation Comp. Syst. (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. (7 paper(s))
2. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
3. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
4. Deontic Logic in Computer Science (1 paper(s))
5. International Conference on Distributed Computing Systems (ICDCS) - Workshops (1 paper(s))
6. Integrated Formal Methods (IFM) (1 paper(s))
7. INFORSID (1 paper(s))
8. Information Systems Technology and its Applications (1 paper(s))
9. ACM Symposium on Applied Computing (SAC) (1 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
11. Z Users Conference (ZUM) (1 paper(s))
12. (1 paper(s))
13. International Conference on Engineering of Complex Computer Systems (1 paper(s))