Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (3 paper(s))
2. Nord. J. Comput. (2 paper(s))
3. Computer Languages, Systems & Structures (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (3 paper(s))
2. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
3. Datenbanksysteme für Business, Technologie und Web (1 paper(s))
4. (1 paper(s))
5. Conference on Computer and Communications Security (CCS) (1 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
7. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
8. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
9. Hybrid Systems (1 paper(s))
10. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
12. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
13. ACM Symposium on Applied Computing (SAC) (1 paper(s))
14. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
15. Advanced Courses (1 paper(s))
16. Birthday ... (1 paper(s))