Immanuel Normann

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 2

Top Topics

Service Selection

Inference Engine

Top Venues

ACM Journal on Computing and Cultural Heritage

Jacobs University (PHD)

Education History

Jacobs University

PHD

Publications

Jan Horstmann, Christian Lück, Immanuel Normann
Textliche Relationen maschinenlesbar formalisieren: Systeme der Intertextualität. DHd (2023)
Immanuel Normann
Digitale Editionen als Web-Services. DHd (2016)
Richard Brownlow, Stefano Capuzzi, Sven Helmer, Luciana Martins, Immanuel Normann, Alexandra Poulovassilis
An Ontological Approach to Creating an Andean Weaving Knowledge Base. ACM Journal on Computing and Cultural Heritage 8 (2) (2015)
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
Chinese whispers and connected alignments. OM (2010)
Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
The OWL in the CASL - Designing Ontologies Across Logics. OWLED (2008)
Immanuel Normann, Michael Kohlhase
-Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM (2007)
Immanuel Normann
Enhanced Theorem Reuse by Partial Theory Inclusions. AISC (2006)
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA. CADE (2002)
Immanuel Normann, Hendrik Purwins, Klaus Obermayer
Spectrum of Pitch Differences Models the Perception of Octave Ambiguous Tones. ICMC (2001)