Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (6 paper(s))
2. Artif. Intell. (3 paper(s))
3. IEEE Database Eng. Bull. (2 paper(s))
4. Theor. Comput. Sci. (2 paper(s))
5. Acta Inf. (1 paper(s))
6. Inf. Comput. (1 paper(s))
7. ACM Trans. Softw. Eng. Methodol. (1 paper(s))

Conferences

1. (24 paper(s))
2. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (7 paper(s))
3. International Conference on Web Services (7 paper(s))
4. National Conference on Artificial Intelligence (AAAI) (3 paper(s))
5. Computer Aided Verification (CAV) (3 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
7. International Conference on Service Oriented Computing (2 paper(s))
8. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
9. International World Wide Web Conferences (WWW) (2 paper(s))
10. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
11. Requirements Engineering (2 paper(s))
12. Sistemi Evoluti per Basi di Dati (SEBD) (2 paper(s))
13. Conference on Software Engineering and Formal Methods (SEFM) (2 paper(s))
14. European Semantic Web Symposium / Conference (2 paper(s))
15. (1 paper(s))
16. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
17. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
18. Frontiers of Combining Systems (FroCoS) (1 paper(s))
19. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (1 paper(s))
20. Technologies for E-Services (1 paper(s))
21. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
22. Agent-Oriented Software Engineering (AOSE) (1 paper(s))
23. (1 paper(s))
24. Logic in Computer Science (LICS) (1 paper(s))
25. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
26. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
27. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
28. Enterprise Distributed Object Computing Conference (1 paper(s))
29. European Performance Engineering Workshop (1 paper(s))
30. European Symposium on Programming (ESOP) (1 paper(s))
31. Semantic Web (1 paper(s))
32. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
33. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))