Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. - Wolfgang Gehrke (RTA, 1995)

Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. - Wolfgang Gehrke; Carla Limongelli (DISCO, 1996)

Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints. - Wolfgang Gehrke; Jochen Pfalzgraf (J. Autom. Reason., 2001)

Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization. - Korbinian Staudacher; Tobias Guggemos; Sophia Grundner-Culemann; Wolfgang Gehrke (QPL, 2022)