Source: http://kwarc.github.io/bibs/clange/
Timestamp: 2019-04-19 18:56:02+00:00

Document:
C. Lange (2013) Ontologies and languages for representing mathematical knowledge on the semantic web. Semantic Web Journal 4 (2), pp. 119–158. External Links: Document, Link Cited by: p1.
 C. Lange (2012) Desktop mit dolmetscher. freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 2, pp. 90–94. Cited by: p1.
 C. Lange (2012) Vokabelheft fürs web. freeX Magazin für Netzwerk/Virtualisierung/Sicherheit 1, pp. 42–45. External Links: Link Cited by: p1.
 M. Kohlhase, J. Corneli, C. David, D. Ginev, C. Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea and V. Zholudev (2011) The planetary system: web 3.0 & active documents for STEM. Procedia Computer Science 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
 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. Journal of Network and Systems Management 17 (3), pp. 285–308. External Links: Document Cited by: p1.
 C. Lange and M. Kohlhase (2013) Mashups using mathematical knowledge. In Semantic mashups, B. Endres-Niggemeyer and B. Endres-Niggemeyer (Eds.), pp. 171–204. External Links: Link Cited by: p1.
 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, E. Ras, J. Rech, B. Decker and E. Ras (Eds.), pp. 47–68. External Links: Link Cited by: p1.
 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.
 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 mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 236–251. External Links: 1406.0774 Cited by: p1.
 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 mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
 C. Lange, M. Kerber and C. Rowat (2013) Applying mechanised reasoning in economics – making reasoners applicable for domain experts. In INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt, M. Horbach (Ed.), Lecture Notes in Informatics, pp. 153–156. External Links: ISBN 978-3-88579-614-5 Cited by: p1.
 C. Lange, C. Rowat and M. Kerber (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
 T. Mossakowski, O. Kutz and C. Lange (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development TechniquesRecent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
 T. Mossakowski, O. Kutz and C. Lange (2013) Three semantics for the core of the Distributed Ontology Language (extended abstract). In International Joint Conference on Artificial Intelligence, F. Rossi (Ed.), Cited by: p1, 18.
 C. Lange, P. Ion, A. Dimou, C. Bratsas, J. Corneli, W. Sperber, M. Kohlhase and I. Antoniou (2012) Reimplementing the mathematics subject classification (MSC) as a linked open dataset. In Intelligent computer mathematicsIntelligent 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.
 C. Lange, P. Ion, A. Dimou, C. Bratsas, 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 webThe Semantic Web, E. Simperl, P. Cimiano, A. Polleres, O. Corcho and V. Presutti (Eds.), LNCS, pp. 763–777. External Links: Link, Document Cited by: p1.
 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 mathematicsIntelligent 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.
 C. Lange, T. Mossakowski, O. Kutz, C. Galinski, 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)Terminology and Knowledge Engineering Conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. García-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
 T. Mossakowski, O. Kutz and C. Lange (2012) Three semantics for the core of the Distributed Ontology Language. In Formal Ontology in Information Systems, M. Donnelly and G. Guizzardi (Eds.), Frontiers in Artificial Intelligence and Applications, pp. 337–352. Note: Extended abstract published as  External Links: ISBN 978-1-61499-084-0, Link Cited by: p1.
 C. Tankink, C. Lange and J. Urban (2012) Point-and-write — documenting formal mathematics by reference. In Intelligent computer mathematicsIntelligent 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.
 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 workshopsThe 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.
 C. Lange, M. Kohlhase, C. David, D. Ginev, A. 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)ESWC (Part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
 C. Lange (2011) Krextor – an extensible framework for contributing content math to the web of data. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 304–306. External Links: Link Cited by: p1.
 C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov and V. Zholudev (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II)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.
 A. Kohlhase, M. Kohlhase and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
 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 webProceedings of the 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.
 J. Gičeva, C. Lange and F. Rabe (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
 C. Lange and M. Kohlhase (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
 C. Lange (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applicationsThe 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.
 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. External Links: ISBN 978-1-60750-840-3, Link Cited by: p1.
 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.
 C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.
 J. Carette, D. Aspinall, C. Lange, P. Sojka and W. Windsteiger (Eds.) (2013) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. External Links: Document, ISBN 978-3-642-39319-8 Cited by: p1.
 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  External Links: Link Cited by: p1.
 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. External Links: ISBN 978-1-60750-840-3, Link Cited by: 1.
 C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.
 M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.) (2014) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
 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.
 C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.) (2013) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
 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.
 B. Good, F. van Harmelen, A. García Castro, C. 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.
 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.
 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.
 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.
 A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.) (2010-06) AI Mashup Challenge. External Links: Link Cited by: p1.
 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.
 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.
 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: 11.
 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  Cited by: p1.
 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.
 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.
 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.
 T. Mossakowski, M. Codescu, O. Kutz, C. Lange and M. Grüninger (2014) Proof support for Common Logic. In Automated Reasoning in Quantified Non-Classical Logics (ARQNL), C. Benzmüller and J. Otten (Eds.), EasyChair Proceedings in Computing, pp. 42–58. External Links: Link Cited by: p1.
 M. Kerber, C. Lange and C. Rowat (2013) Automated reasoning for economics. In 20th Automated Reasoning Workshop (ARW), A. Bolotov, S. Colton, D. Crocker, L. Dennis, C. Dixon, J. Fleuriot, U. Hustadt, M. Jamnik, K. Komendantskaya, A. Miller, R. Schmidt, V. Sorge and J. Heras (Eds.), Note: Invited paper Cited by: p1.
 C. Lange, C. Rowat, W. Windsteiger and M. Kerber (2013) Developing an auction theory toolbox. In Enabling domain experts to use formalised reasoningEnabling Domain Experts to use Formalised Reasoning, C. Lange, C. Rowat and M. Kerber (Eds.), Cited by: p1.
 T. Mossakowski, O. Kutz, M. Codescu and C. Lange (2013) The distributed ontology, modeling and specification language. In Modular Ontologies, C. Del Vescovo, T. Hahmann, D. Pearce and D. Walther (Eds.), CEUR Workshop Proceedings, Aachen. Note: Invited paper External Links: ISSN 1613-0073, Link Cited by: p1.
 M. Kerber, C. Lange and C. Rowat (2012) Formal representation and proof for cooperative games. In Symposium on Mathematical Practice and Cognition II, A. Pease and B. Larvor (Eds.), pp. 15–18. External Links: Link, ISBN 978-1-908187-10-9 Cited by: p1.
 O. Kutz, C. Lange, T. Mossakowski, C. M. Keet, F. Neuhaus and M. Grüninger (2012) The Babel of the semantic web tongues – in search of the Rosetta stone of interoperability. In What will the Semantic Web look like 10 Years from now? Workshop at ISWC, F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandečić (Eds.), External Links: Link Cited by: p1.
 C. Lange, T. Mossakowski and O. Kutz (2012) LoLa: a modular ontology of logics, languages, and translations. In Modular Ontologies, T. Schneider and D. Walther (Eds.), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
 T. Mossakowski, O. Kutz and C. Lange (2012) cMap’s product classification mapping from an ontology interoperability perspective. In Mapping of classifications and other light-weight ontologies, A. Virgili (Ed.), Cited by: p1.
 C. Lange, T. Mossakowski, C. Galinski and O. Kutz (2011-11) Making heterogeneous ontologies interoperable through standardisation. In Accessibility Reaching Everywhere, pp. 185–196. External Links: Link Cited by: p1.
 O. Kutz, T. Mossakowski, C. Galinski and C. Lange (2011-06) Towards a standard for heterogeneous ontology integration and interoperability. In First International Conference on Terminology, Language and Content Resources (LaRC), K. Choi (Ed.), pp. 101–110. External Links: Link Cited by: p1.
 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 Conference1st Workshop on Semantic Publication (SePublica), A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
 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 Conference1st Workshop on Semantic Publication (SePublica), A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
 C. Lange (2010-07) Towards OpenMath content dictionaries as linked data. In 23rd OpenMath workshop23rd OpenMath Workshop, M. Kohlhase and C. Lange (Eds.), External Links: 1006.4057v1 Cited by: p1.
 C. David, M. Kohlhase, C. Lange, F. Rabe and V. Zholudev (2010-06) JOBAD/MMT – interactive mathematics. In AI Mashup ChallengeAI Mashup Challenge at ESWC, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.), External Links: Link Cited by: p1.
 C. David, C. Lange and F. Rabe (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. In CALCULEMUS (emerging trends)CALCULEMUS (Emerging Trends), D. Delahaye and R. Rioboo (Eds.), pp. 13–30. External Links: Link Cited by: p1.
 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 Conference5th Workshop on Semantic Wikis, C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.), CEUR Workshop Proceedings. Cited by: p1.
 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 Conference1st Workshop on Ontology Repositories and Editors, M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
 C. Lange (2010) Integrating mathematics into the web of data. In Linked Data in the Future Internet, S. Auer, S. Decker and M. Hauswirth (Eds.), CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
 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-LineProceedings of WebSci’10: Extending the Frontiers of Society On-Line, External Links: Link Cited by: p1.
 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.
 M. Kohlhase, J. Gičeva, C. Lange and V. Zholudev (2009-09) JOBAD – interactive mathematical documents. In AI Mashup ChallengeAI Mashup Challenge at KI Conference, B. Endres-Niggemeyer, V. Zacharias and P. Hitzler (Eds.), External Links: Link Cited by: p1.
 C. Lange and M. Kohlhase (2009-09) A mathematical approach to ontology authoring and documentation. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWMWissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM, C. Lange and J. Reutelshöfer (Eds.), Cited by: p1.
 C. Lange (2009-07) wiki.openmath.org – how it works, how you can participate. In 22nd openmath workshop22nd OpenMath Workshop, J. H. Davenport (Ed.), External Links: 1003.5192v1 Cited by: p1.
 C. Lange and M. Kohlhase (2009-06) Documenting ontologies the mathematical way. In Poster Proceedings of the 6th European Semantic Web Conference (ESWC), External Links: Link Cited by: p1.
 C. Lange (2009-05) Krextor – an extensible XML→RDF extraction framework. In Scripting and development for the semantic web (SFSW)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.
 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 ProceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
 C. Lange and A. González Palomo (2008-07) Easily editing and browsing complex OpenMath markup with SWiM. In Mathematical user interfaces workshop at MKMMathematical User Interfaces Workshop, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
 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)Proceedings of the 2nd SCooP Workshop, C. Müller (Ed.), Cited by: p1.
 C. Lange (2008-02) Editing OpenMath content dictionaries with SWiM. In 3rd JEM Workshop (Joining Educational Mathematics), External Links: Link Cited by: p1.
 C. Lange, U. Bojārs, T. Groza, J. Breslin and S. Handschuh (2008) Expressing argumentative discussions in social media sites. In Social data on the web (SDoW), workshop at the 7th international semantic web conferenceSocial 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.
 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 Conference3rd Workshop on Semantic Wikis, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1.
 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 Conference3rd Workshop on Semantic Wikis, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1.
 M. Kohlhase, C. Lange and F. Rabe (2007-06) Presenting mathematical content with flexible elisions. In OpenMath/JEM workshop 2007OpenMath/JEM Workshop 2007, O. Caprotti, M. Kohlhase and P. Libbrecht (Eds.), Cited by: p1.
 C. Lange (2007-06) SWiM – a semantic wiki for mathematical knowledge management. In Mathematical user-interfaces workshop 2007 at MKMMathematical User Interfaces Workshop 2007, P. Libbrecht (Ed.), Cited by: p1.
 C. Lange (2007-06) Towards scientific collaboration in a semantic wiki. In Bridging the Gap between Semantic Web and Web 2.0 (SemNet)Bridging the Gap between Semantic Web and Web 2.0 (SemNet), A. Hotho and B. Hoser (Eds.), Cited by: p1.
 C. Lange (2007) Towards a Semantic Wiki for Science. In Proceedings of the KWEPSY (Knowledge Web PhD Symposium)Proceedings of the KWEPSY (Knowledge Web PhD Symposium), E. Simperl, J. Diederich and G. Schreiber (Eds.), CEUR Workshop Proceedings. Cited by: p1.
 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 Conference1st Workshop on Semantic Wikis, M. Völkel, S. Schaffert and S. Decker (Eds.), CEUR Workshop Proceedings. Cited by: p1.
 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.
 T. Mossakowski, C. Maeder, M. Codescu, E. Kuksa and C. Lange (2013-01-10) Hets for Common Logic users. DFKI GmbH, Bremen. External Links: Link Cited by: p1.
 (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.
 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.
 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.
 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.
 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  External Links: Link Cited by: p1.
 C. Lange (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: 5.
 V. Zholudev and C. Lange (2010) TNTBase – a versioned XML database. External Links: Link Cited by: p1.
 C. Lange, M. Kerber and C. RowatU. Furbach, R. Grimm, F. Hampe, S. Staab and M. 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.
 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.
 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.
 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.
 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.
 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.
 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.
 C. Lange, N. Müller and C. Müller Document ontologies. Note: project homepage External Links: Link Cited by: p1.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.