Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (7 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Inf. Comput. (5 paper(s))
4. Inf. Process. Lett. (5 paper(s))
5. CoRR (4 paper(s))
6. J. Comput. Syst. Sci. (1 paper(s))
7. J. Symb. Comput. (1 paper(s))
8. Nord. J. Comput. (1 paper(s))
9. Sci. Comput. Program. (1 paper(s))

Conferences

1. (6 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (5 paper(s))
3. Foundations of Software Science and Computation Structure (FoSSaCS) (5 paper(s))
4. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
5. Parallel Architectures and Languages Europe (PARLE) (3 paper(s))
6. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
8. Applications and Theory of Petri Nets (ICATPN/APN) (2 paper(s))
9. Latin American Theoretical INformatics (LATIN) (2 paper(s))
10. (1 paper(s))
11. Logic in Computer Science (LICS) (1 paper(s))
12. Algebraic and Logic Programming (ALP) (1 paper(s))
13. Russian Conference on Logic Programming / (1 paper(s))
14. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
15. Parallel Computing Technologies (PaCT) (1 paper(s))
16. Automated Technology for Verification and Analysis (1 paper(s))
17. Quantitative Evaluation of Systems (1 paper(s))
18. Ershov Memorial Conference (1 paper(s))
19. European Symposium on Programming (ESOP) (1 paper(s))
20. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
21. Formal Modeling and Analysis of Timed Systems (1 paper(s))
22. Validation of Stochastic Systems (1 paper(s))
23. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
24. TIME Symposium / Workshop (1 paper(s))