Immanuel Normann

18 papers A 1Misc 1Journal 1Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
Alles hat seine Zeit: Generische Softwareentwicklung und individuelle Projektanforderungen.
DHd
Ludger Hiepel, Jan Horstmann, Christian Lück, Immanuel Normann
2025 — conf
Die Modellierung von intertextuellen Bezügen in genealogischen Texten.
DHd
Natalie Kraneiß, Ingo Frank, Jan Horstmann, Immanuel Normann
2025 — conf
Die Modellierung von intertextuellen Bezügen in genealogischen Texten.
DHd
Natalie Kraneiß, Ingo Frank, Jan Horstmann, Immanuel Normann
2024 — conf
Geosemantische Kontextualisierung im Spannungsfeld domänenspezifischer Anforderungen - Methoden(kritik) der Integration von GIS und Semantic Web-Technologien.
DHd
Anna-Lena Schumacher, Tobias Runkel, Immanuel Normann
2024 — conf
Geosemantische Kontextualisierung im Spannungsfeld domänenspezifischer Anforderungen - Methoden(kritik) der Integration von GIS und Semantic Web-Technologien.
DHd
Anna-Lena Schumacher, Tobias Runkel, Immanuel Normann
2024 — conf
InterAnnotator: Interfaces für die Annotation intertextueller Relationen.
DHd
Jan Horstmann, Christian Lück, Immanuel Normann, Jan-Erik Stange
2024 — conf
InterAnnotator: Interfaces für die Annotation intertextueller Relationen.
DHd
Jan Horstmann, Christian Lück, Immanuel Normann, Jan-Erik Stange
2024 — conf
Von Menschen und Maschinen: Transdisziplinäre Workflows im Münsteraner Editionsprojekt Heinrich Scholz.
DHd
Katharina Dietz, Patrick Dinger, Jan Horstmann, Immanuel Normann, Vitus Schäfftlein
2023 — conf
Textliche Relationen maschinenlesbar formalisieren: Systeme der Intertextualität.
DHd
Jan Horstmann, Christian Lück, Immanuel Normann
2016 — conf
Digitale Editionen als Web-Services.
DHd
Immanuel Normann
2015 J jnl
An Ontological Approach to Creating an Andean Weaving Knowledge Base.
ACM Journal on Computing and Cultural Heritage
Richard Brownlow, Stefano Capuzzi, Sven Helmer, Luciana Martins, Immanuel Normann, Alexandra Poulovassilis
2010 — —
Automated Theory Interpretation.
Immanuel Normann
2010 — conf
Chinese whispers and connected alignments.
OM
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
2008 — conf
The OWL in the CASL - Designing Ontologies Across Logics.
OWLED
Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
2007 — conf
Extended Formula Normalization for
Calculemus/MKM
Immanuel Normann, Michael Kohlhase
2006 Misc conf
Enhanced Theorem Reuse by Partial Theory Inclusions.
AISC
Immanuel Normann
2002 A conf
Proof Development with OMEGA.
CADE
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
2001 — conf
Spectrum of Pitch Differences Models the Perception of Octave Ambiguous Tones.
ICMC
Immanuel Normann, Hendrik Purwins, Klaus Obermayer