Normen Mueller

Table of Contents

• Articles in Journals
• Articles in Collections
• Conference and Workshop Contributions
• Theses
• Technical Reports
• Unpublished
• Miscellaneous

Articles in Journals

1. Normen Müller. Tagungsbericht – LWA 2006; pp. 61 in KI – Zeitschrift Künstliche Intelligenz (1); 2007. ¶

Articles in Collections

1. Andrea Kohlhase, Normen Müller. Added-Value: Getting People into Semantic Work Environments; pp. 185–205 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008. ¶
2. Normen Müller. OMDoc as a Data Format for VeriFun; pp. 329–332 (chap. 26.20) in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶

Conference and Workshop Contributions

1. Serge Autexier, Normen Müller. Semantics-based Change Impact Analysis for Heterogeneous Collections of Documents; pp. 97–106 in Michael Gormish, Rolf Ingold, eds.: Proceedings of the 10th ACM symposium on Document engineering; DocEng '10, ACM 2010. ¶
2. Normen Müller, Michael Kohlhase. Fine-Granular Version Control & Redundancy Resolution; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
3. Michael Kohlhase, Christine Müller, Normen Müller. Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007. ¶
4. Normen Müller, Marc Wagner. Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change; pp. 289–295 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
5. Normen Müller. An Ontology-Driven Management of Change; pp. 186–193 in Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; 2006. ¶

Theses

1. Normen Müller. OMDoc-Repräsentation von Programmen und Beweisen in VeriFun; Master's Thesis, Programmiermethodik, Technische Universität Darmstadt 2005. ¶

Technical Reports

1. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Notations for Active Mathematical Documents; KWARC Report 2009-1, Jacobs University Bremen February 2009. ¶
2. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Adaptation of Notations in Living Mathematical Documents; KWARC Report 2008-2, Jacobs University Bremen April 2008. ¶

Unpublished

1. Normen Müller. Change Management on Semi-Structured Documents; , 2009. ¶

Miscellaneous

1. Normen Müller. Towards an Ontology-Driven Management of Change – Research proposal for a Ph.D. thesis; , 2006. ¶

(last regeneration: 2012-02-07+01:00)