Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (11 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. Inf. Comput. (3 paper(s))
4. Sci. Comput. Program. (2 paper(s))
5. Mathematical Structures in Computer Science (1 paper(s))
6. SIAM J. Comput. (1 paper(s))
7. Softw., Pract. Exper. (1 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (8 paper(s))
2. International Conference on Coordination Models and Languages (COORDINATION) (6 paper(s))
3. ACM Symposium on Applied Computing (SAC) (3 paper(s))
4. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
5. Birthday ... (2 paper(s))
6. World Congress on Formal Methods (FM) (2 paper(s))
7. Workshop From Objects to Agents (2 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
9. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
10. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))
11. International Conference on Security in Pervasive Computing (1 paper(s))
12. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
13. TAPSOFT (1 paper(s))
14. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
15. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
16. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
17. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
18. European Symposium on Programming (ESOP) (1 paper(s))
19. Global Computing (1 paper(s))
20. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
21. (1 paper(s))
22. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
23. (1 paper(s))
24. Logic in Computer Science (LICS) (1 paper(s))
25. Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (1 paper(s))