Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Formal Methods in System Design (1 paper(s))
3. STTT (1 paper(s))
4. IEEE Trans. Parallel Distrib. Syst. (1 paper(s))
5. Concurrency and Computation: Practice and Experience (1 paper(s))

Conferences

1. (6 paper(s))
2. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (3 paper(s))
3. Hybrid Systems (3 paper(s))
4. Pacific Rim International Symposium on Dependable Computing (2 paper(s))
5. Technical Symposium on Computer Science Education (2 paper(s))
6. Asian Computing Science Conference (ASIAN) (1 paper(s))
7. International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems (1 paper(s))
8. International Conference on Artificial Immune Systems (1 paper(s))
9. Euromicro Conference on Real-Time Systems (ECRTS) (1 paper(s))
10. Quality of Service in Heterogeneous Wired/Wireless Networks (1 paper(s))
11. Ershov Memorial Conference (1 paper(s))
12. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
13. Fifth Generation Computer Systems (1 paper(s))
14. ACM Symposium on Applied Computing (SAC) (1 paper(s))
15. World Congress on Formal Methods (FM) (1 paper(s))
16. SAFECOMP (1 paper(s))
17. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
18. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
19. (1 paper(s))
20. International Conference on Distributed Computing Systems (ICDCS) - Workshops (1 paper(s))
21. (1 paper(s))
22. Information Security and Cryptology (ICISC) (1 paper(s))
23. Dependable Systems and Networks (1 paper(s))
24. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
25. International Workshop on Meta-Programming in Logic (META) (1 paper(s))