Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (1 paper(s))
2. Inf. Comput. (1 paper(s))

Conferences

1. Verification, Model Checking and Abstract Interpretation (VMCAI) (4 paper(s))
2. International Conference on Automated Deduction (CADE) (2 paper(s))
3. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
4. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
5. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
6. TIME Symposium / Workshop (1 paper(s))
7. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
8. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
9. Computer Aided Verification (CAV) (1 paper(s))
10. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
11. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
12. Logical Foundations of Computer Science (LFCS) (1 paper(s))
13. (1 paper(s))
14. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
15. Hybrid Systems (1 paper(s))
16. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
17. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
18. International Conference On Principles Of DIstributed Systems (1 paper(s))
19. Static Analysis (WSA/SAS) (1 paper(s))