Journals and Conferences that author prefers

Journals

1. Formal Asp. Comput. (2 paper(s))
2. Computer Languages, Systems & Structures (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. Inf. Process. Lett. (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. it - Information Technology (1 paper(s))

Conferences

1. (7 paper(s))
2. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (4 paper(s))
3. Compiler Construction (CC) (2 paper(s))
4. Birthday ... (1 paper(s))
5. (1 paper(s))
6. Conference for Computer Science Logic (CSL) (1 paper(s))
7. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
8. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
9. Russian Conference on Logic Programming / (1 paper(s))
10. Real-Time Computing Systems and Applications (1 paper(s))
11. Software Quality (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Computer Aided Verification (CAV) (1 paper(s))
14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
15. TIME Symposium / Workshop (1 paper(s))