Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (35 paper(s))
2. Theor. Comput. Sci. (20 paper(s))
3. Inf. Comput. (8 paper(s))
4. J. ACM (6 paper(s))
5. Mathematical Structures in Computer Science (5 paper(s))
6. Fundam. Inform. (5 paper(s))
7. CoRR (4 paper(s))
8. Acta Inf. (3 paper(s))
9. Commun. ACM (3 paper(s))
10. Artif. Intell. (2 paper(s))
11. Constraints (2 paper(s))
12. Sci. Comput. Program. (2 paper(s))
13. ACM Comput. Surv. (2 paper(s))
14. J. Comput. Syst. Sci. (1 paper(s))
15. Higher-Order and Symbolic Computation (1 paper(s))
16. (1 paper(s))
17. ACM Trans. Comput. Log. (1 paper(s))
18. ACM Trans. Program. Lang. Syst. (1 paper(s))
19. J. Heuristics (1 paper(s))
20. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
21. TPLP (1 paper(s))
22. Int. J. Found. Comput. Sci. (1 paper(s))
23. J. Log. Program. (1 paper(s))
24. Inf. Sci. (1 paper(s))
25. Applied Categorical Structures (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (15 paper(s))
2. (10 paper(s))
3. Workshop on Algebraic Development Techniques (WADT) (7 paper(s))
4. Graph Grammars Workshops / Int. Conf. on Graph Transformation (7 paper(s))
5. Mathematical Foundations of Computer Science (MFCS) (7 paper(s))
6. Publications Resulting from Dagstuhl Seminars (6 paper(s))
7. Birthday ... (6 paper(s))
8. Applications and Theory of Petri Nets (ICATPN/APN) (5 paper(s))
9. International Joint Conference on Artificial Intelligence (IJCAI) (5 paper(s))
10. Logic in Computer Science (LICS) (5 paper(s))
11. International Colloquium on Automata, Languages and Programming (ICALP) (5 paper(s))
12. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (4 paper(s))
13. Foundations of Software Science and Computation Structure (FoSSaCS) (4 paper(s))
14. Principles and Practice of Constraint Programming (3 paper(s))
15. Programming Concepts, Methods and Calculi (PROCOMET) (3 paper(s))
16. IFIP World Computer Congress (3 paper(s))
17. European Symposium on Programming (ESOP) (3 paper(s))
18. Colloquium on Trees in Algebra and Programming (CAAP) (3 paper(s))
19. International Conference on Coordination Models and Languages (COORDINATION) (3 paper(s))
20. Graph Grammars Workshops / Int. Conf. on Graph Transformation (3 paper(s))
21. TAPSOFT (2 paper(s))
22. Advanced Courses (2 paper(s))
23. Category Theory and Computer Science (2 paper(s))
24. Algebraic and Logic Programming (ALP) (2 paper(s))
25. Italian Conference on Theoretical Computer Science (ICTCS) (2 paper(s))
26. Fundamentals of Computation Theory (FCT) (2 paper(s))
27. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
28. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
29. Conference on Algebra and Coalgebra in Computer Science (2 paper(s))
30. Formal Methods for Components and Objects (2 paper(s))
31. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
32. North American Process Algebra Workshop (1 paper(s))
33. International Conference on Logic Programming (1 paper(s))
34. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
35. Trustworthy Global Computing (1 paper(s))
36. International Conference on Software Engineering (ICSE) (1 paper(s))
37. UNI/IIST (1 paper(s))
38. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
39. European Performance Engineering Workshop (1 paper(s))
40. Verification and Validation of Enterprise Information Systems (1 paper(s))
41. Asian Symposium on Programming Languages and Systems (1 paper(s))
42. European Software Engineering Conference (ESEC) (1 paper(s))
43. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
44. Rewriting Techniques and Applications (RTA) (1 paper(s))
45. WCLP - Workshop on Constraint Logic Programming (1 paper(s))
46. Asian Computing Science Conference (ASIAN) (1 paper(s))
47. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
48. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
49. Working IEEE/IFIP Conference on Software Architecture (WICSA) (1 paper(s))
50. Principles of Knowledge Representation and Reasoning (KR) (1 paper(s))
51. (1 paper(s))
52. Fifth Generation Computer Systems (1 paper(s))
53. (1 paper(s))
54. LITP Spring School on Theoretical Computer Science (1 paper(s))
55. Symposium on the Theory of Computing (STOC) (1 paper(s))
56. Computer Aided Verification (CAV) (1 paper(s))
57. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
58. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
59. Mathematics of Program Construction (MPC) (1 paper(s))
60. Principles and Practice of Constraint Programming (CP) (1 paper(s))
61. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))