Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (7 paper(s))
2. STTT (4 paper(s))
3. Formal Asp. Comput. (2 paper(s))
4. CoRR (2 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Journal of Computer Security (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. SIGMETRICS Performance Evaluation Review (1 paper(s))
9. IEEE Trans. on CAD of Integrated Circuits and Systems (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. Inf. Comput. (1 paper(s))

Conferences

1. (8 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (4 paper(s))
3. Process Algebra and Probabilistic Methods (3 paper(s))
4. Computer Aided Verification (CAV) (2 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
6. Formal Modeling and Analysis of Timed Systems (2 paper(s))
7. Quantitative Evaluation of Systems (2 paper(s))
8. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
9. VLSI Design (1 paper(s))
10. Computational Methods in Systems Biology (1 paper(s))
11. Validation of Stochastic Systems (1 paper(s))
12. Winter Simulation Conference (WSC) (1 paper(s))
13. Computer Performance Evaluation (1 paper(s))
14. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
15. Formal Aspects of Security (1 paper(s))
16. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
17. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
18. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
19. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))