Journals and Conferences that author prefers

Journals

1. Inf. Comput. (6 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. CoRR (3 paper(s))
4. Formal Asp. Comput. (2 paper(s))
5. Acta Inf. (1 paper(s))
6. Formal Methods in System Design (1 paper(s))
7. Inf. Process. Lett. (1 paper(s))
8. J. ACM (1 paper(s))
9. J. Log. Algebr. Program. (1 paper(s))
10. STTT (1 paper(s))
11. ACM Trans. Comput. Log. (1 paper(s))
12. SIAM J. Comput. (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (5 paper(s))
2. (5 paper(s))
3. Logic in Computer Science (LICS) (3 paper(s))
4. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (3 paper(s))
5. Hybrid Systems (3 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
8. Computer Aided Verification (CAV) (2 paper(s))
9. REX (Research and Education in Concurrent Systems) - Workshops (2 paper(s))
10. Formal Modeling and Analysis of Timed Systems (2 paper(s))
11. Algebraic Methods (1 paper(s))
12. LITP Spring School on Theoretical Computer Science (1 paper(s))
13. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
14. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
15. International Conference on Quality Software (1 paper(s))
16. Dependable Systems and Networks (1 paper(s))
17. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
18. European Educational Forum (EEF) (1 paper(s))
19. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
20. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
21. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
22. TAPSOFT (1 paper(s))
23. TYPES Workshops (1 paper(s))
24. International Colloquium on Theoretical Aspects of Computing (1 paper(s))