Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Formal Methods in System Design (3 paper(s))
3. Fundam. Inform. (1 paper(s))
4. it - Information Technology (1 paper(s))
5. ACM Trans. Embedded Comput. Syst. (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. (15 paper(s))
2. International Conference on Theorem Proving in Higher Order Logics (11 paper(s))
3. Design, Automation, and Test in Europe (5 paper(s))
4. International Conference on Formal Methods and Models for Co-Design (5 paper(s))
5. International Conference on Application of Concurrency to System Design (3 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (3 paper(s))
7. IFIP WG10.3 Publications (3 paper(s))
8. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
9. (2 paper(s))
10. Formale Beschreibungstechniken (1 paper(s))
11. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
12. Rechnerunterstütztes Entwerfen und Konstruieren (CAD) (1 paper(s))
13. Formal Hardware Verification (1 paper(s))
14. (1 paper(s))
15. International Conference on Automated Deduction (CADE) (1 paper(s))
16. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
17. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (1 paper(s))
18. Games for Logic and Programming Languages (1 paper(s))
19. TIME Symposium / Workshop (1 paper(s))
20. Computer Aided Verification (CAV) (1 paper(s))
21. ACM Great Lakes Symposium on VLSI (1 paper(s))
22. Theorem Provers in Circuit Design (TPCD) (1 paper(s))
23. Computer Hardware Description Languages and their Applications (1 paper(s))
24. IEEE International Conference on Formal Engineering Methods (1 paper(s))
25. Conference on Very Large Scale Integration (VLSI) (1 paper(s))
26. Design Automation Conference (DAC) (1 paper(s))
27. International Conference on Informatics in Control, Automation and Robotics (1 paper(s))
28. VLSI Design (1 paper(s))
29. International Conference on Robotics and Automation (ICRA) (1 paper(s))
30. Logical Foundations of Computer Science (LFCS) (1 paper(s))
31. Euromicro Conference on Real-Time Systems (ECRTS) (1 paper(s))
32. Ershov Memorial Conference (1 paper(s))
33. Russian Conference on Logic Programming / (1 paper(s))
34. Embedded and Ubiquitous Computing (1 paper(s))
35. European Design and Test Conference (EDAC) (1 paper(s))
36. Fachtagung Prozessrechner (1 paper(s))