Journals and Conferences that author prefers

Journals

1. Sci. Comput. Program. (2 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. Inform., Forsch. Entwickl. (1 paper(s))
4. KI (1 paper(s))

Conferences

1. (15 paper(s))
2. SAFECOMP (4 paper(s))
3. International Conference on Automated Deduction (CADE) (3 paper(s))
4. Deutsche Jahrestagung für Künstliche Intelligenz (2 paper(s))
5. Publications Resulting from Dagstuhl Seminars (2 paper(s))
6. Software Engineering (2 paper(s))
7. GI-Jahrestagung (2 paper(s))
8. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
9. Software Engineering (IASTED) (1 paper(s))
10. IEEE International Conference on Formal Engineering Methods (1 paper(s))
11. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
12. Conference for Computer Science Logic (CSL) (1 paper(s))
13. Requirements Targeting Software and Systems Engineering (RTSE) (1 paper(s))
14. International Conference on Conceptual Modeling (ER) (1 paper(s))
15. TAPSOFT (1 paper(s))
16. Ershov Memorial Conference (1 paper(s))
17. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
18. European Software Engineering Conference (ESEC) (1 paper(s))
19. Ada-Europe (1 paper(s))
20. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
21. DEXA Workshops (1 paper(s))
22. (1 paper(s))
23. EUROMICRO (1 paper(s))
24. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
25. Feature Interactions in Telecommunications and Software Systems (1 paper(s))
26. (1 paper(s))