Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. Fundam. Inform. (3 paper(s))
3. Higher-Order and Symbolic Computation (1 paper(s))

Conferences

1. (4 paper(s))
2. Applications and Theory of Petri Nets (ICATPN/APN) (3 paper(s))
3. Birthday ... (1 paper(s))
4. Publications Resulting from Dagstuhl Seminars (1 paper(s))
5. DARPA Active Networks Conference and Exposition (1 paper(s))
6. World Congress on Formal Methods (FM) (1 paper(s))
7. Russian Conference on Logic Programming / (1 paper(s))
8. International Conference on Distributed Systems Platforms and Open Distributed Processing - Middleware (1 paper(s))
9. Pacific Rim International Symposium on Dependable Computing (1 paper(s))
10. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
11. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
12. Formal Modeling and Analysis of Timed Systems (1 paper(s))
13. Policies for Distributed Systems and Networks (1 paper(s))