Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (6 paper(s))
2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
3. Inf. Comput. (1 paper(s))
4. Inf. Process. Lett. (1 paper(s))
5. J. ACM (1 paper(s))
6. J. Comput. Syst. Sci. (1 paper(s))

Conferences

1. (14 paper(s))
2. Hybrid Systems (12 paper(s))
3. Computer Aided Verification (CAV) (8 paper(s))
4. Formal Modeling and Analysis of Timed Systems (7 paper(s))
5. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (4 paper(s))
6. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
7. Symposium on Theoretical Aspects of Computer Science (STACS) (3 paper(s))
8. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
9. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
11. Analogical and Inductive Inference (AII) (1 paper(s))
12. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (1 paper(s))
13. International Conference on Logic Programming (1 paper(s))
14. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
15. Logic in Computer Science (LICS) (1 paper(s))
16. Computational Learning Theory (COLT) (1 paper(s))
17. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
18. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
19. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
20. Theory and Applications of Satisfiability Testing (1 paper(s))
21. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
22. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
23. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))