Journals and Conferences that author prefers

Journals

1. Fundam. Inform. (9 paper(s))
2. Acta Inf. (5 paper(s))
3. Theor. Comput. Sci. (5 paper(s))
4. Electr. Notes Theor. Comput. Sci. (3 paper(s))
5. Inf. Comput. (3 paper(s))
6. Comput. Syst. Sci. Eng. (1 paper(s))
7. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
8. Formal Asp. Comput. (1 paper(s))
9. International Journal of Man-Machine Studies (1 paper(s))
10. J. Comput. Sci. Technol. (1 paper(s))
11. Journal of Systems and Software (1 paper(s))
12. Formal Methods in System Design (1 paper(s))

Conferences

1. Applications and Theory of Petri Nets (ICATPN/APN) (11 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (8 paper(s))
3. International Conference on Application of Concurrency to System Design (7 paper(s))
4. (6 paper(s))
5. Parallel Architectures and Languages Europe (PARLE) (4 paper(s))
6. Advanced Courses (2 paper(s))
7. International Colloquium on Theoretical Aspects of Computing (2 paper(s))
8. IFIP WG 1.7 Publications (2 paper(s))
9. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
10. Workshop on Membrane Computing (2 paper(s))
11. Computer Aided Verification (CAV) (2 paper(s))
12. Design, Automation, and Test in Europe (2 paper(s))
13. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
14. ACM Annual Computer Science Conference (CSC) (1 paper(s))
15. Russian Conference on Logic Programming / (1 paper(s))
16. Symposium on Programming (1 paper(s))
17. Protocol Specification, Testing and Verification (1 paper(s))
18. Symposium on Reliable Distributed Systems (SRDS) (1 paper(s))
19. World Congress on Formal Methods (FM) (1 paper(s))
20. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
21. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
22. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
23. (1 paper(s))
24. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
25. International Conference on Logic Programming (1 paper(s))