Journals and Conferences that author prefers

Journals

1. Wirtschaftsinformatik (1 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. (11 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
3. Formale Beschreibungstechniken (2 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
5. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
6. (1 paper(s))
7. Design, Automation, and Test in Europe (1 paper(s))
8. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
10. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
11. GI-Jahrestagung (1 paper(s))
12. IFIP WG10.3 Publications (1 paper(s))
13. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
14. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))
15. The Unified Modeling Language (UML) (1 paper(s))