Christine Müller : Selected Publications

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

Archival Literature

Articles in Journals

  1. [1] C. Müller and M. Kohlhase (2009) Context-Aware Adaptation: A Case Study on Mathematical Notations. Information Systems Management 26 (3), pp. 215–230. External Links: ISSN 1934-8703 Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] C. Calude and C. Müller (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI. Cited by: p1.
  2. [2] M. Kohlhase, C. Müller, and F. Rabe (2008) Notations for living mathematical documents. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, and F. Wiedijk (Eds.), LNAI, pp. 504–519. External Links: Link Cited by: p1.
  3. [3] C. Müller and M. Kohlhase (2008) Towards a community of practice toolkit based on semantically marked up artifacts. In Proceedings of the 1st World Summit of the Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society, M. D. Lytras and others (Eds.), LNAI, pp. 41–50. Cited by: p1.
  4. [4] C. Müller (2007) Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies. In 7. konferenz für interaktive und kooperative medienMensch und Computer 2007, T. Gross (Ed.), Cited by: p1.

Theses

  1. [1] C. Müller (2010) Adaptation of Mathematical Documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] C. Calude and C. Müller (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI. Cited by: p1.
  2. [11] C. Müller (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. In Proceedings of the United International Systems Conference (UNISCON) LNBIP 20, J. Yang and others (Eds.), pp. 432–437. External Links: Link Cited by: p1.
  3. [12] C. Müller (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. In UNISCON 2009 Supplementary Proceedings: Doctoral Consortium Papers, pp. 1–8. External Links: Link Cited by: p1.
  4. [9] C. Müller (2008-10) Towards CoPing with Information Overload. 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. Cited by: p1.
  5. [10] C. Müller (2008-10) Towards the Adaptation of Scientific Course Material powered by Community of Practice. 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. Cited by: p1.
  6. [6] C. Müller and M. Kohlhase (2008-06) Towards A Community of Practice Toolkit. In 2nd workshop on scientific communities of practice (SCooP-2008)Proceedings of the 2nd SCooP Workshop, C. Müller (Ed.), Cited by: p1.
  7. [5] C. Müller and M. Kohlhase (2008) Communities of practice in mathematical elearning. In In proceedings of the Workshop in Mathematical and Scientific eContent, pp. 34–35. Cited by: p1.
  8. [3] 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.
  9. [2] M. Kohlhase, A. Mahnke, and C. Müller (2007) Managing variants in document content and narrative structures. 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. 324–229. Cited by: p1.
  10. [4] C. Müller and M. Kohlhase (2007) Panta rhei. 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. 318–323. Cited by: p1.
  11. [7] C. Müller (2007) Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies. In 7. konferenz für interaktive und kooperative medienMensch und Computer 2007, T. Gross (Ed.), Cited by: p1.
  12. [8] C. Müller (2007) Towards the Identification and Support of Scientific Communities of Practice. In 1st Workshop on Scientific COmmunities Of PracticeProceedings of the 1st SCooP Workshop, C. Müller (Ed.), Cited by: p1.
  13. [13] M. Wagner and C. Müller (2007) Towards Community of Practice Support for Interactive Mathematical Authoring. In 1st Workshop on Scientific COmmunities Of PracticeProceedings of the 1st SCooP Workshop, C. Müller (Ed.), Cited by: p1.

Technical Reports

  1. [1] C. Calude and C. Müller (2009-03) Formal Proofs: Reconciling Correctness and Understanding. Research Reports Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. Note: http://www.cs.auckland.ac.nz/CDMTCS//researchreports/354cris.pdf External Links: Link Cited by: p1.
  2. [3] 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.
  3. [4] C. Müller and M. Kohlhase (2008-11) Communities of practice in mathematical e-learning. Research Report Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. External Links: Link Cited by: p1.
  4. [5] C. Müller and M. Kohlhase (2008-11) Context Aware Adaptation: A Case Study on Mathematical Notations. Research Report Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland. External Links: Link Cited by: p1.
  5. [2] 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.
  6. [6] C. Müller (2008) A Survey on Mathematical Notations. KWARC Report Technical Report 2008-1, Jacobs University Bremen. External Links: Link Cited by: p1.

Miscellaneous

  1. [2] C. Müller (2007-03) Lectora: Towards an Interactive, Collaborative Reader for Mathematical Documents. Jacobs University Bremen. Note: Research proposal External Links: Link Cited by: p1.
  2. [1] C. Müller (2007) Panta Rhei: Case Study Fall2007. Note: https://kwarc.info/panta-rhei/papers/cs_Fall2007.pdf External Links: Link Cited by: p1.