Spectrum of Pitch Differences Models the Perception of Octave Ambiguous Tones. - Immanuel Normann; Hendrik Purwins; Klaus Obermayer (ICMC, 2001)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

Enhanced Theorem Reuse by Partial Theory Inclusions. - Immanuel Normann (AISC, 2006)

Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. - Immanuel Normann; Michael Kohlhase (Calculemus/MKM, 2007)

The OWL in the CASL - Designing Ontologies Across Logics. - Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanuel Normann (OWLED, 2008)

Chinese whispers and connected alignments. - Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther 002 (OM, 2010)

Automated Theory Interpretation. - Immanuel Normann (2010)

An Ontological Approach to Creating an Andean Weaving Knowledge Base. - Richard Brownlow; Stefano Capuzzi; Sven Helmer; Luciana Martins; Immanuel Normann; Alexandra Poulovassilis (ACM Journal on Computing and Cultural Heritage, 2015)

Digitale Editionen als Web-Services. - Immanuel Normann (DHd, 2016)

Textliche Relationen maschinenlesbar formalisieren: Systeme der Intertextualität. - Jan Horstmann; Christian Lück; Immanuel Normann (DHd, 2023)