Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (10 paper(s))
2. Inf. Comput. (8 paper(s))
3. Acta Inf. (6 paper(s))
4. Electr. Notes Theor. Comput. Sci. (6 paper(s))
5. J. Comput. Syst. Sci. (4 paper(s))
6. SIAM J. Comput. (3 paper(s))
7. STTT (3 paper(s))
8. ACM Trans. Program. Lang. Syst. (3 paper(s))
9. IEEE Trans. Software Eng. (3 paper(s))
10. J. ACM (3 paper(s))
11. Sci. Comput. Program. (2 paper(s))
12. Distributed Computing (2 paper(s))
13. Formal Methods in System Design (2 paper(s))
14. J. Log. Comput. (1 paper(s))
15. Computer Languages, Systems & Structures (1 paper(s))
16. Constraints (1 paper(s))
17. Graphical Models (1 paper(s))
18. Logic Journal of the IGPL (1 paper(s))
19. Int. J. Found. Comput. Sci. (1 paper(s))
20. J. UCS (1 paper(s))

Conferences

1. International Colloquium on Automata, Languages and Programming (ICALP) (17 paper(s))
2. (16 paper(s))
3. Computer Aided Verification (CAV) (15 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (13 paper(s))
5. Logic in Computer Science (LICS) (10 paper(s))
6. Hybrid Systems (8 paper(s))
7. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (7 paper(s))
8. Verification, Model Checking and Abstract Interpretation (VMCAI) (7 paper(s))
9. International Conference on Concurrency Theory (CONCUR) (6 paper(s))
10. Annual Symposium on Foundations of Computer Science (FOCS) (6 paper(s))
11. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (6 paper(s))
12. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (6 paper(s))
13. Logic of Programs (5 paper(s))
14. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (5 paper(s))
15. REX (Research and Education in Concurrent Systems) - Workshops (4 paper(s))
16. Symposium on the Theory of Computing (STOC) (4 paper(s))
17. Birthday ... (4 paper(s))
18. World Congress on Formal Methods (FM) (3 paper(s))
19. Correct Hardware Design and Verification Methods (CHARME) (3 paper(s))
20. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
21. Automated Technology for Verification and Analysis (2 paper(s))
22. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
23. Theoretical Aspects of Computer Software (TACS) (2 paper(s))
24. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (2 paper(s))
25. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
26. Formal Modeling and Analysis of Timed Systems (2 paper(s))
27. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (2 paper(s))
28. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
29. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
30. International Conference on Parallel Architectures and Compilation Techniques (PACT) (1 paper(s))
31. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
32. The Analysis of Concurrent Systems (1 paper(s))
33. Conference for Computer Science Logic (CSL) (1 paper(s))
34. Semantics of Concurrent Computation (1 paper(s))
35. Analogical and Inductive Inference (AII) (1 paper(s))
36. European Educational Forum (EEF) (1 paper(s))
37. International Conference on Software Engineering (ICSE) (1 paper(s))
38. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
39. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
40. IFIP World Computer Congress (1 paper(s))
41. INRIA (1 paper(s))
42. International Conference on Automated Deduction (CADE) (1 paper(s))
43. Formal Methods for Components and Objects (1 paper(s))
44. Temporal Logic in Specification (1 paper(s))
45. The Unified Modeling Language (UML) (1 paper(s))
46. VLSI Design (1 paper(s))
47. Computational Methods in Systems Biology (1 paper(s))
48. Design, Automation, and Test in Europe (1 paper(s))
49. Computational Learning Theory (COLT) (1 paper(s))
50. International Conference on Quality Software (1 paper(s))
51. Compositionality: The Significant Difference (COMPOS) (1 paper(s))