Journals and Conferences that author prefers

Journals

1. STTT (4 paper(s))
2. CLEI Electron. J. (1 paper(s))
3. Computer Communications (1 paper(s))
4. Nord. J. Comput. (1 paper(s))
5. IEEE Trans. Software Eng. (1 paper(s))
6. IEEE Transactions on Systems, Man, and Cybernetics, Part A (1 paper(s))

Conferences

1. Applications and Theory of Petri Nets (ICATPN/APN) (11 paper(s))
2. (7 paper(s))
3. Formal Techniques for Networked and Distributed Systems / (4 paper(s))
4. Petri Nets and Performance Models (3 paper(s))
5. Advanced Courses (2 paper(s))
6. Australasian Computer Science Conference (2 paper(s))
7. Automated Technology for Verification and Analysis (2 paper(s))
8. Protocol Specification, Testing and Verification (2 paper(s))
9. Electronic Commerce and Web Technologies (EC-Web) (2 paper(s))
10. IEEE International Conference on Formal Engineering Methods (2 paper(s))
11. IFIP World Computer Congress (1 paper(s))
12. Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS) (1 paper(s))
13. International Conference on Application of Concurrency to System Design (1 paper(s))
14. International Conference on Mobile Data Access/Management (MDA/MDM) (1 paper(s))
15. Conference on Multimedia Modeling (1 paper(s))
16. Business Process Management (1 paper(s))
17. ACM Symposium on Applied Computing (SAC) (1 paper(s))
18. BCS-FACS Publications (1 paper(s))
19. SPIN (1 paper(s))
20. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
21. (1 paper(s))
22. International Conference on Computer Communication (ICCC) (1 paper(s))
23. Software Quality and Productivity (1 paper(s))