Journals and Conferences that author prefers

Journals

1. Fundam. Inform. (1 paper(s))
2. Nord. J. Comput. (1 paper(s))
3. STTT (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. (8 paper(s))
2. Computer Aided Verification (CAV) (3 paper(s))
3. Automated Technology for Verification and Analysis (2 paper(s))
4. Logic in Computer Science (LICS) (2 paper(s))
5. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
6. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
7. KORSO (2 paper(s))
8. Birthday ... (1 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
10. Radical Innovations of Software and Systems Engineering in the Future (1 paper(s))
11. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
12. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
13. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
14. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
15. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
16. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
17. Publications Resulting from Dagstuhl Seminars (1 paper(s))
18. Formal Methods for Components and Objects (1 paper(s))
19. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
20. International Test Conference (ITC) (1 paper(s))