Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. J. Autom. Reasoning (2 paper(s))
3. Ann. Math. Artif. Intell. (1 paper(s))
4. J. Applied Logic (1 paper(s))
5. J. Exp. Theor. Artif. Intell. (1 paper(s))
6. J. Log. Algebr. Program. (1 paper(s))
7. STTT (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (7 paper(s))
2. (4 paper(s))
3. Automated Software Engineering (ASE) (3 paper(s))
4. Deutsche Jahrestagung für Künstliche Intelligenz (3 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
6. Birthday ... (2 paper(s))
7. International Conference on Security in Pervasive Computing (2 paper(s))
8. European Symposium on Research in Computer Security (ESORICS) (2 paper(s))
9. (2 paper(s))
10. Workshop on Algebraic Development Techniques (WADT) (2 paper(s))
11. World Congress on Formal Methods (FM) (2 paper(s))
12. International School and Symposium on Advanced Distributed Systems (1 paper(s))
13. Atlantic Web Intelligence Conference (1 paper(s))
14. Russian Conference on Logic Programming / (1 paper(s))
15. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
16. Verläßliche Informationssysteme (1 paper(s))
17. Electronic Voting in Europe (1 paper(s))
18. Workshop on Information Security Applications (1 paper(s))
19. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
20. Financial Cryptography (1 paper(s))
21. The Florida AI Research Society (FLAIRS) (1 paper(s))
22. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))