Journals and Conferences that author prefers

Journals

1. Commun. ACM (7 paper(s))
2. Acta Inf. (6 paper(s))
3. IEEE Trans. Software Eng. (5 paper(s))
4. J. ACM (5 paper(s))
5. Theor. Comput. Sci. (4 paper(s))
6. Sci. Comput. Program. (3 paper(s))
7. Artif. Intell. (2 paper(s))
8. ACM Trans. Program. Lang. Syst. (2 paper(s))
9. Formal Methods in System Design (2 paper(s))
10. Inf. Comput. (2 paper(s))
11. J. Comput. Syst. Sci. (2 paper(s))
12. SIAM J. Comput. (2 paper(s))
13. IEEE Software (1 paper(s))
14. Computer Languages, Systems & Structures (1 paper(s))
15. Formal Asp. Comput. (1 paper(s))
16. J. Autom. Reasoning (1 paper(s))
17. J. Symb. Comput. (1 paper(s))

Conferences

1. International Colloquium on Automata, Languages and Programming (ICALP) (11 paper(s))
2. Computer Aided Verification (CAV) (8 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (7 paper(s))
4. Hybrid Systems (6 paper(s))
5. International Conference on Automated Deduction (CADE) (5 paper(s))
6. Symposium on the Theory of Computing (STOC) (4 paper(s))
7. Logic of Programs (4 paper(s))
8. REX (Research and Education in Concurrent Systems) - Workshops (4 paper(s))
9. Verification, Model Checking and Abstract Interpretation (VMCAI) (4 paper(s))
10. International Joint Conference on Artificial Intelligence (IJCAI) (4 paper(s))
11. (3 paper(s))
12. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (3 paper(s))
13. Logic in Computer Science (LICS) (3 paper(s))
14. International Conference on Software Engineering (ICSE) (3 paper(s))
15. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
16. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
17. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
18. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
19. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
20. TIME Symposium / Workshop (2 paper(s))
21. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
22. International Colloquium on Theoretical Aspects of Computing (2 paper(s))
23. IFIP World Computer Congress (2 paper(s))
24. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
25. Logical Foundations of Computer Science (LFCS) (1 paper(s))
26. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
27. European Educational Forum (EEF) (1 paper(s))
28. INRIA (1 paper(s))
29. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
30. APPIA-GULP-PRODE (1 paper(s))
31. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
32. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
33. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
34. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
35. Asian Computing Science Conference (ASIAN) (1 paper(s))
36. TAPSOFT (1 paper(s))
37. Automated Technology for Verification and Analysis (1 paper(s))
38. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
39. Birthday ... (1 paper(s))
40. IBM Scientific Symposium Series (1 paper(s))
41. International Conference On Principles Of DIstributed Systems (1 paper(s))
42. Temporal Logic in Specification (1 paper(s))
43. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
44. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
45. UNI/IIST (1 paper(s))
46. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
47. International Conference on Temporal Logic (1 paper(s))
48. Requirements Targeting Software and Systems Engineering (RTSE) (1 paper(s))
49. World Conference on the Fundamentals of Artificial Intelligence (WOCFAI) (1 paper(s))
50. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
51. Static Analysis (WSA/SAS) (1 paper(s))
52. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
53. Principles and Practice of Constraint Programming (CP) (1 paper(s))