Journals and Conferences that author prefers

Journals

1. Higher-Order and Symbolic Computation (4 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. Inf. Comput. (2 paper(s))
5. J. Funct. Program. (2 paper(s))
6. Fundam. Inform. (1 paper(s))
7. Int. J. Found. Comput. Sci. (1 paper(s))
8. J. Autom. Reasoning (1 paper(s))
9. J. Symb. Log. (1 paper(s))
10. Sci. Comput. Program. (1 paper(s))

Conferences

1. Logic in Computer Science (LICS) (3 paper(s))
2. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
3. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
4. Birthday ... (1 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
6. Conference for Computer Science Logic (CSL) (1 paper(s))
7. International Conference on Image Processing (1 paper(s))
8. International Syposium on Methodologies for Intelligent Systems (ISMIS) (1 paper(s))
9. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
10. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
11. Parallel Virtual Machine / Message Passing Interface (PVM/MPI) (1 paper(s))