Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (4 paper(s))
2. Inf. Comput. (3 paper(s))
3. Distributed Computing (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. Nord. J. Comput. (1 paper(s))
7. Operating Systems Review (1 paper(s))
8. SIAM J. Comput. (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (8 paper(s))
2. (3 paper(s))
3. International Symposium on Distributed Computing (DISC) (2 paper(s))
4. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
5. Hybrid Systems (2 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
7. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
8. Quantitative Evaluation of Systems (2 paper(s))
9. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
10. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
11. Computer Aided Verification (CAV) (1 paper(s))
12. Colloquium on Structural Information & Communication Complexity (1 paper(s))
13. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
15. European Educational Forum (EEF) (1 paper(s))
16. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
17. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
18. Process Algebra and Probabilistic Methods (1 paper(s))