Journals and Conferences that author prefers

Journals

1. International Journal of Parallel Programming (1 paper(s))
2. Theory Comput. Syst. (1 paper(s))
3. IEEE Trans. Computers (1 paper(s))

Conferences

1. (10 paper(s))
2. Design Automation Conference (DAC) (9 paper(s))
3. Computer Aided Verification (CAV) (7 paper(s))
4. International Conference on Computer Design (ICCD) (5 paper(s))
5. Asia and South Pacific Design Automation Conference (ASP-DAC) (2 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
7. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
8. ACM Symposium on Parallel Algorithms and Architectures (SPAA) (2 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
10. Uncertainty in Artificial Intelligence (1 paper(s))
11. USENIX Security Symposium (1 paper(s))
12. Automated Technology for Verification and Analysis (1 paper(s))
13. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
14. World Congress on Formal Methods (FM) (1 paper(s))
15. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
16. International Symposium on High-Performance Computer Architecture (HPCA) (1 paper(s))
17. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
18. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))