Journals and Conferences that author prefers

Journals

1. SIGPLAN Notices (6 paper(s))
2. J. Comput. Sci. Technol. (3 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Inf. Process. Lett. (1 paper(s))
6. J. Log. Algebr. Program. (1 paper(s))
7. Operating Systems Review (1 paper(s))

Conferences

1. Asia-Pacific Software Engineering Conference (2 paper(s))
2. (2 paper(s))
3. Embedded and Ubiquitous Computing (2 paper(s))
4. (2 paper(s))
5. Object-Oriented Real-Time Distributed Computing (2 paper(s))
6. Ada-Europe (1 paper(s))
7. SDL Forum (1 paper(s))
8. The Unified Modeling Language (UML) (1 paper(s))
9. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
10. European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA) (1 paper(s))
11. Formal Modeling and Analysis of Timed Systems (1 paper(s))
12. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
13. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
14. Hybrid Systems (1 paper(s))
15. IEEE International Conference on Formal Engineering Methods (1 paper(s))
16. International Conference on Parallel Processing (ICPP) - Workshops (1 paper(s))
17. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
18. International Conference on Object Oriented Information Systems (OOIS) (1 paper(s))