Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. - Alain Heuerding; Michael Seyfried; Heinrich Zimmermann (TABLEAUX, 1996)

Text-Mining-Methoden im Semantic Web. - Gerold Schneider; Heinrich Zimmermann (HMD Prax. Wirtsch., 2010)

Let the End User in Peace: UX and Usability Aspects Related to the Design of Tutoring Systems. - Juliano Efson Sales; Katerina Tzafilkou; Adamantios Koumpis; Thomas Gees; Heinrich Zimmermann; Nicolaos Protogeros; Siegfried Handschuh (ITS, 2020)