Journals and Conferences that author prefers

Journals

1. Inf. Comput. (3 paper(s))
2. STTT (2 paper(s))
3. IEEE Computer (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Int. J. Found. Comput. Sci. (1 paper(s))
7. Sci. Comput. Program. (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
2. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
3. International Workshop on Program Comprehension (2 paper(s))
4. Computer Aided Verification (CAV) (1 paper(s))
5. Conference on Computer and Communications Security (CCS) (1 paper(s))
6. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
7. World Congress on Formal Methods (FM) (1 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
10. Static Analysis (WSA/SAS) (1 paper(s))
11. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
12. TAPSOFT (1 paper(s))