Journals and Conferences that author prefers

Journals

1. CoRR (7 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. Inf. Process. Lett. (1 paper(s))
7. Journal of Automata, Languages and Combinatorics (1 paper(s))
8. Journal of Computer Security (1 paper(s))
9. J. Comput. Syst. Sci. (1 paper(s))
10. STTT (1 paper(s))
11. ACM Trans. Comput. Log. (1 paper(s))
12. Acta Inf. (1 paper(s))
13. Formal Methods in System Design (1 paper(s))

Conferences

1. (14 paper(s))
2. Hybrid Systems (5 paper(s))
3. Formal Modeling and Analysis of Timed Systems (4 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (4 paper(s))
5. Computer Aided Verification (CAV) (3 paper(s))
6. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
7. Automated Technology for Verification and Analysis (2 paper(s))
8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
10. Static Analysis (WSA/SAS) (2 paper(s))
11. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
12. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
13. Computers and Games (1 paper(s))
14. Conference for Computer Science Logic (CSL) (1 paper(s))
15. World Congress on Formal Methods (FM) (1 paper(s))
16. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
17. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))