Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (3 paper(s))
2. Inf. Comput. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. Computer Networks (1 paper(s))
5. J. Comput. Syst. Sci. (1 paper(s))
6. Systems and Computers in Japan (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. SIAM J. Comput. (1 paper(s))
9. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Formal Techniques for Networked and Distributed Systems / (7 paper(s))
2. International Conference on Network Protocols (4 paper(s))
3. International Conference on Distributed Computing Systems (ICDCS) (3 paper(s))
4. Protocol Specification, Testing and Verification (2 paper(s))
5. International Conference on Testing Communicating Systems (TestCom) (2 paper(s))
6. Asia and South Pacific Design Automation Conference (ASP-DAC) (1 paper(s))
7. International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS) (1 paper(s))
8. Design Automation Conference (DAC) (1 paper(s))
9. IFIP World Computer Congress (1 paper(s))
10. Fundamentals of Computation Theory (FCT) (1 paper(s))
11. Microelectronics Systems Education (1 paper(s))
12. World Congress on Formal Methods (FM) (1 paper(s))
13. Workshop on Parallel and Distributed Simulation (PADS) (1 paper(s))
14. International Conference on Distributed Computing Systems (ICDCS) - Workshops (1 paper(s))
15. Real-Time Computing Systems and Applications (1 paper(s))
16. International Conference on Multimedia and Expo (ICME) (1 paper(s))
17. Theorem Provers in Circuit Design (TPCD) (1 paper(s))
18. International Conference on Parallel and Distributed Systems (ICPADS) (1 paper(s))
19. International Conference on Parallel Processing (ICPP) (1 paper(s))
20. International Conference on Parallel Processing (ICPP) - Workshops (1 paper(s))
21. International Conference on Software Engineering (ICSE) (1 paper(s))