A Localization Algorithm for D-modules. - Toshinori Oaku; Nobuki Takayama; Uli Walther (J. Symb. Comput., 2000)

Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties. - Uli Walther (J. Symb. Comput., 2000)

Computing Homomorphisms Between Holonomic D-modules. - Harrison Tsai; Uli Walther (J. Symb. Comput., 2001)

On the computation of switching surfaces in optimal control: a Grobner basis approach. - Hans U. Walther; Tryphon T. Georgiou; Allen R. Tannenbaum (IEEE Trans. Autom. Control., 2001)

Cohomology, stratifications and parametric Gröbner bases in characteristic zero. - Uli Walther (J. Symb. Comput., 2003)

Algorithmic stratification of RhomD for regular algebraic (M,N)-modules on Cn. - Uli Walther (J. Symb. Comput., 2005)