Journals and Conferences that author prefers

Journals

1. CoRR (23 paper(s))
2. Theor. Comput. Sci. (7 paper(s))
3. Formal Methods in System Design (6 paper(s))
4. Inf. Comput. (6 paper(s))
5. J. ACM (3 paper(s))
6. ACM Trans. Program. Lang. Syst. (3 paper(s))
7. STTT (2 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))
9. ACM Comput. Surv. (1 paper(s))
10. IEEE Computer (1 paper(s))
11. Electr. Notes Theor. Comput. Sci. (1 paper(s))
12. Inf. Process. Lett. (1 paper(s))
13. J. Comput. Syst. Sci. (1 paper(s))
14. Proceedings of the IEEE (1 paper(s))
15. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. (49 paper(s))
2. Computer Aided Verification (CAV) (21 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (17 paper(s))
4. Hybrid Systems (15 paper(s))
5. International Colloquium on Automata, Languages and Programming (ICALP) (11 paper(s))
6. Logic in Computer Science (LICS) (9 paper(s))
7. International Conference / Workshop on Embedded Systems (EMSOFT) (9 paper(s))
8. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (8 paper(s))
9. Annual Symposium on Foundations of Computer Science (FOCS) (5 paper(s))
10. Conference for Computer Science Logic (CSL) (4 paper(s))
11. Static Analysis (WSA/SAS) (3 paper(s))
12. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
13. Formal Modeling and Analysis of Timed Systems (3 paper(s))
14. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
15. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (3 paper(s))
16. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (3 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
18. International Conference on Computer Aided Design (ICCAD) (3 paper(s))
19. Quantitative Evaluation of Systems (3 paper(s))
20. IEEE Real-Time Systems Symposium (RTSS) (3 paper(s))
21. Languages, Compilers, and Tools for Embedded Systems (LCTES) (2 paper(s))
22. Symposium on Discrete Algorithms (SODA) (2 paper(s))
23. Birthday ... (2 paper(s))
24. SPIN (2 paper(s))
25. Symposium on the Theory of Computing (STOC) (2 paper(s))
26. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
27. International Conference on Software Engineering (ICSE) (2 paper(s))
28. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
29. International World Wide Web Conferences (WWW) (2 paper(s))
30. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
31. Asian Symposium on Programming Languages and Systems (1 paper(s))
32. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
33. International Conference on Web Services (1 paper(s))
34. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
35. Formal Methods for Components and Objects (1 paper(s))
36. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
37. Österreichische Artificial Intelligence-Tagung (ÖGAI) (1 paper(s))
38. Uncertainty in Artificial Intelligence (1 paper(s))
39. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
40. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
41. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
42. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
43. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
44. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
45. Conference on Implementation and Application of Automata (CIAA) (1 paper(s))
46. Publications Resulting from Dagstuhl Seminars (1 paper(s))
47. Winter Simulation Conference (WSC) (1 paper(s))
48. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
49. IFIP World Computer Congress (1 paper(s))
50. IEEE Real Time Technology and Applications Symposium (1 paper(s))
51. (1 paper(s))
52. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
53. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
54. Developments in Language Theory (1 paper(s))
55. World Congress on Formal Methods (FM) (1 paper(s))
56. International Workshop on Program Comprehension (1 paper(s))