Algorithms for graded injective resolutions and local cohomology over semigroup rings. - David Helm; Ezra Miller (J. Symb. Comput., 2005)

Chronos and CRS: Design of a miniature car-like robot and a software framework for single and multi-agent robotics and control. - Andrea Carron; Sabrina Bodmer; Lukas Vogel 003; René Zurbrügg; David Helm; Rahel Rickenbach; Simon Muntwiler; Jerome Sieber; Melanie N. Zeilinger (ICRA, 2023)