Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. CoRR (3 paper(s))
3. Formal Methods in System Design (2 paper(s))
4. Inf. Process. Lett. (2 paper(s))
5. Theor. Comput. Sci. (2 paper(s))
6. Inf. Comput. (1 paper(s))
7. Journal of Automata, Languages and Combinatorics (1 paper(s))
8. STTT (1 paper(s))
9. Ann. Pure Appl. Logic (1 paper(s))

Conferences

1. (13 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
3. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (4 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
5. Automated Technology for Verification and Analysis (2 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. Formal Modeling and Analysis of Timed Systems (2 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
10. Logic in Computer Science (LICS) (2 paper(s))
11. International Conference on Application of Concurrency to System Design (1 paper(s))
12. Logical Foundations of Computer Science (LFCS) (1 paper(s))
13. Hybrid Systems (1 paper(s))
14. Latin American Theoretical INformatics (LATIN) (1 paper(s))
15. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
16. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))