Birkhoff's HSP-Theorem for Cumulative Logic Programs. - Beatrice Amrhein (ELP, 1993)

Illustrated Mathematics: Visualizations for Classroom Use. - Oliver Gloor; Beatrice Amrhein; Roman Maeder (University Education Uses of Visualization in Scientific Computing, 1993)

Walking Faster. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (DISCO, 1996)

A Case Study of Multi-Threaded Gröbner Basis Completion. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (ISSAC, 1996)

Visualizations for Mathematics Courses Based on a Computer Algebra System. - Beatrice Amrhein; Oliver Gloor; Roman Maeder (J. Symb. Comput., 1997)

On the Walk. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (Theor. Comput. Sci., 1997)

HOVISSE - Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment. - Urs Künzler; Beatrice Amrhein; Jürgen Eckerle; Stephan Fischli; Robert Hauck; Dominik Hoigné; Reto Witschi (Human Machine Interaction, 2009)