KWARC » publications » CMueller

Christine Mueller

Table of Contents

Articles in Journals

  1. Christine Müller, Michael Kohlhase. Context-Aware Adaptation: A Case Study on Mathematical Notations; pp. 215–230 in Information Systems Management (26:3); 2009. ¶

Conference and Workshop Contributions

  1. Cristian Calude, Christine Müller. Formal Proofs: Reconciling Correctness and Understanding; in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  2. Christine Müller. Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup; pp. 432–437 in J. Yang, Others, eds.: Proceedings of the United International Systems Conference (UNISCON) LNBIP 20; Springer-Verlag Berlin Heidelberg 2009. ¶
  3. Christine Müller. Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup; pp. 1–8 in UNISCON 2009 Supplementary Proceedings: Doctoral Consortium Papers; University of Western Sydney 2009. ¶
  4. Christine Müller. Towards CoPing with Information Overload; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  5. Christine Müller. Towards the Adaptation of Scientific Course Material powered by Community of Practice; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  6. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008. ¶
  7. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical eLearning; pp. 34–35 in In proceedings of the Workshop in Mathematical and Scientific eContent; 2008. ¶
  8. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit Based On Semantically Marked Up Artifacts; pp. 41–50 in M. D. Lytras, Others, eds.: Proceedings of the 1st World Summit of the Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society; LNAI 5288, Springer-Verlag Berlin Heidelberg 2008. ¶
  9. Michael Kohlhase, Christine Müller, Florian Rabe. Notations for Living Mathematical Documents; pp. 504–519 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC, 15th Symposium, Calculemus, 7th International Conference MKM, 2008-07-28/2008-08-01 in Birmingham, UK; LNAI 5144, Springer Verlag 2008. ¶
  10. 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. ¶
  11. Christine Müller, Michael Kohlhase. panta rhei; pp. 318–323 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  12. Michael Kohlhase, Achim Mahnke, Christine Müller. Managing Variants in Document Content and Narrative Structures; pp. 324–229 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007. ¶
  13. Marc Wagner, Christine Müller. Towards Community of Practice Support for Interactive Mathematical Authoring; in Christine Müller, ed.: Proceedings of the 1st SCooP Workshop; 2007. ¶
  14. Christine Müller. Towards the Identification and Support of Scientific Communities of Practice; in Christine Müller, ed.: Proceedings of the 1st SCooP Workshop; 2007. ¶
  15. Christine Müller. Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies; in Tom Gross, ed.: Mensch und Computer 2007; Oldenburg 2007. ¶

Theses

  1. Christine Müller. Adaptation of Mathematical Documents; Ph.D. Thesis, Jacobs University Bremen 2010. ¶

Technical Reports

  1. Cristian Calude, Christine Müller. Formal Proofs: Reconciling Correctness and Understanding; Research Reports , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland March 2009. ¶
  2. 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. ¶
  3. Christine Müller, Michael Kohlhase. Context Aware Adaptation: A Case Study on Mathematical Notations; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008. ¶
  4. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical E-Learning; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008. ¶
  5. 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. ¶
  6. Christine Müller. A Survey on Mathematical Notations; KWARC Report 2008-1, Jacobs University Bremen 2008. ¶

Miscellaneous

  1. Christine Müller. Lectora: Towards an Interactive, Collaborative Reader for Mathematical Documents; , March 2007. Research proposal ¶
  2. Christine Müller. Panta Rhei: Case Study Fall2007; , 2007. ¶

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

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package