Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (13 paper(s))
2. Theor. Comput. Sci. (8 paper(s))
3. CoRR (6 paper(s))
4. Mathematical Structures in Computer Science (3 paper(s))
5. Inf. Comput. (2 paper(s))
6. J. Log. Algebr. Program. (2 paper(s))
7. Ann. Pure Appl. Logic (1 paper(s))
8. STTT (1 paper(s))
9. Commun. ACM (1 paper(s))
10. Computer Networks (1 paper(s))
11. Formal Asp. Comput. (1 paper(s))
12. Fundam. Inform. (1 paper(s))
13. ITA (1 paper(s))
14. J. Funct. Program. (1 paper(s))
15. J. UCS (1 paper(s))
16. J. Log. Comput. (1 paper(s))
17. Sci. Comput. Program. (1 paper(s))

Conferences

1. (10 paper(s))
2. Algebraic Methodology and Software Technology (AMAST) (7 paper(s))
3. Category Theory and Computer Science (3 paper(s))
4. European Conference on Object-Oriented Programming (ECOOP): Workshops (3 paper(s))
5. International Conference on Theorem Proving in Higher Order Logics (3 paper(s))
6. International Conference on Typed Lambda Calculus and Applications (TLCA) (2 paper(s))
7. European Symposium on Programming (ESOP) (2 paper(s))
8. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
9. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (1 paper(s))
10. Formal Methods for Components and Objects (1 paper(s))
11. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
12. Birthday ... (1 paper(s))
13. ISSS (1 paper(s))
14. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
15. (1 paper(s))
16. CARDIS (1 paper(s))
17. Java Card Workshop (1 paper(s))
18. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
19. Logical Foundations of Computer Science (LFCS) (1 paper(s))
20. Conference for Computer Science Logic (CSL) (1 paper(s))
21. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
22. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
23. Publications Resulting from Dagstuhl Seminars (1 paper(s))
24. TAPSOFT (1 paper(s))
25. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
26. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
27. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))