Journals and Conferences that author prefers

Journals

1. CoRR (6 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Applied Categorical Structures (3 paper(s))
4. Theor. Comput. Sci. (3 paper(s))
5. J. Log. Algebr. Program. (1 paper(s))
6. J. Log. Comput. (1 paper(s))
7. Mathematical Structures in Computer Science (1 paper(s))
8. J. Log. Program. (1 paper(s))

Conferences

1. (18 paper(s))
2. Workshop on Algebraic Development Techniques (WADT) (7 paper(s))
3. Conference on Algebra and Coalgebra in Computer Science (3 paper(s))
4. Conference for Computer Science Logic (CSL) (3 paper(s))
5. Fundamental Approaches to Software Engineering (FASE) (3 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
7. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
8. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
10. Logic in Computer Science (LICS) (1 paper(s))
11. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
12. The Florida AI Research Society (FLAIRS) (1 paper(s))