Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (21 paper(s))
2. Higher-Order and Symbolic Computation (16 paper(s))
3. Theor. Comput. Sci. (5 paper(s))
4. Inf. Comput. (2 paper(s))
5. J. Funct. Program. (2 paper(s))
6. IEEE Distributed Systems Online (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))
8. Formal Methods in System Design (1 paper(s))
9. Int. J. Found. Comput. Sci. (1 paper(s))
10. J. Autom. Reasoning (1 paper(s))
11. Journal of Computer Security (1 paper(s))
12. Journal of Logic, Language and Information (1 paper(s))
13. T. Comp. Sys. Biology (1 paper(s))
14. ACM Trans. Softw. Eng. Methodol. (1 paper(s))

Conferences

1. (31 paper(s))
2. Algebraic Methodology and Software Technology (AMAST) (3 paper(s))
3. Formal Methods for Open Object-Based Distributed Systems (3 paper(s))
4. Birthday ... (2 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
6. IEEE Computer Society Bioinformatics Conference (CSB) (2 paper(s))
7. Frontiers of Combining Systems (FroCoS) (2 paper(s))
8. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
9. Logic in Computer Science (LICS) (2 paper(s))
10. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
11. Pacific Rim International Symposium on Dependable Computing (1 paper(s))
12. Automatic Verification Methods for Finite State Systems (1 paper(s))
13. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
14. Pacific Symposium on Biocomputing (1 paper(s))
15. Foundations of Logic and Functional Programming (1 paper(s))
16. Rewriting Techniques and Applications (RTA) (1 paper(s))
17. Computational Methods in Systems Biology (1 paper(s))
18. World Congress on Formal Methods (FM) (1 paper(s))
19. ACM Symposium on Applied Computing (SAC) (1 paper(s))
20. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
21. Winter Simulation Conference (WSC) (1 paper(s))
22. Conference for Computer Science Logic (CSL) (1 paper(s))
23. Formal Modeling and Analysis of Timed Systems (1 paper(s))
24. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
25. International Symposium/Workshop on Memory Management (ISMM/IWMM) (1 paper(s))
26. Policies for Distributed Systems and Networks (1 paper(s))
27. Publications Resulting from Dagstuhl Seminars (1 paper(s))
28. Research in Computational Molecular Biology (RECOMB) (1 paper(s))
29. DARPA Active Networks Conference and Exposition (1 paper(s))
30. International Conference on Distributed Systems Platforms and Open Distributed Processing - Middleware (1 paper(s))
31. (1 paper(s))
32. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
33. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
34. Distributed Systems, Operations and Management (DSOM) (1 paper(s))
35. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
36. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
37. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (1 paper(s))