Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Inf. Process. Lett. (4 paper(s))
3. J. Log. Comput. (4 paper(s))
4. J. Comput. Syst. Sci. (3 paper(s))
5. Autom. Softw. Eng. (2 paper(s))
6. Comput. J. (2 paper(s))
7. Computer Languages, Systems & Structures (1 paper(s))
8. Formal Asp. Comput. (1 paper(s))
9. Logic Journal of the IGPL (1 paper(s))
10. Sci. Comput. Program. (1 paper(s))
11. SIAM J. Comput. (1 paper(s))
12. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
13. IEEE Computer (1 paper(s))

Conferences

1. (10 paper(s))
2. Workshop on Algebraic Development Techniques (WADT) / (4 paper(s))
3. International Conference on Software Engineering (ICSE) (4 paper(s))
4. Automated Software Engineering (ASE) (3 paper(s))
5. Birthday ... (3 paper(s))
6. IEEE International Conference on Formal Engineering Methods (3 paper(s))
7. European Software Engineering Conference (ESEC) (2 paper(s))
8. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
9. Z Users Conference (ZUM) (2 paper(s))
10. Algorithmic Languages and Calculi (2 paper(s))
11. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
12. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
13. International Conference on Distributed Computing Systems (ICDCS) (2 paper(s))
14. Database Semantics (DS) (2 paper(s))
15. TAPSOFT (2 paper(s))
16. IFIP World Computer Congress (2 paper(s))
17. UNI/IIST (1 paper(s))
18. International Conference on Cognitive Informatics (1 paper(s))
19. International Workshop on Software Specification and Design (IWSSD) (1 paper(s))
20. Very Large Data Bases (VLDB) Conference (1 paper(s))
21. Relational Methods in Computer Science (RelMiCS) (1 paper(s))
22. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
23. Advances in Data Base Theory (1 paper(s))
24. World Congress on Formal Methods (FM) (1 paper(s))
25. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
26. Working IEEE/IFIP Conference on Software Architecture (WICSA) (1 paper(s))
27. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
28. Symposium on Programming (1 paper(s))
29. Programmiersprachen (1 paper(s))
30. International Colloquium on Theoretical Aspects of Computing (1 paper(s))
31. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
32. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))
33. Integrated Formal Methods (IFM) (1 paper(s))
34. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
35. COMPASS Workshops (1 paper(s))
36. Rigorous Object-Oriented Methods (1 paper(s))
37. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
38. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
39. DEXA Workshops (1 paper(s))
40. International Conference on Software Reuse (ICSR) (1 paper(s))
41. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
42. International Conference on Temporal Logic (1 paper(s))
43. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
44. Temporal Logic in Specification (1 paper(s))
45. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
46. Imperial College Workshops (1 paper(s))