Normen Müller : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Journals
    2. Articles in Collections
    3. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Papers at Peer-Reviewed Workshops
    2. Technical Reports
  4. Unpublished
  5. Miscellaneous

Archival Literature

Articles in Journals

  1. [1] N. Müller (2007) Tagungsbericht – LWA 2006. KI – Zeitschrift Künstliche Intelligenz 1, pp. 61. Note: http://www.kuenstliche-intelligenz.de/index.php?id=7754 External Links: Link Cited by: p1.

Articles in Collections

  1. [1] A. Kohlhase and N. Müller (2008-04) Added-Value: Getting People into Semantic Work Environments. In Emerging technologies for semantic work environments: techniques, methods, and applicationsEmerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, J. Rech, B. Decker, and E. Ras (Eds.), pp. 185–205. Cited by: p1.
  2. [2] N. Müller (2006-08) OMDoc as a Data Format for VeriFun. In OMDoc – an open markup format for mathematical documents [version 1.2]OMDoc – An open markup format for mathematical documents [Version 1.2], LNAI, pp. 329–332. Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] S. Autexier and N. Müller (2010) Semantics-based change impact analysis for heterogeneous collections of documents. In Proceedings of the 10th ACM symposium on document engineeringProceedings of the 10th ACM symposium on Document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1.

Theses

  1. [1] N. Müller (2005) OMDoc-Repräsentation von Programmen und Beweisen in VeriFun. Master’s Thesis, Programmiermethodik, Technische Universität Darmstadt. Note: https://kwarc.info/nmueller/papers/dt.pdf External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] S. Autexier and N. Müller (2010) Semantics-based change impact analysis for heterogeneous collections of documents. In Proceedings of the 10th ACM symposium on document engineeringProceedings of the 10th ACM symposium on Document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1.
  2. [3] N. Müller and M. Kohlhase (2008-10) Fine-Granular Version Control & Redundancy Resolution. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference ProceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Note: http://www.kwarc.info/nmueller/papers/lwa08-fst.pdf External Links: Link Cited by: p1.
  3. [2] M. Kohlhase, C. Müller, and N. Müller (2007-06) Documents with flexible notation contexts as interfaces to mathematical knowledge. In Mathematical user-interfaces workshop 2007 at MKMMathematical User Interfaces Workshop 2007, P. Libbrecht (Ed.), Cited by: p1.
  4. [4] N. Müller and M. Wagner (2007) Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 289–295. Note: https://kwarc.info/nmueller/papers/lwa07.pdf External Links: Link Cited by: p1.
  5. [5] N. Müller (2006) An Ontology-Driven Management of Change. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, Universität Hildesheim, pp. 186–193. Note: https://kwarc.info/nmueller/papers/lwa06.pdf External Links: Link Cited by: p1.

Technical Reports

  1. [2] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02) Notations for active mathematical documents. KWARC Report Technical Report 2009-1, Jacobs University Bremen. Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf External Links: Link Cited by: p1.
  2. [1] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04) Adaptation of notations in living mathematical documents. KWARC Report Technical Report 2008-2, Jacobs University Bremen. External Links: Link Cited by: p1.

Unpublished

  1. [1] N. Müller (2009) Change management on semi-structured documents. Note: https://kwarc.info/nmueller/papers/doceng09.pdf External Links: Link Cited by: p1.

Miscellaneous

  1. [1] N. Müller (2006) Towards an Ontology-Driven Management of Change – Research proposal for a Ph.D. thesis. International University Bremen. Note: https://kwarc.info/nmueller/papers/resprop.pdf External Links: Link Cited by: p1.