Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Inf. Process. Lett. (3 paper(s))
3. Inf. Syst. (3 paper(s))
4. J. Log. Comput. (3 paper(s))
5. Sci. Comput. Program. (3 paper(s))
6. Theor. Comput. Sci. (2 paper(s))
7. Data Knowl. Eng. (2 paper(s))
8. Formal Asp. Comput. (2 paper(s))
9. IEEE Computer (2 paper(s))
10. Mathematical Structures in Computer Science (2 paper(s))
11. Acta Inf. (1 paper(s))
12. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
13. IEEE Trans. Software Eng. (1 paper(s))
14. Information & Software Technology (1 paper(s))
15. CoRR (1 paper(s))
16. J. Braz. Comp. Soc. (1 paper(s))
17. J. UCS (1 paper(s))
18. Journal of Software Maintenance (1 paper(s))

Conferences

1. (9 paper(s))
2. Workshop on Algebraic Development Techniques (WADT) (6 paper(s))
3. Algebraic Methodology and Software Technology (AMAST) (5 paper(s))
4. International Conference on Coordination Models and Languages (COORDINATION) (4 paper(s))
5. Fundamental Approaches to Software Engineering (FASE) (3 paper(s))
6. Conference on Advanced Information Systems Engineering (CAiSE) (3 paper(s))
7. COMPASS Workshops (3 paper(s))
8. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
9. (3 paper(s))
10. Database Semantics (DS) (3 paper(s))
11. Workshop on Algebraic Development Techniques (WADT) / (2 paper(s))
12. International Conference on Distributed Computing Systems (ICDCS) - Workshops (2 paper(s))
13. International Conference on Software Engineering (ICSE) (2 paper(s))
14. The Unified Modeling Language (UML) (1 paper(s))
15. Advanced Courses (1 paper(s))
16. European Software Engineering Conference (ESEC) (1 paper(s))
17. International Workshop on Principles of Software Evolution (1 paper(s))
18. UNI/IIST (1 paper(s))
19. European Workshop on Software Architecture (1 paper(s))
20. International Workshop on Software Specification and Design (IWSSD) (1 paper(s))
21. Verification and Validation of Enterprise Information Systems (1 paper(s))
22. Algorithmic Languages and Calculi (1 paper(s))
23. Automated Software Engineering (ASE) (1 paper(s))
24. World Congress on Formal Methods (FM) (1 paper(s))
25. ModelAge Workshop (1 paper(s))
26. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
27. Formal Methods for Components and Objects (1 paper(s))
28. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
29. Working IEEE/IFIP Conference on Software Architecture (WICSA) (1 paper(s))
30. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
31. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
32. Workshop on Self-Healing Systems (1 paper(s))
33. International Conference on Cooperative Information Systems (CoopIS) (1 paper(s))
34. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
35. (1 paper(s))
36. ACM SIGSOFT Symposium on Software Reusability (SSR) (1 paper(s))
37. Publications Resulting from Dagstuhl Seminars (1 paper(s))
38. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
39. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
40. Distributed Applications and Interoperable Systems (1 paper(s))
41. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
42. TAPSOFT (1 paper(s))
43. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
44. International Conference on Temporal Logic (1 paper(s))
45. Workshop on Temporal Databases (1 paper(s))
46. International Conference on Engineering of Complex Computer Systems (1 paper(s))
47. European Dependable Computing Conference (EDCC) (1 paper(s))
48. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
49. Temporal Logic in Specification (1 paper(s))
50. Portuguese Conference on Artificial Intelligence (EPIA) (1 paper(s))
51. Imperial College Workshops (1 paper(s))