Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (8 paper(s))
2. Data Knowl. Eng. (1 paper(s))
3. Formal Methods in System Design (1 paper(s))
4. STTT (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))
6. Inf. Comput. (1 paper(s))

Conferences

1. (16 paper(s))
2. Asian Computing Science Conference (ASIAN) (2 paper(s))
3. Russian Conference on Logic Programming / (2 paper(s))
4. Computer Aided Verification (CAV) (2 paper(s))
5. SPIN (2 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
7. Publications Resulting from Dagstuhl Seminars (2 paper(s))
8. TIME Symposium / Workshop (2 paper(s))
9. International Conference on Engineering of Complex Computer Systems (2 paper(s))
10. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
11. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
12. Australian Software Engineering Conference (1 paper(s))
13. International Conference on Automated Deduction (CADE) (1 paper(s))
14. IEEE International Workshop on Rapid System Prototyping (1 paper(s))
15. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
16. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
17. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
18. Formal Modeling and Analysis of Timed Systems (1 paper(s))
19. Validation of Stochastic Systems (1 paper(s))
20. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
21. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
22. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
23. IEEE International Conference on Formal Engineering Methods (1 paper(s))
24. International Colloquium on Grammatical Inference (ICGI) (1 paper(s))