Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (13 paper(s))
2. Theor. Comput. Sci. (10 paper(s))
3. CoRR (4 paper(s))
4. Fundam. Inform. (3 paper(s))
5. Inf. Comput. (3 paper(s))
6. J. Log. Comput. (3 paper(s))
7. Autonomous Agents and Multi-Agent Systems (2 paper(s))
8. J. UCS (2 paper(s))
9. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
10. Sci. Comput. Program. (1 paper(s))
11. ACM Trans. Comput. Log. (1 paper(s))
12. ACM Trans. Program. Lang. Syst. (1 paper(s))
13. Formal Asp. Comput. (1 paper(s))
14. Logic Journal of the IGPL (1 paper(s))
15. Int. J. Intell. Syst. (1 paper(s))
16. J. Applied Logic (1 paper(s))
17. Nord. J. Comput. (1 paper(s))

Conferences

1. (18 paper(s))
2. Agent Theories, Architectures, and Languages (ATAL) (11 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (7 paper(s))
4. Formal Methods for Open Object-Based Distributed Systems (5 paper(s))
5. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
6. International Conference on Coordination Models and Languages (COORDINATION) (4 paper(s))
7. World Congress on Formal Methods (FM) (4 paper(s))
8. Formal Methods for Components and Objects (4 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (3 paper(s))
10. Symposium on Logic Programming (SLP / ILPS / NACLP) (3 paper(s))
11. Issues in Agent Communication (2 paper(s))
12. APPIA-GULP-PRODE (2 paper(s))
13. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
14. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
15. International Conference on Logic Programming (2 paper(s))
16. European Conference on Object-Oriented Programming (ECOOP): Workshops (2 paper(s))
17. Programming Concepts, Methods and Calculi (PROCOMET) (2 paper(s))
18. Enterprise Distributed Object Computing Conference (2 paper(s))
19. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
20. ACM Symposium on Applied Computing (SAC) (2 paper(s))
21. Computational Logic in Multi-Agent Systems (2 paper(s))
22. Logic in Computer Science (LICS) (2 paper(s))
23. TAPSOFT (1 paper(s))
24. International Conference on Application of Concurrency to System Design (1 paper(s))
25. Mathematics of Program Construction (MPC) (1 paper(s))
26. TIME Symposium / Workshop (1 paper(s))
27. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
28. North American Process Algebra Workshop (1 paper(s))
29. European Symposium on Programming (ESOP) (1 paper(s))
30. Principles and Practice of Constraint Programming (CP) (1 paper(s))
31. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
32. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (1 paper(s))
33. Conference for Computer Science Logic (CSL) (1 paper(s))
34. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
35. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
36. UK Conference on Logic Programming (ALPUK) (1 paper(s))
37. Publications Resulting from Dagstuhl Seminars (1 paper(s))
38. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
39. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
40. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
41. Pacific Rim International Workshop on Multi-Agents (PRIMA) (1 paper(s))
42. International Conference on Multiagent Systems (ICMAS) (1 paper(s))
43. Australian Joint Conference on Artificial Intelligence (1 paper(s))
44. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
45. Birthday ... (1 paper(s))
46. Formal Approaches to Agent-Based Systems (1 paper(s))
47. Information Reuse and Integration (1 paper(s))
48. International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS) (1 paper(s))
49. Formale Beschreibungstechniken (1 paper(s))
50. (1 paper(s))
51. Static Analysis (WSA/SAS) (1 paper(s))
52. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
53. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
54. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
55. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))