Journals and Conferences that author prefers

Journals

1. IEEE Trans. Computers (4 paper(s))
2. IEEE Trans. on CAD of Integrated Circuits and Systems (4 paper(s))
3. Formal Methods in System Design (3 paper(s))
4. Inf. Comput. (3 paper(s))
5. Integration (3 paper(s))
6. IEEE Design & Test of Computers (2 paper(s))
7. CoRR (2 paper(s))
8. it - Information Technology (2 paper(s))
9. J. Electronic Testing (2 paper(s))
10. Inform., Forsch. Entwickl. (2 paper(s))
11. Acta Inf. (1 paper(s))
12. IEEE Trans. VLSI Syst. (1 paper(s))
13. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
14. Electr. Notes Theor. Comput. Sci. (1 paper(s))
15. Fundam. Inform. (1 paper(s))
16. SIAM J. Comput. (1 paper(s))
17. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (27 paper(s))
2. IEEE VLSI Test Symposium (8 paper(s))
3. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (7 paper(s))
4. Asian Test Symposium (6 paper(s))
5. VLSI Design (5 paper(s))
6. Workshop on Microprocessor Test and Verification (5 paper(s))
7. Design Automation Conference (DAC) (5 paper(s))
8. International Conference on Computer Design (ICCD) (5 paper(s))
9. Asia and South Pacific Design Automation Conference (ASP-DAC) (4 paper(s))
10. International Test Conference (ITC) (4 paper(s))
11. IEEE International Symposium on Circuits and Systems (ISCAS) (4 paper(s))
12. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
13. EUROMICRO (3 paper(s))
14. International Symposium on Fault-Tolerant Computing (FTCS) (3 paper(s))
15. Design, Automation, and Test in Europe (3 paper(s))
16. (3 paper(s))
17. International On-Line Testing Symposium / Workshop (3 paper(s))
18. Theory and Applications of Satisfiability Testing (3 paper(s))
19. Conference on Very Large Scale Integration (VLSI) (2 paper(s))
20. Fuzzy Days (2 paper(s))
21. Symposium on Graph Drawing (GD) (2 paper(s))
22. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
23. ACM Great Lakes Symposium on VLSI (2 paper(s))
24. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
25. European Design and Test Conference (EDAC) (2 paper(s))
26. Asian Applied Computing Conference (1 paper(s))
27. International Symposium on Physical Design (ISPD) (1 paper(s))
28. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
29. Architektur von Rechensystemen (1 paper(s))
30. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
31. Annual Symposium on VLSI (1 paper(s))
32. Theoretical Computer Science (1 paper(s))
33. Latin American Theoretical INformatics (LATIN) (1 paper(s))
34. Automated Technology for Verification and Analysis (1 paper(s))
35. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
36. Aegean Workshop on Computing (AWOC) (1 paper(s))
37. Genetic and Evolutionary Computation Conference (GECCO) (1 paper(s))
38. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
39. Workshop on Experimental and Efficient Algorithms (1 paper(s))
40. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
41. IEEE International Conference on Pervasive Computing and Communications (1 paper(s))
42. Computer Aided Verification (CAV) (1 paper(s))
43. Parallel Problem Solving from Nature (PPSN) (1 paper(s))
44. EUROCAST (1 paper(s))
45. Defect and Fault Tolerance in VLSI Systems (1 paper(s))
46. Quantitative Evaluation of Systems (1 paper(s))
47. (1 paper(s))
48. Euromicro Symposium on Digital Systems Design (1 paper(s))
49. Evolutionary Multi-Criterion Optimization (1 paper(s))
50. ACM Symposium on Parallel Algorithms and Architectures (SPAA) (1 paper(s))