Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (2 paper(s))
2. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
3. IEEE Trans. Software Eng. (2 paper(s))
4. Advanced Engineering Informatics (1 paper(s))
5. IEEE Computer (1 paper(s))
6. IEEE Design & Test of Computers (1 paper(s))
7. IEEE MultiMedia (1 paper(s))
8. Inf. Process. Lett. (1 paper(s))
9. J. Parallel Distrib. Comput. (1 paper(s))

Conferences

1. Design Automation Conference (DAC) (3 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
3. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
4. International Conference on Computer Design (ICCD) (2 paper(s))
5. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
6. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
7. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
8. IFIP World Computer Congress (1 paper(s))
9. IFIP WG10.5 (1 paper(s))
10. Knowledge Based Computer Systems (1 paper(s))
11. Mathematical Science Institute Workshops (1 paper(s))
12. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
13. VLSI Design (1 paper(s))