Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (7 paper(s))
2. Computer Languages, Systems & Structures (2 paper(s))
3. CoRR (2 paper(s))
4. Journal of Computer Security (2 paper(s))
5. Theor. Comput. Sci. (2 paper(s))
6. Constraints (1 paper(s))
7. J. Autom. Reasoning (1 paper(s))
8. J. Symb. Log. (1 paper(s))
9. IEEE Trans. Knowl. Data Eng. (1 paper(s))
10. ACM Trans. Program. Lang. Syst. (1 paper(s))
11. TPLP (1 paper(s))
12. Algorithmica (1 paper(s))

Conferences

1. (5 paper(s))
2. APPIA-GULP-PRODE (3 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
4. Verification, Model Checking and Abstract Interpretation (VMCAI) (3 paper(s))
5. Computer Aided Verification (CAV) (2 paper(s))
6. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
7. International Conference on Logic Programming (2 paper(s))
8. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (2 paper(s))
9. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
10. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
11. Automated Technology for Verification and Analysis (1 paper(s))
12. Workshops at Curtea de Arges (1 paper(s))
13. Computational Methods in Systems Biology (1 paper(s))
14. (1 paper(s))
15. Frontiers of Combining Systems (FroCoS) (1 paper(s))
16. Hybrid Systems (1 paper(s))
17. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
18. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
19. Symposium on Discrete Algorithms (SODA) (1 paper(s))