Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (7 paper(s))
2. STTT (5 paper(s))
3. ACM Comput. Surv. (4 paper(s))
4. Inf. Comput. (3 paper(s))
5. Sci. Comput. Program. (2 paper(s))
6. Theor. Comput. Sci. (2 paper(s))
7. Acta Inf. (1 paper(s))
8. Ann. Software Eng. (1 paper(s))
9. Software - Concepts and Tools (1 paper(s))
10. Autom. Softw. Eng. (1 paper(s))
11. IEEE Computer (1 paper(s))
12. ACM Trans. Program. Lang. Syst. (1 paper(s))
13. Distributed Computing (1 paper(s))
14. IEEE Trans. Software Eng. (1 paper(s))
15. Bulletin of the EATCS (1 paper(s))
16. Formal Asp. Comput. (1 paper(s))
17. Formal Methods in System Design (1 paper(s))
18. Inf. Process. Lett. (1 paper(s))
19. Journal of Systems and Software (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (11 paper(s))
2. Computer Aided Verification (CAV) (9 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (7 paper(s))
4. (6 paper(s))
5. Logic in Computer Science (LICS) (6 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
7. Formal Techniques for Networked and Distributed Systems / (3 paper(s))
8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (3 paper(s))
9. IEEE Real-Time Systems Symposium (RTSS) (3 paper(s))
10. Automatic Verification Methods for Finite State Systems (2 paper(s))
11. Automated Software Engineering (ASE) (2 paper(s))
12. Protocol Specification, Testing and Verification (2 paper(s))
13. Distributed Computing and Internet Technology (2 paper(s))
14. Foundations of Software Engineering (SIGSOFT FSE) (2 paper(s))
15. Integrated Formal Methods (IFM) (1 paper(s))
16. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
17. Functional Programming, Concurrency, Simulation and Automated Reasoning (1 paper(s))
18. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
19. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
20. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
21. Requirements Engineering (1 paper(s))
22. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
23. IEEE International Workshop on Rapid System Prototyping (1 paper(s))
24. Static Analysis (WSA/SAS) (1 paper(s))
25. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
26. International Conference on Engineering of Complex Computer Systems (1 paper(s))
27. International Conference on Software Engineering (ICSE) (1 paper(s))