Referee and Reviewing Activities for Journals

1. 1982- Referee, Information and Computation.
2. 1982- Referee, Journal of Computers and Systems Science.
3. 1986- Referee, Mathematical Systems Theory.
4. 1985-1988 Reviewer, Operations Research/Management Sciences.
5. 1988 Referee, Journal of Mathematical Psychology.
6. 1987- Referee, Theoretical Computer Science
7. 1988- Reviewer, Math Reviews
8. 1990 Reviewer, Journal of Symbolic Logic
9. 1990- Referee, Information Processing Letters
10. 1992 Referee, Notre Dame Journal of Logic
11. 1993 Referee, Annals of Math and AI
12. 1993- Referee, Journal of Parallel and Distributed Computing
13. 1993- Referee, SIAM Journal of Computing