Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (2 paper(s))
2. Inf. Process. Lett. (2 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. Acta Inf. (1 paper(s))
5. Acta Cybern. (1 paper(s))
6. Distributed Computing (1 paper(s))
7. Fundam. Inform. (1 paper(s))

Conferences

1. Formal Modeling and Analysis of Timed Systems (3 paper(s))
2. Automated Technology for Verification and Analysis (2 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
4. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
5. Computer Aided Verification (CAV) (1 paper(s))
6. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
7. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
8. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
9. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
10. International Symposium on Distributed Computing (DISC) (1 paper(s))
11. (1 paper(s))