Archival Literature

Articles in Journals

  1. [4] C. Lange (2013) Ontologies and languages for representing mathematical knowledge on the semantic web. 4 (2), pp. 119–158. External Links: Document, Link Cited by: p1.
  2. [2] C. Lange (2012) Desktop mit dolmetscher. 2, pp. 90–94. Cited by: p1.
  3. [3] C. Lange (2012) Vokabelheft fürs web. 1, pp. 42–45. External Links: Link Cited by: p1.
  4. [1] M. Kohlhase, J. Corneli, C. David, D. Ginev, Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea and V. Zholudev (2011) The planetary system: web 3.0 & active documents for STEM. 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
  5. [5] H. M. Tran, C. Lange, G. Chulkov, J. Schönwälder and M. Kohlhase (2009-05) Applying semantic techniques to search and analyze bug tracking data. 17 (3), pp. 285–308. External Links: Document Cited by: p1.

Articles in Collections

  1. [3] C. Lange and M. Kohlhase (2013) Mashups using mathematical knowledge. In Semantic mashups, B. Endres-Niggemeyer (Ed.), pp. 171–204. External Links: Link Cited by: p1.
  2. [2] C. Lange and M. Kohlhase (2008-04) SWiM: a semantic wiki for mathematical knowledge management. In Emerging technologies for semantic work environments: techniques, methods, and applications, J. Rech, B. Decker and E. Ras (Eds.), pp. 47–68. External Links: Link Cited by: p1.
  3. [1] C. Lange and M. Kohlhase (2006-08) SWiM – an OMDoc-based semantic wiki. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] M. B. Caminati, M. Kerber, C. Lange and C. Rowat (2014) Set theory or higher order logic to represent auction concepts in Isabelle?. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 236–251. External Links: 1406.0774 Cited by: p1.
  2. [7] C. Lange, M. B. Caminati, M. Kerber, T. Mossakowski, C. Rowat, M. Wenzel and W. Windsteiger (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
  3. [10] C. Lange, M. Kerber and C. Rowat (2013) Applying mechanised reasoning in economics – making reasoners applicable for domain experts. pp. 153–156. External Links: ISBN 978-3-88579-614-5 Cited by: p1.
  4. [15] C. Lange, C. Rowat and M. Kerber (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
  5. [19] T. Mossakowski, O. Kutz and C. Lange (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
  6. [20] T. Mossakowski, O. Kutz and C. Lange (2013) Three semantics for the core of the Distributed Ontology Language (extended abstract). Cited by: p1, 18.
  7. [8] C. Lange, P. Ion, A. Dimou, C. B. , J. Corneli, W. Sperber, M. Kohlhase and I. Antoniou (2012) Reimplementing the mathematics subject classification (MSC) as a linked open dataset. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 458–462. External Links: 1204.5086 Cited by: p1.
  8. [9] C. Lange, P. Ion, A. Dimou, C. B. , W. Sperber, M. Kohlhase and I. Antoniou (2012) Bringing mathematics to the web of data: the case of the mathematics subject classification. In The semantic web, E. Simperl, P. Cimiano, A. Polleres, O. Corcho and Presutti (Eds.), LNCS, pp. 763–777. External Links: Link, Document Cited by: p1.
  9. [13] C. Lange, O. Kutz, T. Mossakowski and M. Grüninger (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 463–467. External Links: 1204.5093 Cited by: p1.
  10. [14] C. Lange, T. Mossakowski, O. Kutz, C. G. , M. Grüninger and D. Couto Vale (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. G. ía-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
  11. [18] T. Mossakowski, O. Kutz and C. Lange (2012) Three semantics for the core of the Distributed Ontology Language. pp. 337–352. Note: Extended abstract published as [20] External Links: ISBN 978-1-61499-084-0, Link Cited by: p1.
  12. [21] C. Tankink, C. Lange and J. Urban (2012) Point-and-write — documenting formal mathematics by reference. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 169–185. External Links: 1204.5094 Cited by: p1.
  13. [2] M. Cîrlănaru, D. Ginev and C. Lange (2011) Authoring and publishing of units and quantities in semantic documents. In The semantic web: ESWC 2011 workshops, R. García Castro, D. Fensel and G. Antoniou (Eds.), LNCS, pp. 202–216. External Links: Link Cited by: p1.
  14. [11] C. Lange, M. Kohlhase, C. David, D. Ginev, Kohlhase, B. Matican, S. Mirea and V. Zholudev (2011) The planetary system: executable science, technology, engineering and math papers. In The semantic web: research and applications (part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, Parsia, D. Plexousakis, P. D. Leenheer and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
  15. [17] C. Lange (2011) Krextor – an extensible framework for contributing content math to the web of data. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 304–306. External Links: Link Cited by: p1.
  16. [3] C. David, M. Kohlhase, C. Lange, F. Rabe, Zhiltsov and V. Zholudev (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
  17. [5] A. Kohlhase, M. Kohlhase and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  18. [6] A. Kohlhase, M. Kohlhase and C. Lange (2010) sTeX – a system for flexible formalization of linked data. In 6th international conference on semantic systems (I-Semantics) and the 5th international conference on pragmatic web, A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.), External Links: 1006.4474v1, Document Cited by: p1.
  19. [4] J. Gičeva, C. Lange and F. Rabe (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
  20. [12] C. Lange and M. Kohlhase (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
  21. [16] C. Lange (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.

Monographs

  1. [3] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [4] External Links: Link Cited by: 4.
  2. [4] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [3] External Links: ISBN 978-1-60750-840-3, Link Cited by: p1, 3.
  3. [3] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [4] External Links: Link Cited by: 4.
  4. [4] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [3] External Links: ISBN 978-1-60750-840-3, Link Cited by: p1, 3.
  5. [2] C. Lange (Ed.) (2006-09) Wikis und blogs – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-44-4 Cited by: p1.
  6. [2] C. Lange (Ed.) (2006-09) Wikis und blogs – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-44-4 Cited by: p1.
  7. [1] C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.
  8. [1] C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.

Conference Proceedings Edited

  1. [1] J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.) (2013) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. External Links: Document, ISBN 978-3-642-39319-8 Cited by: p1.

Theses

  1. [1] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [2] External Links: Link Cited by: p1, 2.
  2. [2] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [1] External Links: ISBN 978-1-60750-840-3, Link Cited by: 1.
  3. [3] C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.

Gray Literature

Worskhop Proceedings Edited

  1. [3] A. García Castro, C. Lange, P. Lord and R. Stevens (Eds.) (2013) Proceedings of the 3rd workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  2. [11] C. Lange, C. Rowat and M. Kerber (Eds.) (2013) Enabling domain experts to use formalised reasoning. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB). External Links: Link, ISBN 978-1-908187-32-1 Cited by: p1.
  3. [6] B. Good, F. van Harmelen, A. García Castro, Lange, E. Sandhaus and A. de Waard (Eds.) (2012) Proceedings of the 2nd workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  4. [2] A. García Castro, K. Baclawski, J. Bateman, K. Viljanen and C. Lange (Eds.) (2011) Proceedings of the workshop ontologies come of age in the semantic web, International Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  5. [4] A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.) (2011) Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  6. [14] C. Lange and J. Urban (Eds.) (2011) Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  7. [5] A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.) (2010-06) AI Mashup Challenge. External Links: Link Cited by: p1.
  8. [1] M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.) (2010) Proceedings of the 1st workshop on ontology repositories and editors, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  9. [8] C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.) (2010) Proceedings of the 5th workshop on semantic wikis, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  10. [7] M. Hartmann and F. Janssen (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 9.
  11. [9] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWA 2009, published as part of [7] Cited by: p1.
  12. [10] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: p1.
  13. [13] C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2009) Proceedings of the 4th workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  14. [12] C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2008) Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.

Papers at Peer-Reviewed Workshops

  1. [43] T. Mossakowski, M. Codescu, O. Kutz, C. Lange and Grüninger (2014) Proof support for Common Logic. pp. 42–58. External Links: Link Cited by: p1.
  2. [10] M. Kerber, C. Lange and C. Rowat (2013) Automated reasoning for economics. Note: Invited paper Cited by: p1.
  3. [17] C. Lange, M. B. Caminati, M. Kerber, T. Mossakowski, C. Rowat, M. Wenzel and W. Windsteiger (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
  4. [30] C. Lange, C. Rowat and M. Kerber (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
  5. [31] C. Lange, C. Rowat, W. Windsteiger and M. Kerber (2013) Developing an auction theory toolbox. In Enabling domain experts to use formalised reasoning, C. Lange, C. Rowat and M. Kerber (Eds.), Cited by: p1.
  6. [44] T. Mossakowski, O. Kutz, M. Codescu and C. Lange (2013) The distributed ontology, modeling and specification language. Aachen. Note: Invited paper External Links: ISSN 1613-0073, Link Cited by: p1.
  7. [46] T. Mossakowski, O. Kutz and C. Lange (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
  8. [9] M. Kerber, C. Lange and C. Rowat (2012) Formal representation and proof for cooperative games. pp. 15–18. External Links: Link, ISBN 978-1-908187-10-9 Cited by: p1.
  9. [14] O. Kutz, C. Lange, T. Mossakowski, C. M. Keet, Neuhaus and M. Grüninger (2012) The Babel of the semantic web tongues – in search of the Rosetta stone of interoperability. External Links: Link Cited by: p1.
  10. [25] C. Lange, O. Kutz, T. Mossakowski and M. Grüninger (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 463–467. External Links: 1204.5093 Cited by: p1.
  11. [28] C. Lange, T. Mossakowski, O. Kutz, C. G. , M. Grüninger and D. Couto Vale (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. G. ía-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
  12. [29] C. Lange, T. Mossakowski and O. Kutz (2012) LoLa: a modular ontology of logics, languages, and translations. Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  13. [45] T. Mossakowski, O. Kutz and C. Lange (2012) cMap’s product classification mapping from an ontology interoperability perspective. Cited by: p1.
  14. [47] C. Tankink, C. Lange and J. Urban (2012) Point-and-write — documenting formal mathematics by reference. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 169–185. External Links: 1204.5094 Cited by: p1.
  15. [27] C. Lange, T. Mossakowski, C. Galinski and O. Kutz (2011-11) Making heterogeneous ontologies interoperable through standardisation. pp. 185–196. External Links: Link Cited by: p1.
  16. [15] O. Kutz, T. Mossakowski, C. Galinski and C. Lange (2011-06) Towards a standard for heterogeneous ontology integration and interoperability. pp. 101–110. External Links: Link Cited by: p1.
  17. [1] M. Cîrlănaru, D. Ginev and C. Lange (2011) Authoring and publishing of units and quantities in semantic documents. In Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  18. [6] A. Dumitrache and C. Lange (2011) BauDenkMalNetz – creating a semantically annotated web resource of historical buildings. In Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  19. [41] C. Lange (2010-07) Towards OpenMath content dictionaries as linked data. In 23rd OpenMath workshop, M. Kohlhase and C. Lange (Eds.), External Links: 1006.4057v1 Cited by: p1.
  20. [3] C. David, M. Kohlhase, C. Lange, F. Rabe and Zholudev (2010-06) JOBAD/MMT – interactive mathematics. In AI Mashup Challenge, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.), External Links: Link Cited by: p1.
  21. [2] C. David, M. Kohlhase, C. Lange, F. Rabe, Zhiltsov and V. Zholudev (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
  22. [4] C. David, C. Lange and F. Rabe (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. In CALCULEMUS (emerging trends), D. Delahaye and R. Rioboo (Eds.), pp. 13–30. External Links: Link Cited by: p1.
  23. [5] A. Dumitrache, C. Lange, M. Kohlhase and N. Aschenbeck (2010) Prototyping a browser for a listed buildings database with Semantic MediaWiki. In Proceedings of the 5th workshop on semantic wikis, Extended Semantic Web Conference, C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.), CEUR Workshop Proceedings. Cited by: p1.
  24. [11] A. Kohlhase, M. Kohlhase and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  25. [32] C. Lange and V. Zholudev (2010) Previewing OWL changes and refactorings using a flexible XML database. In Proceedings of the 1st workshop on ontology repositories and editors, Extended Semantic Web Conference, M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  26. [42] C. Lange (2010) Integrating mathematics into the web of data. Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  27. [48] D. Vrandečić, C. Lange, M. Hausenblas, J. Bao and L. Ding (2010) Semantics of governmental statistics data. In Proceedings of WebSci’10: Extending the Frontiers of Society On-Line, External Links: Link Cited by: p1.
  28. [8] M. Hartmann and F. Janssen (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 24.
  29. [12] M. Kohlhase, J. Gičeva, C. Lange and V. Zholudev (2009-09) JOBAD – interactive mathematical documents. In AI Mashup Challenge, B. Endres-Niggemeyer, V. Zacharias and P. Hitzler (Eds.), External Links: Link Cited by: p1.
  30. [24] C. Lange and M. Kohlhase (2009-09) A mathematical approach to ontology authoring and documentation. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, C. Lange and J. Reutelshöfer (Eds.), Cited by: p1.
  31. [7] J. Gičeva, C. Lange and F. Rabe (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
  32. [23] C. Lange and M. Kohlhase (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
  33. [40] C. Lange (2009-07) wiki.openmath.org – how it works, how you can participate. In 22nd openmath workshop, J. H. Davenport (Ed.), External Links: 1003.5192v1 Cited by: p1.
  34. [22] C. Lange and M. Kohlhase (2009-06) Documenting ontologies the mathematical way. External Links: Link Cited by: p1.
  35. [39] C. Lange (2009-05) Krextor – an extensible XMLRDF extraction framework. In Scripting and development for the semantic web (SFSW), C. Bizer, S. Auer and G. A. Grimnes (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  36. [20] C. Lange, T. Hastrup and S. Corlosquet (2008-10) Arguing on issues with mathematical knowledge items in a semantic wiki. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
  37. [18] C. Lange and A. González Palomo (2008-07) Easily editing and browsing complex OpenMath markup with SWiM. In Mathematical user interfaces workshop at MKM, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
  38. [19] C. Lange, T. Hastrup and S. Corlosquet (2008-06) Improving mathematical knowledge items by acting on issue-based community feedback. In 2nd workshop on scientific communities of practice (SCooP-2008), C. Müller (Ed.), Cited by: p1.
  39. [36] C. Lange (2008-02) Editing OpenMath content dictionaries with SWiM. External Links: Link Cited by: p1.
  40. [16] C. Lange, U. Bojārs, T. Groza, J. Breslin and Handschuh (2008) Expressing argumentative discussions in social media sites. In Social data on the web (SDoW), workshop at the 7th international semantic web conference, J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  41. [26] C. Lange, S. McLaughlin and F. Rabe (2008) Flyspeck in a semantic wiki – collaborating on a large scale formalization of the Kepler conjecture. In Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1.
  42. [37] C. Lange (2008) Mathematical semantic markup in a wiki: the roles of symbols and notations. In Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1.
  43. [38] C. Lange (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.
  44. [13] M. Kohlhase, C. Lange and F. Rabe (2007-06) Presenting mathematical content with flexible elisions. In OpenMath/JEM workshop 2007, O. Caprotti, M. Kohlhase and P. Libbrecht (Eds.), Cited by: p1.
  45. [33] C. Lange (2007-06) SWiM – a semantic wiki for mathematical knowledge management. In Mathematical user-interfaces workshop 2007 at MKM, P. Libbrecht (Ed.), Cited by: p1.
  46. [34] C. Lange (2007-06) Towards scientific collaboration in a semantic wiki. In Bridging the Gap between Semantic Web and Web 2.0 (SemNet), A. Hotho and B. Hoser (Eds.), Cited by: p1.
  47. [35] C. Lange (2007) Towards a Semantic Wiki for Science. In Proceedings of the KWEPSY (Knowledge Web PhD Symposium), E. Simperl, J. Diederich and G. Schreiber (Eds.), CEUR Workshop Proceedings. Cited by: p1.
  48. [21] C. Lange and M. Kohlhase (2006) A semantic wiki for mathematical knowledge management. In Proceedings of the 1st workshop on semantic wikis, European Semantic Web Conference, M. Völkel, S. Schaffert and S. Decker (Eds.), CEUR Workshop Proceedings. Cited by: p1.

Technical Reports

  1. [1] M. Kerber, C. Lange and C. Rowat (2014-01) A formal proof of Vickrey’s theorem by blast, simp, and rule. Working Paper Technical Report 14-01, University of Birmingham, Department of Economics. External Links: Link Cited by: p1.
  2. [7] T. Mossakowski, C. Maeder, M. Codescu, E. Kuksa and Lange (2013-01-10) Hets for Common Logic users. DFKI GmbH, Bremen. External Links: Link Cited by: p1.
  3. [8] (2012-06-04) OntoIOp (ontology integration and interoperability) part 1: the distributed ontology language (DOL). International Standard (Working Draft) Technical Report 17347, ISO. External Links: Link Cited by: p1.
  4. [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: http://kwarc.info/publications/papers/KLMMR_NfAD.pdf External Links: Link Cited by: p1.
  5. [4] C. Lange and M. Kohlhase (2008-12) A mathematical approach to ontology authoring and documentation. KWARC Report Technical Report 2008-3, Jacobs University Bremen. External Links: Link Cited by: p1.
  6. [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.
  7. [5] C. Lange (2007-03) SWiM – a semantic wiki for mathematical knowledge management. Technical report Technical Report 5, Jacobs University Bremen. Note: Revised, updated and reviewed version of thesis [6] External Links: Link Cited by: p1.
  8. [6] C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: 5.

Unpublished

  1. [1] V. Zholudev and C. Lange TNTBase – a versioned XML database. External Links: Link Cited by: p1.

Miscellaneous

  1. [3] C. Lange, M. Kerber and C. RowatU. Furbach, R. Grimm, F. Hampe, S. Staab and Wimmer (Eds.) (2013-09-17) Applying mechanised reasoning in economics – making reasoners applicable for domain experts. Note: Tutorial at INFORMATIK 2013, Computer science adapted to humans, organization and the environment, 43rd annual meeting of the German Informatics Society (Gesellschaft für Informatik e.V. (GI)) External Links: Link Cited by: p1.
  2. [1] M. B. Caminati, M. Kerber, C. Lange and C. Rowat (2013) Proving soundness of combinatorial Vickrey auctions and generating verified executable code. External Links: 1308.1779 Cited by: p1.
  3. [2] M. Kerber, C. Lange and C. RowatK. Judd (Ed.) (2012-07-25) An economist’s guide to mechanized reasoning or My computer just proved 84 impossibility theorems. Note: Invited lecture at the Initiative for Computational Economics summer school External Links: Link Cited by: p1.
  4. [7] C. Lange (2011) Survey results on collaborative mathematical knowledge management. Note: Appendix to the Ph.D. thesis “Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration” External Links: Link Cited by: p1.
  5. [6] C. Lange (2008-03) Mathematik lernen in einem semantischen wiki. Note: Invited talk at the 99th MNU-Kongress (Deutscher Verein zur Förderung des mathematischen und naturwissenschaftlichen Unterrichts e.V.) External Links: Link Cited by: p1.
  6. [8] C. Lange (2007-03) OMDoc (from Wikipedia, the free encyclopedia). Note: http://en.wikipedia.org/w/index.php?title=OMDoc&oldid=112340133 External Links: Link Cited by: p1.
  7. [5] C. Lange (2007-02) Towards a Semantic Wiki for Science. Jacobs University Bremen. Note: http://kwarc.info/swim/pubs/swimplus-resprop.pdfResearch proposal for a Ph. D. thesis External Links: Link Cited by: p1.
  8. [4] C. Lange, N. Müller and C. Müller Document ontologies. Note: project homepage External Links: Link Cited by: p1.