Journals and Conferences that author prefers

Journals

1. STTT (10 paper(s))
2. IEEE Computer (4 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. Software - Concepts and Tools (3 paper(s))
5. BMC Bioinformatics (3 paper(s))
6. ACM Comput. Surv. (2 paper(s))
7. International Journal of Parallel Programming (1 paper(s))
8. Nord. J. Comput. (1 paper(s))
9. Software and System Modeling (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. Commun. ACM (1 paper(s))

Conferences

1. (36 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (8 paper(s))
3. Fundamental Approaches to Software Engineering (FASE) (3 paper(s))
4. SPIN (3 paper(s))
5. Birthday ... (2 paper(s))
6. (2 paper(s))
7. Computer Aided Verification (CAV) (2 paper(s))
8. International Conference on Engineering of Complex Computer Systems (2 paper(s))
9. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
10. Publications Resulting from Dagstuhl Seminars (2 paper(s))
11. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
12. E-Commerce, E-Business, and E-Government (1 paper(s))
13. Automated Specification and Verification of Web Sites (1 paper(s))
14. International Conference on Software Engineering (ICSE) (1 paper(s))
15. International Conference on Service Oriented Computing (1 paper(s))
16. European Conference on Software Process Improvement (1 paper(s))
17. Compiler Construction (CC) (1 paper(s))
18. Workshop on Interface Definition Languages (1 paper(s))
19. IFIP World Computer Congress (1 paper(s))
20. IFIP WG10.3 Publications (1 paper(s))
21. Object-Oriented Real-Time Distributed Computing (1 paper(s))
22. Workshop on Radical Agent Concepts (1 paper(s))
23. Database Systems for Advanced Applications (DASFAA) (1 paper(s))
24. International Test Conference (ITC) (1 paper(s))
25. DFG Projects (1 paper(s))
26. Radical Innovations of Software and Systems Engineering in the Future (1 paper(s))
27. Engineering of Computer-Based Systems (ECBS) (1 paper(s))
28. Software Engineering (1 paper(s))
29. Feature Interactions in Telecommunications and Software Systems (1 paper(s))
30. World Congress on Formal Methods (FM) (1 paper(s))
31. TAPSOFT (1 paper(s))
32. (1 paper(s))
33. Theorem Provers in Circuit Design (TPCD) (1 paper(s))