Journals and Conferences that author prefers

Journals

1. Computer Communications (5 paper(s))
2. Computer Networks (2 paper(s))
3. IEEE Computer (1 paper(s))
4. Formal Methods in System Design (1 paper(s))
5. IEEE Journal on Selected Areas in Communications (1 paper(s))
6. Journal of Systems and Software (1 paper(s))
7. MONET (1 paper(s))
8. IEEE Software (1 paper(s))
9. IEEE Trans. Computers (1 paper(s))
10. IEEE/ACM Trans. Netw. (1 paper(s))
11. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Protocol Specification, Testing and Verification (7 paper(s))
2. (3 paper(s))
3. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
4. IEEE International Symposium on High Performance Distributed Computing (HPDC) (1 paper(s))
5. Integrated Network Management (1 paper(s))
6. IEEE INFOCOM (1 paper(s))
7. ACM/IEEE International Conference on Mobile Computing and Networking (MOBICOM) (1 paper(s))
8. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))
9. ACM SIGCOMM Conference (1 paper(s))
10. (1 paper(s))