Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (4 paper(s))
2. Sci. Comput. Program. (2 paper(s))
3. Computer-Aided Design (1 paper(s))
4. ACM Comput. Surv. (1 paper(s))
5. J. Symb. Comput. (1 paper(s))
6. Higher-Order and Symbolic Computation (1 paper(s))
7. SIAM J. Comput. (1 paper(s))
8. SIGPLAN Notices (1 paper(s))
9. IEEE Software (1 paper(s))
10. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (5 paper(s))
2. Advances in Data Base Theory (1 paper(s))
3. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
4. Algorithmic Languages and Calculi (1 paper(s))
5. Algebraic and Logic Programming (ALP) (1 paper(s))
6. Static Analysis (WSA/SAS) (1 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
8. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
9. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
11. Combinatorial Pattern Matching (CPM) (1 paper(s))
12. Very Large Data Bases (VLDB) Conference (1 paper(s))
13. European Symposium on Programming (ESOP) (1 paper(s))
14. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
15. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
16. IFIP World Computer Congress (1 paper(s))
17. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
18. North American Process Algebra Workshop (1 paper(s))
19. Parallel Algorithms and Architectures (1 paper(s))