Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (1 paper(s))
2. J. UCS (1 paper(s))
3. Sci. Comput. Program. (1 paper(s))
4. Technique et Science Informatiques (1 paper(s))
5. Fundam. Inform. (1 paper(s))
6. IEEE Computer (1 paper(s))

Conferences

1. (8 paper(s))
2. Z Users Conference (ZUM) (6 paper(s))
3. World Congress on Formal Methods (FM) (4 paper(s))
4. (2 paper(s))
5. B (2 paper(s))
6. Publications Resulting from Dagstuhl Seminars (2 paper(s))
7. IEEE International Conference on Formal Engineering Methods (2 paper(s))
8. The Analysis of Concurrent Systems (1 paper(s))
9. Workshops on Abstract State Machines (1 paper(s))
10. Database Semantics (DS) (1 paper(s))
11. Generative Programming and Component Engineering (1 paper(s))
12. International Conference on Software Engineering (ICSE) (1 paper(s))
13. IFIP World Computer Congress (1 paper(s))
14. Mathematics of Program Construction (MPC) (1 paper(s))
15. Semantics of Concurrent Computation (1 paper(s))
16. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))