Journals and Conferences that author prefers

Journals

1. Acta Inf. (1 paper(s))
2. Informatik Spektrum (1 paper(s))
3. Sci. Comput. Program. (1 paper(s))
4. IEEE Design & Test of Computers (1 paper(s))

Conferences

1. (3 paper(s))
2. Computer Aided Verification (CAV) (2 paper(s))
3. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
5. Temporal Logic in Specification (1 paper(s))
6. (1 paper(s))
7. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
8. World Congress on Formal Methods (FM) (1 paper(s))
9. Formal Methods for Components and Objects (1 paper(s))
10. Field-Programmable Logic and Applications (FPL) (1 paper(s))
11. GI-Jahrestagung (1 paper(s))
12. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
13. Logic of Programs (1 paper(s))
14. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
15. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
16. Theoretical Computer Science (1 paper(s))