Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Formal Methods in System Design (2 paper(s))
3. Inf. Comput. (2 paper(s))
4. Theor. Comput. Sci. (2 paper(s))
5. Acta Inf. (1 paper(s))
6. Journal of Object Technology (1 paper(s))
7. J. Symb. Comput. (1 paper(s))
8. Proceedings of the IEEE (1 paper(s))
9. STTT (1 paper(s))
10. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Hybrid Systems (7 paper(s))
2. Computer Aided Verification (CAV) (6 paper(s))
3. (5 paper(s))
4. IEEE Real-Time Systems Symposium (RTSS) (4 paper(s))
5. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
6. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
7. IEEE Real Time Technology and Applications Symposium (1 paper(s))
8. Distributed Frameworks for Multimedia Applications (1 paper(s))
9. Euromicro Conference on Real-Time Systems (ECRTS) (1 paper(s))
10. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
11. European Educational Forum (EEF) (1 paper(s))
12. Real-Time Computing Systems and Applications (1 paper(s))
13. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
14. IEEE International Conference on Formal Engineering Methods (1 paper(s))
15. Innovative Internet Computing Systems (1 paper(s))
16. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
17. Logic in Computer Science (LICS) (1 paper(s))
18. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))