Journals and Conferences that author prefers

Journals

1. Computer Networks (3 paper(s))
2. STTT (3 paper(s))
3. Comput. J. (1 paper(s))
4. Distributed Computing (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Protocol Specification, Testing and Verification (6 paper(s))
2. Computer Aided Verification (CAV) (5 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
4. Formal Techniques for Networked and Distributed Systems / (4 paper(s))
5. International Conference on Testing Communicating Systems (TestCom) (3 paper(s))
6. (3 paper(s))
7. Publications Resulting from Dagstuhl Seminars (2 paper(s))
8. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
9. TAPSOFT (2 paper(s))
10. Hybrid Systems (2 paper(s))
11. International Conference on Application of Concurrency to System Design (1 paper(s))
12. International Conference on Computer Communication (ICCC) (1 paper(s))
13. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
14. IEEE International Conference on Formal Engineering Methods (1 paper(s))
15. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
16. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
17. Automated Technology for Verification and Analysis (1 paper(s))
18. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
19. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
20. Enterprise Distributed Object Computing Conference (1 paper(s))
21. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
22. European Educational Forum (EEF) (1 paper(s))
23. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
24. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
25. SPIN (1 paper(s))
26. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))