Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (2 paper(s))
2. Ann. Pure Appl. Logic (1 paper(s))
3. Computer Languages, Systems & Structures (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. Int. J. Found. Comput. Sci. (1 paper(s))
7. Journal of Computer Security (1 paper(s))
8. Journal of Logic, Language and Information (1 paper(s))
9. CoRR (1 paper(s))

Conferences

1. (10 paper(s))
2. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (6 paper(s))
3. Theoretical Aspects of Rationality and Knowledge (3 paper(s))
4. Logic of Programs (2 paper(s))
5. International Conference on Application of Concurrency to System Design (1 paper(s))
6. Asian Computing Science Conference (ASIAN) (1 paper(s))
7. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
8. Logic in Computer Science (LICS) (1 paper(s))
9. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
10. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
11. Conference on Implementation and Application of Automata (CIAA) (1 paper(s))