KWARC » nmueller » publications

Normen Müller - Publications

(please respect possibly existing copyrights when copying)

Normen Müller. Tagungsbericht – LWA 2006. KI–Zeitschrift Künstliche Intelligenz, 1:61, 2007.

Andrea Kohlhase and Normen Müller. Semantic Work Environments, chapter Added-Value: Getting People into Semantic Work Environments. In press, 2007.
Normen Müller. OMDoc as a data format for VeriFun. OMDoc an open markup format for mathematical documents (version 1.2), chapter 26.20, pages 329–332. Springer LNAI, 2006.

Serge Autexier and Normen Müller. Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents, In Michael Gormish and Rolf Ingold (Ed) Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010), Manchester, UK, September, 2010
Normen Müller and Michael Kohlhase. Fine-Granular Version Control & Redundancy Resolution. In Wissens- und Erfahrungsmanagement, LWA (Lernen, Wissensentdeckung, Aktivität) conference proceedings, 2008.
Normen Müller and Marc Wagner. Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In Wissens- und Erfahrungsmanagement, LWA (Lernen, Wissensentdeckung, Aktivität) conference proceedings, 2007.
Michael Kohlhase, Christine Müller and Normen Müller. Documents with flexible notation contexts as interfaces to mathematical knowledge. Paul Libbrecht, editor, Mathematical User Interfaces Workshop 2007, 2007.
Normen Müller. An Ontology-Driven Management of Change. In Wissens- und Erfahrungsmanagement, LWA (Lernen, Wissensentdeckung, Aktivität) conference proceedings, 2006.
Normen Müller and Michael Kohlhase. Towards an Ontology-Driven Management of Change 29th Annual German Conference on Artificial Intelligence, 14. - 19. June 2006, Bremen, Germany. [Poster] [Abstract]

Normen Müller. locutor v1: An Ontology-Driven Management of Change. system description, In progress.

Normen Müller. Change Management on Semi-Structured Documents. Ph.D. Thesis, Jacobs University Bremen, 2010
Normen Müller. Towards an Ontology-Driven Management of Change. Expose of my PhD research proposal, June 2007.
Normen Müller. Towards an Ontology-Driven Management of Change. Research proposal for a Ph.D. thesis. Jacobs University Bremen, Germany, 2006.
Normen Müller. OMDoc-Repräsentation von Programmen und Beweisen in VeriFun. Diploma Thesis, University of Darmstadt, Germany, September 2005.