Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (4 paper(s))
2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
3. Sci. Comput. Program. (2 paper(s))
4. CoRR (2 paper(s))
5. Acta Inf. (1 paper(s))
6. IBM Systems Journal (1 paper(s))
7. J. UCS (1 paper(s))
8. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (7 paper(s))
2. Z Users Conference (ZUM) (6 paper(s))
3. World Congress on Formal Methods (FM) (6 paper(s))
4. IEEE International Conference on Formal Engineering Methods (3 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
6. Agent Theories, Architectures, and Languages (ATAL) (1 paper(s))
7. International Workshop on Software Measurement (IWSM) (1 paper(s))
8. B (1 paper(s))
9. Java Grande (1 paper(s))
10. Birthday ... (1 paper(s))
11. Mathematics of Program Construction (MPC) (1 paper(s))
12. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
13. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
14. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
15. Publications Resulting from Dagstuhl Seminars (1 paper(s))
16. European Performance Engineering Workshop (1 paper(s))
17. Workshops on Abstract State Machines (1 paper(s))
18. Ershov Memorial Conference (1 paper(s))
19. (1 paper(s))
20. (1 paper(s))
21. Generative Programming and Component Engineering (1 paper(s))
22. Integrated Formal Methods (IFM) (1 paper(s))
23. iTrust (1 paper(s))