Journals and Conferences that author prefers

Journals

1. Sci. Comput. Program. (4 paper(s))
2. IEEE Trans. Software Eng. (3 paper(s))
3. Informatik Spektrum (2 paper(s))
4. ACM Trans. Program. Lang. Syst. (2 paper(s))
5. CoRR (2 paper(s))
6. Acta Inf. (1 paper(s))
7. Computer Networks (1 paper(s))
8. Bulletin of the EATCS (1 paper(s))
9. Inf. Process. Lett. (1 paper(s))
10. Journal of Systems and Software (1 paper(s))

Conferences

1. Program Construction (4 paper(s))
2. Workshop on Algebraic Development Techniques (WADT) / (3 paper(s))
3. Ershov Memorial Conference (3 paper(s))
4. (2 paper(s))
5. GI-Jahrestagung (2 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
7. KORSO (2 paper(s))
8. Algorithmic Languages and Calculi (1 paper(s))
9. Programming Languages and System Architectures (1 paper(s))
10. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
11. Symposium on Programming (1 paper(s))
12. Birthday ... (1 paper(s))
13. Requirements Engineering (1 paper(s))
14. CIP-Project (1 paper(s))
15. Teaching Formal Methods (1 paper(s))
16. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
17. IFIP World Computer Congress (1 paper(s))
18. IFIP WG2.1 Publications (1 paper(s))
19. Implementation of Functional Languages (IFL) (1 paper(s))