Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Formal Asp. Comput. (2 paper(s))
3. AI EDAM (1 paper(s))
4. Ann. Math. Artif. Intell. (1 paper(s))
5. Computer Networks (1 paper(s))
6. CoRR (1 paper(s))
7. Journal of Logic, Language and Information (1 paper(s))
8. J. Log. Comput. (1 paper(s))
9. Notre Dame Journal of Formal Logic (1 paper(s))
10. Studia Logica (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. (16 paper(s))
2. European Conference on Artificial Intelligence (ECAI) (3 paper(s))
3. Agent Theories, Architectures, and Languages (ATAL) (2 paper(s))
4. Information Security Conference / Workshop (ISC/ISW) (2 paper(s))
5. Logic in Computer Science (LICS) (1 paper(s))
6. Australian Joint Conference on Artificial Intelligence (1 paper(s))
7. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
8. Conference on Computer and Communications Security (CCS) (1 paper(s))
9. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
10. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
11. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
12. TIME Symposium / Workshop (1 paper(s))
13. Portuguese Conference on Artificial Intelligence (EPIA) (1 paper(s))
14. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
15. European Symposium on Programming (ESOP) (1 paper(s))
16. European Workshop on Security in Ad-hoc and Sensor Networks (1 paper(s))
17. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
18. Imperial College Workshops (1 paper(s))
19. Automated Software Engineering (ASE) (1 paper(s))
20. Principles of Knowledge Representation and Reasoning (KR) (1 paper(s))
21. Logic, Action, and Information (1 paper(s))