Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (8 paper(s))
2. Theor. Comput. Sci. (2 paper(s))
3. Formal Asp. Comput. (1 paper(s))
4. J. UCS (1 paper(s))
5. CoRR (1 paper(s))

Conferences

1. (8 paper(s))
2. Formal Techniques for Networked and Distributed Systems / (7 paper(s))
3. Applications and Theory of Petri Nets (ICATPN/APN) (4 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
5. TAPSOFT (2 paper(s))
6. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
7. Computational Science and Its Applications (2 paper(s))
8. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
9. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
10. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
11. Asian Computing Science Conference (ASIAN) (1 paper(s))
12. Automated Technology for Verification and Analysis (1 paper(s))
13. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
14. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
15. International Conference on Computational Science (ICCS) (1 paper(s))
16. Petri Nets and Performance Models (1 paper(s))
17. Protocol Specification, Testing and Verification (1 paper(s))