Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (6 paper(s))
2. Mathematical Structures in Computer Science (4 paper(s))
3. Bulletin of the EATCS (3 paper(s))
4. J. Comput. Syst. Sci. (3 paper(s))
5. Electr. Notes Theor. Comput. Sci. (2 paper(s))
6. Formal Asp. Comput. (2 paper(s))
7. SIGPLAN Notices (2 paper(s))
8. IEEE Software (2 paper(s))
9. International Journal of Man-Machine Studies (2 paper(s))
10. J. ACM (2 paper(s))
11. J. Log. Algebr. Program. (2 paper(s))
12. Artif. Intell. (1 paper(s))
13. J. Symb. Comput. (1 paper(s))
14. Ann. Software Eng. (1 paper(s))
15. Journal of Systems Integration (1 paper(s))
16. IEEE Computer (1 paper(s))
17. J. UCS (1 paper(s))
18. Theory Comput. Syst. (1 paper(s))
19. Inf. Comput. (1 paper(s))
20. Logic Journal of the IGPL (1 paper(s))
21. IEEE Trans. Software Eng. (1 paper(s))
22. Comput. Lang. (1 paper(s))
23. JOOP (1 paper(s))

Conferences

1. World Congress on Formal Methods (FM) (4 paper(s))
2. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
3. Annual Symposium on Foundations of Computer Science (FOCS) (3 paper(s))
4. Workshop on Algebraic Development Techniques (WADT) (3 paper(s))
5. Category Theory and Computer Science (2 paper(s))
6. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
7. Symposium on Programming Language Implementation and Logic Programming (PLILP) (2 paper(s))
8. International Conference on Requirements Engineering (2 paper(s))
9. Birthday ... (2 paper(s))
10. Fifth Generation Computer Systems (2 paper(s))
11. IEEE Symposium on Security and Privacy (S&P) (2 paper(s))
12. Automated Software Engineering (ASE) (2 paper(s))
13. TAPSOFT (2 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
15. (1 paper(s))
16. Advanced Courses (1 paper(s))
17. International Conference on Conceptual Structures (ICCS) (1 paper(s))
18. Microelectronics Systems Education (1 paper(s))
19. (1 paper(s))
20. Meeting of the Association for Computational Linguistics (ACL) (1 paper(s))
21. Formalization of Programming Concepts (ICFPC) (1 paper(s))
22. Mathematical Studies of Information Processing (1 paper(s))
23. Algebraic and Logic Programming (ALP) (1 paper(s))
24. Publications Resulting from Dagstuhl Seminars (1 paper(s))
25. International Conference on Logic Programming (1 paper(s))
26. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
27. Database Semantics (DS) (1 paper(s))
28. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
29. Asia-Pacific Web Conference (1 paper(s))
30. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
31. International Conference on Software Engineering (ICSE) (1 paper(s))
32. International Conference on Quality Software (1 paper(s))
33. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
34. IFIP World Computer Congress (1 paper(s))
35. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
36. International Conference on Automated Deduction (CADE) (1 paper(s))
37. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
38. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
39. Category Theory (1 paper(s))
40. Information Systems Concepts (1 paper(s))
41. COMPASS Workshops (1 paper(s))
42. COMPCON (1 paper(s))
43. First Order Theorem Proving (FTP) (1 paper(s))
44. (1 paper(s))
45. Theorem Provers in Circuit Design (TPCD) (1 paper(s))
46. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
47. Graph Reduction (1 paper(s))
48. Logic in Computer Science (LICS) (1 paper(s))
49. International Conference on Cooperative Information Systems (CoopIS) (1 paper(s))
50. Logic of Programs (1 paper(s))
51. Z Users Conference (ZUM) (1 paper(s))
52. Conference for Computer Science Logic (CSL) (1 paper(s))
53. International Conference on Computational Science (ICCS) (1 paper(s))