Journals and Conferences that author prefers

Journals

1. IEEE Computer (4 paper(s))
2. IEEE Trans. Parallel Distrib. Syst. (3 paper(s))
3. IEEE Trans. Computers (2 paper(s))
4. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
5. Formal Methods in System Design (2 paper(s))
6. Advances in Computers (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. Ann. Software Eng. (1 paper(s))
9. Concurrency and Computation: Practice and Experience (1 paper(s))
10. IEEE Transactions on Information Theory (1 paper(s))
11. IEEE Design & Test of Computers (1 paper(s))
12. ACM Trans. Model. Comput. Simul. (1 paper(s))
13. Formal Asp. Comput. (1 paper(s))
14. Commun. ACM (1 paper(s))
15. Int. Journal in Computer Simulation (1 paper(s))
16. Journal of Circuits, Systems, and Computers (1 paper(s))
17. J. Parallel Distrib. Comput. (1 paper(s))
18. IEEE Journal on Selected Areas in Communications (1 paper(s))
19. Parallel Computing (1 paper(s))
20. Proceedings of the IEEE (1 paper(s))

Conferences

1. (16 paper(s))
2. Design Automation Conference (DAC) (4 paper(s))
3. Application-Specific Systems, Architectures, and Processors (3 paper(s))
4. Hybrid Systems (3 paper(s))
5. International Conference on Formal Methods and Models for Co-Design (2 paper(s))
6. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
7. Winter Simulation Conference (WSC) (2 paper(s))
8. International Conference on Application of Concurrency to System Design (1 paper(s))
9. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
10. Information Processing in Sensor Networks (1 paper(s))
11. International Conference on Hardware Software Codesign (1 paper(s))
12. International Symposium on Systems Synthesis (1 paper(s))
13. COMPCON (1 paper(s))
14. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
15. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
16. ACM SenSys (1 paper(s))
17. IEEE Symposium on Parallel and Distributed Processing (SPDP) (1 paper(s))
18. Formal Modeling and Analysis of Timed Systems (1 paper(s))
19. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
20. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
21. IEEE Symposium on Human-Centric Computing Languages and Environments (HCC) (1 paper(s))
22. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
23. (1 paper(s))
24. International Conference on Parallel Processing (ICPP) (1 paper(s))
25. International Conference on Computational Science (ICCS) (1 paper(s))
26. IFIP WG10.3 Publications (1 paper(s))
27. International Conference on Embedded Software and Systems (1 paper(s))