Journals and Conferences that author prefers

Journals

1. Inf. Comput. (3 paper(s))
2. IEEE Transactions on Information Theory (3 paper(s))
3. Formal Methods in System Design (2 paper(s))
4. CoRR (2 paper(s))
5. Inf. Sci. (1 paper(s))
6. Proceedings of the IEEE (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))
9. ACM Trans. Embedded Comput. Syst. (1 paper(s))
10. Discrete Event Dynamic Systems (1 paper(s))
11. IEEE Design & Test of Computers (1 paper(s))

Conferences

1. (17 paper(s))
2. International Conference / Workshop on Embedded Systems (EMSOFT) (7 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
4. Hybrid Systems (3 paper(s))
5. Object-Oriented Real-Time Distributed Computing (2 paper(s))
6. International Conference on Application of Concurrency to System Design (1 paper(s))
7. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
8. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
9. International Conference on Web Services (1 paper(s))
10. European Symposium on Programming (ESOP) (1 paper(s))
11. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
12. Formal Methods for Components and Objects (1 paper(s))
13. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
14. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
15. International Conference on Telecommunications (1 paper(s))
16. IFIP World Computer Congress (1 paper(s))
17. IFIP TC7 Publications (1 paper(s))