KWARC » publications » CMueller

Christine Mueller

Table of Contents

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 2009 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 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 – August 1, 2008, Proceedings; 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; , \seen December 2007.

(last regeneration: 2010-09-02+02:00)

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