Journals and Conferences that author prefers

Journals

1. CoRR (2 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. ACM Trans. Embedded Comput. Syst. (1 paper(s))

Conferences

1. (7 paper(s))
2. Z Users Conference (ZUM) (4 paper(s))
3. Conference on Algorithms and Hardware for Parallel Processing (CONPAR) (2 paper(s))
4. Integrated Formal Methods (IFM) (2 paper(s))
5. Applied Informatics (1 paper(s))
6. B (1 paper(s))
7. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
8. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
9. World Congress on Formal Methods (FM) (1 paper(s))
10. High-Performance Computing and Networking (HPCN Europe) (1 paper(s))
11. International Conference on Computing and Information (ICCI) (1 paper(s))
12. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
13. Parallel and Distributed Computing and Systems (1 paper(s))
14. IEEE International Conference on Formal Engineering Methods (1 paper(s))