Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (8 paper(s))
2. Inf. Comput. (6 paper(s))
3. Int. J. Found. Comput. Sci. (2 paper(s))
4. Acta Inf. (1 paper(s))
5. Ann. Pure Appl. Logic (1 paper(s))
6. ACM Comput. Surv. (1 paper(s))
7. Distributed Computing (1 paper(s))
8. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
9. Electr. Notes Theor. Comput. Sci. (1 paper(s))
10. J. ACM (1 paper(s))
11. SIAM J. Comput. (1 paper(s))
12. Formal Methods in System Design (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (9 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (8 paper(s))
3. Applications and Theory of Petri Nets (ICATPN/APN) (7 paper(s))
4. (7 paper(s))
5. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (5 paper(s))
6. Advanced Courses (4 paper(s))
7. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
8. IEEE Real-Time Systems Symposium (RTSS) (3 paper(s))
9. Hybrid Systems (3 paper(s))
10. Logic in Computer Science (LICS) (2 paper(s))
11. International Conference on Application of Concurrency to System Design (2 paper(s))
12. Intelligent Systems in Molecular Biology (1 paper(s))
13. The Analysis of Concurrent Systems (1 paper(s))
14. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
15. Symposium on Asynchronous Circuits and Systems (1 paper(s))
16. Birthday ... (1 paper(s))
17. UNI/IIST (1 paper(s))
18. Algorithms in Bioinformatics (1 paper(s))
19. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
20. Graph Grammars Workshops / Int. Conf. on Graph Transformation (1 paper(s))
21. International Conference on Software Engineering (ICSE) (1 paper(s))