Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Formal Asp. Comput. (1 paper(s))
3. Sci. Comput. Program. (1 paper(s))

Conferences

1. (6 paper(s))
2. Irish Workshop in Formal Methods (IWFM) (2 paper(s))
3. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (1 paper(s))
4. Rewriting Techniques and Applications (RTA) (1 paper(s))
5. B (1 paper(s))
6. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
7. British National Conference on Databases (BNCOD) (1 paper(s))
8. Z Users Conference (ZUM) (1 paper(s))
9. Publications Resulting from Dagstuhl Seminars (1 paper(s))
10. (1 paper(s))
11. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
12. European-Japanese Conference on Information Modelling and Knowledge Bases (EJC) (1 paper(s))
13. Knowledge Acquisition, Modeling and Management (EKAW) (1 paper(s))
14. World Congress on Formal Methods (FM) (1 paper(s))
15. High-Performance Computing and Networking (HPCN Europe) (1 paper(s))
16. iTrust (1 paper(s))
17. Metadata Management in Grid and P2P Systems (1 paper(s))
18. Policies for Distributed Systems and Networks (1 paper(s))