Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (13 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. Fundam. Inform. (2 paper(s))
4. Mathematical Structures in Computer Science (2 paper(s))
5. IEEE Trans. Software Eng. (2 paper(s))
6. Autom. Softw. Eng. (1 paper(s))
7. Inf. Comput. (1 paper(s))
8. Int. J. Inf. Sec. (1 paper(s))
9. IEEE Transactions on Communications (1 paper(s))
10. IEEE Transactions on Information Theory (1 paper(s))
11. ACM Trans. Softw. Eng. Methodol. (1 paper(s))

Conferences

1. (12 paper(s))
2. Foundations of Software Science and Computation Structure (FoSSaCS) (4 paper(s))
3. TAPSOFT (3 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
5. International Conference on Coordination Models and Languages (COORDINATION) (3 paper(s))
6. Italian Conference on Theoretical Computer Science (ICTCS) (3 paper(s))
7. Workshop From Objects to Agents (2 paper(s))
8. IEEE Computer Security Foundations Workshop (CSFW) (2 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
10. Formal Methods for Components and Objects (2 paper(s))
11. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
12. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
13. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
14. Birthday ... (1 paper(s))
15. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
16. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
17. UNI/IIST (1 paper(s))
18. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
19. Global Computing (1 paper(s))
20. Verification and Validation of Enterprise Information Systems (1 paper(s))
21. Computer Aided Verification (CAV) (1 paper(s))
22. IEEE International Conference on Communications (ICC) (1 paper(s))
23. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
24. International Conference on Service Oriented Computing (1 paper(s))
25. Foundations of Security Analysis and Design (1 paper(s))
26. LITP Spring School on Theoretical Computer Science (1 paper(s))
27. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
28. European Performance Engineering Workshop (1 paper(s))
29. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
30. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
31. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
32. ACM Symposium on Applied Computing (SAC) (1 paper(s))
33. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
34. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))