Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. Theor. Comput. Sci. (3 paper(s))
3. Fundam. Inform. (3 paper(s))
4. Inf. Comput. (3 paper(s))
5. Acta Inf. (2 paper(s))
6. Ann. Pure Appl. Logic (2 paper(s))
7. STTT (2 paper(s))
8. Mathematical Structures in Computer Science (1 paper(s))
9. Notre Dame Journal of Formal Logic (1 paper(s))
10. Data Knowl. Eng. (1 paper(s))
11. Electr. Notes Theor. Comput. Sci. (1 paper(s))
12. J. Vis. Lang. Comput. (1 paper(s))
13. Computer Methods and Programs in Biomedicine (1 paper(s))
14. International Journal of Man-Machine Studies (1 paper(s))
15. International Journal of Software Engineering and Knowledge Engineering (1 paper(s))
16. Inf. Process. Lett. (1 paper(s))
17. J. Symb. Comput. (1 paper(s))
18. Journal of Systems and Software (1 paper(s))
19. Logical Methods in Computer Science (1 paper(s))
20. Math. Log. Q. (1 paper(s))

Conferences

1. (6 paper(s))
2. Correct Hardware Design and Verification Methods (CHARME) (3 paper(s))
3. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
4. Asia-Pacific Software Engineering Conference (1 paper(s))
5. Automated Technology for Verification and Analysis (1 paper(s))
6. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
7. Hybrid Systems (1 paper(s))
8. International Conference on Informatics in Control, Automation and Robotics (1 paper(s))
9. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
10. Logic in Computer Science (LICS) (1 paper(s))
11. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
12. International Conference on Computational Intelligence for Modelling, Control and Automation - (CIMCA) (1 paper(s))
13. Congress of the Italian Association for Artificial Intelligence (AI*IA) (1 paper(s))
14. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))