Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (13 paper(s))
2. Integration (6 paper(s))
3. IEEE Trans. Computers (6 paper(s))
4. Formal Methods in System Design (2 paper(s))
5. it - Information Technology (2 paper(s))
6. IEEE Design & Test of Computers (1 paper(s))
7. Electr. Notes Theor. Comput. Sci. (1 paper(s))
8. Genetic Programming and Evolvable Machines (1 paper(s))
9. Inf. Comput. (1 paper(s))
10. Inf. Process. Lett. (1 paper(s))
11. Journal of Systems Architecture (1 paper(s))
12. STTT (1 paper(s))
13. IEEE Trans. Evolutionary Computation (1 paper(s))
14. Artif. Intell. (1 paper(s))

Conferences

1. (54 paper(s))
2. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (26 paper(s))
3. Asia and South Pacific Design Automation Conference (ASP-DAC) (13 paper(s))
4. IEEE International Symposium on Circuits and Systems (ISCAS) (12 paper(s))
5. Design, Automation, and Test in Europe (10 paper(s))
6. VLSI Design (9 paper(s))
7. Euromicro Symposium on Digital Systems Design (8 paper(s))
8. ACM Great Lakes Symposium on VLSI (7 paper(s))
9. EUROMICRO (7 paper(s))
10. Annual Symposium on VLSI (5 paper(s))
11. International Conference on Computer Design (ICCD) (5 paper(s))
12. International Conference on Computer Aided Design (ICCAD) (4 paper(s))
13. Conference on Very Large Scale Integration (VLSI) (4 paper(s))
14. Fuzzy Days (3 paper(s))
15. Genetic and Evolutionary Computation Conference (GECCO) (3 paper(s))
16. International Conference on Formal Methods and Models for Co-Design (3 paper(s))
17. Design Automation Conference (DAC) (3 paper(s))
18. Workshop on Microprocessor Test and Verification (3 paper(s))
19. EvoWorkshops (3 paper(s))
20. Asian Test Symposium (2 paper(s))
21. IEEE International Workshop on Rapid System Prototyping (2 paper(s))
22. Evolutionary Multi-Criterion Optimization (2 paper(s))
23. IFIP WG10.5 (2 paper(s))
24. IEEE VLSI Test Symposium (2 paper(s))
25. Deutsche Jahrestagung für Künstliche Intelligenz (1 paper(s))
26. Applied Informatics (1 paper(s))
27. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
28. Symposium on Graph Drawing (GD) (1 paper(s))
29. International Workshop on Logic & Synthesis (1 paper(s))
30. Latin American Theoretical INformatics (LATIN) (1 paper(s))
31. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
32. GI-Jahrestagung (1 paper(s))
33. (1 paper(s))
34. Parallel Problem Solving from Nature (PPSN) (1 paper(s))
35. (1 paper(s))
36. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
37. SAFECOMP (1 paper(s))
38. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
39. European Design and Test Conference (EDAC) (1 paper(s))
40. European Conference on Genetic Programming (EuroGP) (1 paper(s))
41. International Symposium on Quality Electronic Design (1 paper(s))