Journals and Conferences that author prefers

Journals

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

Conferences

1. (23 paper(s))
2. Computer Aided Verification (CAV) (10 paper(s))
3. International Conference on Concurrency Theory (CONCUR) (7 paper(s))
4. Logic in Computer Science (LICS) (5 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (5 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
7. Conference on Implementation and Application of Automata (CIAA) (2 paper(s))
8. Conference for Computer Science Logic (CSL) (2 paper(s))
9. Formal Modeling and Analysis of Timed Systems (2 paper(s))
10. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
11. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
12. Automated Technology for Verification and Analysis (1 paper(s))
13. Quantitative Evaluation of Systems (1 paper(s))
14. Birthday ... (1 paper(s))
15. (1 paper(s))
16. BCS-FACS Publications (1 paper(s))
17. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
18. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
19. (1 paper(s))