Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Artif. Intell. (3 paper(s))
3. CoRR (3 paper(s))
4. Applied Artificial Intelligence (1 paper(s))
5. Advances in Computers (1 paper(s))
6. Computational Intelligence (1 paper(s))
7. Formal Asp. Comput. (1 paper(s))
8. Inf. Comput. (1 paper(s))
9. J. Artif. Intell. Res. (JAIR) (1 paper(s))
10. J. Autom. Reasoning (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. STTT (1 paper(s))
13. Ann. Math. Artif. Intell. (1 paper(s))

Conferences

1. (20 paper(s))
2. Computer Aided Verification (CAV) (6 paper(s))
3. European Conference on Artificial Intelligence (ECAI) (5 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (5 paper(s))
5. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (4 paper(s))
6. International Joint Conference on Artificial Intelligence (IJCAI) (3 paper(s))
7. SAFECOMP (3 paper(s))
8. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
9. Automated Technology for Verification and Analysis (2 paper(s))
10. International Conference on Automated Deduction (CADE) (2 paper(s))
11. Design Automation Conference (DAC) (2 paper(s))
12. Russian Conference on Logic Programming / (2 paper(s))
13. European Conference an Planning (ECP) (2 paper(s))
14. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
15. World Congress on Formal Methods (FM) (1 paper(s))
16. Conference on Implementation and Application of Automata (CIAA) (1 paper(s))
17. Congress of the Italian Association for Artificial Intelligence (AI*IA) (1 paper(s))
18. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
19. Theory and Applications of Satisfiability Testing (1 paper(s))
20. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
21. Frontiers of Combining Systems (FroCoS) (1 paper(s))
22. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
23. Agent-Oriented Software Engineering (AOSE) (1 paper(s))
24. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
25. (1 paper(s))
26. Agent Theories, Architectures, and Languages (ATAL) (1 paper(s))
27. International Conference on Multiagent Systems (ICMAS) (1 paper(s))
28. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
29. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
30. European Conference on Artificial Intelligence (ECAI) Workshops (1 paper(s))
31. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
32. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))