- 95-97
- Guest editor of special issue of the Journal of Symbolic
Computation on ''Applications of Quantifier Elimination''
appeared as Vol. 24, Number 2, August 1997, pp. 123 - 231
- 2000-2012
- Specialist editor on ''Algebraic manipulation'' of
Computer Physics Communications
, North Holland, Elsevier.
Richard Liska