Journals and Conferences that author prefers

Journals

1. IEEE Transactions on Systems, Man, and Cybernetics, Part A (2 paper(s))
2. IEEE Database Eng. Bull. (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. Discrete Event Dynamic Systems (1 paper(s))

Conferences

1. (5 paper(s))
2. Applications and Theory of Petri Nets (ICATPN/APN) (2 paper(s))
3. PROgraming LAnguages for MAnufacTuring (PROLAMAT) (2 paper(s))
4. Protocol Specification, Testing and Verification (2 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
6. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
7. IFIP WG5.12 Publications (2 paper(s))
8. IFIP TC5/WG5.3 Publications (2 paper(s))
9. IFIP WG5.7 Publications (1 paper(s))
10. Automatic Verification Methods for Finite State Systems (1 paper(s))
11. Journées Francophones de Programmation Logique par Contraintes (1 paper(s))
12. Conference on Advanced Information Systems Engineering (CAiSE) (1 paper(s))
13. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
14. Computer Aided Verification (CAV) (1 paper(s))
15. International Conference on Cooperative Information Systems (CoopIS) (1 paper(s))
16. Concurrent Object-Oriented Programming and Petri Nets (1 paper(s))
17. Quantitative Evaluation of Systems (1 paper(s))
18. Formal Modeling and Analysis of Timed Systems (1 paper(s))
19. Automated Technology for Verification and Analysis (1 paper(s))
20. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
21. International Conference on Enterprise Information Systems (ICEIS) (1 paper(s))
22. International Conference on Multiagent Systems (ICMAS) (1 paper(s))