Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Formal Methods in System Design (2 paper(s))
3. Comput. J. (1 paper(s))
4. International Journal of Man-Machine Studies (1 paper(s))
5. Interacting with Computers (1 paper(s))
6. Nord. J. Comput. (1 paper(s))
7. STTT (1 paper(s))
8. Microelectronics Journal (1 paper(s))

Conferences

1. (9 paper(s))
2. International Conference on Theorem Proving in Higher Order Logics (6 paper(s))
3. Design, Specification, and Verification of Interactive Systems (DSV-IS) (3 paper(s))
4. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
5. Integrated Formal Methods (IFM) (2 paper(s))
6. (1 paper(s))
7. Engineering for Human-Computer Interaction (EHCI) (1 paper(s))
8. European Conference on Digital Libraries (ECDL) (1 paper(s))
9. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
10. ACM Great Lakes Symposium on VLSI (1 paper(s))
11. International Conference on Engineering of Complex Computer Systems (1 paper(s))
12. Russian Conference on Logic Programming / (1 paper(s))
13. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (1 paper(s))
14. User Interfaces for All (1 paper(s))
15. IFIP Conference on Human-Computer Interaction (INTERACT) (1 paper(s))