Journals and Conferences that author prefers

Journals

1. Inf. Comput. (6 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. J. Symb. Log. (2 paper(s))
4. ITA (1 paper(s))
5. J. Comput. Syst. Sci. (1 paper(s))
6. CoRR (1 paper(s))
7. Bell Labs Technical Journal (1 paper(s))
8. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. (10 paper(s))
2. Publications Resulting from Dagstuhl Seminars (7 paper(s))
3. Logic in Computer Science (LICS) (5 paper(s))
4. Symposium on Theoretical Aspects of Computer Science (STACS) (4 paper(s))
5. Developments in Language Theory (4 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
7. Birthday ... (3 paper(s))
8. Conference for Computer Science Logic (CSL) (3 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (2 paper(s))
10. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
11. TAPSOFT (2 paper(s))
12. Conference on Implementation and Application of Automata (CIAA) (2 paper(s))
13. Fundamentals of Computation Theory (FCT) (2 paper(s))
14. Automated Technology for Verification and Analysis (1 paper(s))
15. IFIP International Conference on Theoretical Computer Science (IFIP TCS) (1 paper(s))
16. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
17. LITP Spring School on Theoretical Computer Science (1 paper(s))
18. Computer Aided Verification (CAV) (1 paper(s))
19. DeLFI - Fachtagung "e-Learning" der Gesellschaft für Informatik (1 paper(s))
20. Theoretical Computer Science (1 paper(s))
21. Formale Beschreibungstechniken (1 paper(s))
22. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
23. IFIP World Computer Congress (1 paper(s))