Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (8 paper(s))
2. Acta Inf. (2 paper(s))
3. Bulletin of the EATCS (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Inf. Process. Lett. (1 paper(s))
7. Nord. J. Comput. (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (10 paper(s))
2. Formal Methods for Open Object-Based Distributed Systems (7 paper(s))
3. Z Users Conference (ZUM) (3 paper(s))
4. Integrated Formal Methods (IFM) (3 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
6. Publications Resulting from Dagstuhl Seminars (2 paper(s))
7. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
8. Formal Methods for Components and Objects (2 paper(s))
9. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
10. IEEE International Conference on Formal Engineering Methods (2 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
12. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
13. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
14. (1 paper(s))
15. Formale Beschreibungstechniken (1 paper(s))
16. World Congress on Formal Methods (FM) (1 paper(s))
17. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))