Journals and Conferences that author prefers

Journals

1. Int. J. Found. Comput. Sci. (2 paper(s))
2. IEEE Computer (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. Inf. Sci. (1 paper(s))
5. IEEE Trans. Computers (1 paper(s))
6. ACM Trans. Embedded Comput. Syst. (1 paper(s))
7. TOSN (1 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Hybrid Systems (14 paper(s))
2. (9 paper(s))
3. Design, Automation, and Test in Europe (2 paper(s))
4. Information Processing in Sensor Networks (2 paper(s))
5. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
6. Automated Technology for Verification and Analysis (1 paper(s))
7. EUROSIM (1 paper(s))
8. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
9. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
10. IEEE International Conference on Formal Engineering Methods (1 paper(s))
11. International Conference on Mobile Systems, Applications, and Services (MobiSys) (1 paper(s))
12. ACM SenSys (1 paper(s))
13. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
14. Formal Modeling and Analysis of Timed Systems (1 paper(s))