Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Theor. Comput. Sci. (5 paper(s))
3. Acta Inf. (2 paper(s))
4. Cybernetics and Systems (1 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. J. Log. Algebr. Program. (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))

Conferences

1. (6 paper(s))
2. Algebraic Methodology and Software Technology (AMAST) (4 paper(s))
3. The Unified Modeling Language (UML) (3 paper(s))
4. Workshop on Algebraic Development Techniques (WADT) / (2 paper(s))
5. COMPASS Workshops (2 paper(s))
6. Design and Implementation of Symbolic Computation Systems (DISCO) (2 paper(s))
7. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
8. TAPSOFT (2 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
10. GI-Jahrestagung (1 paper(s))
11. Algebraic and Logic Programming (ALP) (1 paper(s))
12. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
13. KORSO (1 paper(s))
14. Birthday ... (1 paper(s))
15. International Workshop on Larch (1 paper(s))
16. CIP-Project (1 paper(s))
17. Russian Conference on Logic Programming / (1 paper(s))
18. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
19. Modellierung (1 paper(s))
20. European Software Engineering Conference (ESEC) (1 paper(s))
21. Object Modeling with the OCL (1 paper(s))
22. European Symposium on Programming (ESOP) (1 paper(s))
23. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
24. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
25. Fundamentals of Computation Theory (FCT) (1 paper(s))
26. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))