Journals and Conferences that author prefers

Journals

1. Sci. Comput. Program. (2 paper(s))
2. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. ACM Trans. Embedded Comput. Syst. (1 paper(s))
5. Technique et Science Informatiques (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. TAPSOFT (3 paper(s))
2. Z Users Conference (ZUM) (3 paper(s))
3. International Conference on Formal Methods and Models for Co-Design (2 paper(s))
4. Rewriting Techniques and Applications (RTA) (2 paper(s))
5. Algebraic and Logic Programming (ALP) (1 paper(s))
6. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
7. World Congress on Formal Methods (FM) (1 paper(s))
8. Higher-Order Algebra, Logic and Term Rewriting (HOA) (1 paper(s))
9. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
10. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
11. Programs as Data Objects (1 paper(s))
12. Ada Conferences (1 paper(s))