Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Formal Methods in System Design (3 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Inf. Process. Lett. (1 paper(s))
6. STTT (1 paper(s))
7. CoRR (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (8 paper(s))
2. (6 paper(s))
3. Applications and Theory of Petri Nets (ICATPN/APN) (6 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
5. International Conference on Application of Concurrency to System Design (3 paper(s))
6. Computer Aided Verification (CAV) (3 paper(s))
7. World Congress on Formal Methods (FM) (2 paper(s))
8. Advanced Courses (1 paper(s))
9. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
10. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
11. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
12. Parallel, Distributed and Network-Based Processing (1 paper(s))
13. Protocol Specification, Testing and Verification (1 paper(s))
14. Scandinavian Conference on AI (SCAI) (1 paper(s))
15. SPIN (1 paper(s))