KWARC » projects » swim » pubs

SWiM – Publications

Publications

auto-generated list, up to date and comprehensive, but see also the old, manually-maintained list below, which is sometimes nicer.

Table of Contents

Articles in Collections

  1. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; pp. 47–68 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. Christoph Lange, Michael Kohlhase. SWiM – An OMDoc-based Semantic Wiki; chap. 26.10 in textscOMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006. ¶

Conference and Workshop Contributions

  1. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008. ¶
  2. Christoph Lange, Alberto Palomo. Easily Editing and Browsing Complex OpenMath Markup with SWiM; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop; July 2008. ¶
  3. Christoph Lange, Tuukka Hastrup, Stéphane Corlosquet. Improving mathematical knowledge items by acting on issue-based community feedback; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008. ¶
  4. Christoph Lange. Editing openmath Content Dictionaries with SWiM; in 3rd JEM Workshop (Joining Educational Mathematics); February 2008. ¶
  5. Christoph Lange. SWiM – A semantic wiki for mathematical knowledge management; pp. 832–837 in Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis, eds.: The Semantic Web: Research and Applications, 5th European Semantic Web Conference (ESWC), 2008-06-01/2008-06-05 in Tenerife, Spain; Lecture Notes in Computer Science 5021, Springer Verlag 2008. ¶
  6. Christoph Lange. Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  7. Christoph Lange, Sean McLaughlin, Florian Rabe. Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  8. Christoph Lange. Towards Scientific Collaboration in a Semantic Wiki; in Andreas Hotho, Bettina Hoser, eds.: Bridging the Gap between Semantic Web and Web 2.0 (SemNet); June 2007. ¶
  9. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007. ¶
  10. Michael Kohlhase, Christoph Lange, Florian Rabe. Presenting Mathematical Content With Flexible Elisions; in Olga Caprotti, Michael Kohlhase, Paul Libbrecht, eds.: OpenMath/JEM Workshop 2007; June 2007. ¶
  11. Christoph Lange. Towards a Semantic Wiki for Science; in Elena Simperl, Jörg Diederich, Guus Schreiber, eds.: Proceedings of the KWEPSY (Knowledge Web PhD Symposium), , 2007-06 in Innsbruck, Austria; CEUR Workshop Proceedings 275, 2007. ¶
  12. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; in Max Völkel, Sebastian Schaffert, Stefan Decker, eds.: 1st Workshop on Semantic Wikis, , 2006-06-12 in Budva, Montenegro; CEUR Workshop Proceedings 206, 2006. ¶

Monographs and Proceedings

  1. Christoph Lange, . Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; AKA Verlag and IOS Press 2011. ¶

Theses

  1. Christoph Lange. Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; Ph.D. Thesis, Jacobs University Bremen 2011. ¶
  2. Christoph Lange. A Semantic Wiki for Mathematical Knowledge Management; Diploma thesis, Universität Trier August 2006. ¶

Technical Reports

  1. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; Technical Report 5, Jacobs University Bremen March 2007. ¶

Miscellaneous

  1. Christoph Lange. Survey Results on Collaborative Mathematical Knowledge Management; , 2011. Appendix to the Ph.D. thesis “Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration” ¶
  2. Christoph Lange. Towards a Semantic Wiki for Science; , February 2007. Research proposal for a Ph. D. thesis ¶

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

Old list

manually maintained until late 2008, may contain some more details

Refereed, printed

Refereed

Invited Talks

Other

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