Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Theor. Comput. Sci. (2 paper(s))
3. IEEE Design & Test of Computers (1 paper(s))
4. Int. J. Found. Comput. Sci. (1 paper(s))
5. J. Log. Comput. (1 paper(s))
6. IEEE Trans. on CAD of Integrated Circuits and Systems (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (6 paper(s))
2. (4 paper(s))
3. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
4. Design Automation Conference (DAC) (2 paper(s))
5. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
6. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
7. ACM Symposium on Parallel Algorithms and Architectures (SPAA) (2 paper(s))
8. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
9. Automated Technology for Verification and Analysis (1 paper(s))
10. Design, Automation, and Test in Europe (1 paper(s))
11. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
12. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
13. VLSI Design (1 paper(s))