2013

• Kerber, M., Lange, C., Rowat, C., 2013, "Automated Reasoning for Economics", 20textsuperscriptth Automated Reasoning Workshop (ARW)
• Langeselfedit, C., Caminati, M.B., Kerber, M., Mossakowski, T., Rowat, C., Wenzel, M., Windsteiger, W., 2013, "A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory", Intelligent Computer Mathematics, Springer, pp. 200–215
• Langeselfedit, C., Rowat, C., Kerber, M., 2013, "The ForMaRE Project – Formal Mathematical Reasoning in Economics", Intelligent Computer Mathematics, Springer, pp. 330–334
• Lange, C., Kerber, M., Rowat, C., 2013, "Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts"
• Mossakowski, T., Kutz, O., Lange, C., 2013, "Semantics of the Distributed Ontology Language: Institutes and Institutions", Recent Trends in Algebraic Development Techniques, Springer, pp. 212–230
• Mossakowski, T., Codescu, M., Kutz, O., Lange, C., Grüninger, M., 2013, "Proof Support for Common Logic"
• Lange, C., Rowat, C., Kerber, M., Wenzel, M., Caminati, M., Mossakowski, T., Windsteiger, W., 2013, "Auction Theory Toolbox"
• Lange, C., Rowat, C., Windsteiger, W., Kerber, M., 2013, "Developing an Auction Theory Toolbox", Enabling Domain Experts to use Formalised Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
• Lange, C., Kohlhase, M., 2013, "Mashups using Mathematical Knowledge", Springer, pp. 171–204
• Lange, C., 2013, "Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web", Semantic Web Journal, IOS Press 4, pp. 119–158
• Mossakowski, T., Kutz, O., Lange, C., 2013, "Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract)", International Joint Conference on Artificial Intelligence, AAAI Press

2012

• Rowat, C., Lange, C., Kerber, M., 2012, "Formalising ``100'' Theorems/allowbreak Models/allowbreak Theories in Economics"
• Mossakowski, T., Kutz, O., Lange, C., 2012, "cMap's Product Classification Mapping from an Ontology Interoperability Perspective", Mapping of classifications and other light-weight ontologies
• Kutz, O., Lange, C., Mossakowski, T., Keet, C.M., Neuhaus, F., Grüninger, M., 2012, "The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability", What will the Semantic Web look like 10 Years from now? Workshop at ISWC
• Kerber, M., Lange, C., Rowat, C., 2012, "An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems"
• Kerber, M., Lange, C., Rowat, C., 2012, "Formal representation and proof for cooperative games", Symposium on Mathematical Practice and Cognition II, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 15–18
• Lange, C., Ion, P., Dimou, A., Bratsas, C., Corneli, J., Sperber, W., Kohlhase, M., Antoniou, I., 2012, "Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset", Intelligent Computer Mathematics, Springer Verlag, pp. 458–462
• Tankink, C., Lange, C., Urban, J., 2012, "Point-and-write — Documenting Formal Mathematics by Reference", Intelligent Computer Mathematics, Springer Verlag, pp. 169–185
• Lange, C., Mossakowski, T., Kutz, O., 2012, "LoLa: A Modular Ontology of Logics, Languages, and Translations", Modular Ontologies
• Lange, C., Kutz, O., Mossakowski, T., Grüninger, M., 2012, "The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization", Intelligent Computer Mathematics, Springer Verlag, pp. 463–467
• Lange, C., Ion, P., Dimou, A., Bratsas, C., Sperber, W., Kohlhase, M., Antoniou, I., 2012, "Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject Classification", The Semantic Web, Springer, pp. 763–777
• Mossakowski, T., Kutz, O., Lange, C., 2012, "Three Semantics for the Core of the Distributed Ontology Language", Formal Ontology in Information Systems, IOS Press, pp. 337–352
• Lange, C., Mossakowski, T., Kutz, O., Galinski, C., Grüninger, M., Couto Vale, D., 2012, "The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility", Terminology and Knowledge Engineering Conference (TKE), pp. 33–48
• Lange, C., 2012, "Vokabelheft fürs Web", freeX Magazin für Netz-werkallowbreak/allowbreak Vir-tu-a-li-sie-rungallowbreak/allowbreak Si-cher-heit, C&L Computer- und Literaturverlag 1, pp. 42–45
• Lange, C., 2012, "Desktop mit Dolmetscher", freeX Magazin für Netz-werkallowbreak/allowbreak Vir-tu-a-li-sie-rungallowbreak/allowbreak Si-cher-heit, C&L Computer- und Literaturverlag 2, pp. 90–94

2011

• Antoniou, I., Bratsas, C., Dimou, A., Ion, P., Lange, C., Sperber, W., 2011, "Mathematics Subject Classification Linked Wiki"
• Kohlhase, M., Corneli, J., David, C., Ginev, D., Jucovschi, C., Kohlhase, A., Lange, C., Matican, B., Mirea, S., Zholudev, V., 2011, "The Planetary System: Web 3.0 & Active Documents for STEM", Procedia Computer Science, Elsevier 4, pp. 598–607
• Lange, C., Kohlhase, M., David, C., Ginev, D., Kohlhase, A., Matican, B., Mirea, S., Zholudev, V., 2011, "The Planetary System: Executable Science, Technology, Engineering and Math Papers", ESWC (Part II), Springer Verlag, pp. 471–475
• Lange, C., Mossakowski, T., Galinski, C., Kutz, O., 2011, "Making Heterogeneous Ontologies Interoperable Through Standardisation", Accessibility Reaching Everywhere, pp. 185–196
• Kutz, O., Mossakowski, T., Galinski, C., Lange, C., 2011, "Towards a Standard for Heterogeneous Ontology Integration and Interoperability", First International Conference on Terminology, Language and Content Resources (LaRC), KATS, pp. 101–110
• Lange, C., 2011, "Krextor – An Extensible Framework for Contributing Content Math to the Web of Data", Intelligent Computer Mathematics, Springer Verlag, pp. 304–306
• Dumitrache, A., Lange, C., 2011, "BauDenkMalNetz – Creating a Semantically Annotated Web Resource of Historical Buildings", 1textsuperscriptst Workshop on Semantic Publication (SePublica)
• anaru, M.C., Ginev, D., Lange, C., 2011, "Authoring and Publishing of Units and Quantities in Semantic Documents", The Semantic Web: ESWC 2011 Workshops, Springer Verlag, pp. 202–216
• anaru, M.C., Ginev, D., Lange, C., 2011, "Authoring and Publishing of Units and Quantities in Semantic Documents", 1textsuperscriptst Workshop on Semantic Publication (SePublica)
• Lange, C., 2011, "Survey Results on Collaborative Mathematical Knowledge Management"
• Lange, C., 2011, "Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration", AKA Verlag and IOS Press
• Lange, C., 2011, "Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration"

2010

• Lange, C., 2010, "Integrating Mathematics into the Web of Data", Linked Data in the Future Internet
• Lange, C., 2010, "Towards OpenMath Content Dictionaries as Linked Data", 23textsuperscriptrd OpenMath Workshop
• Kohlhase, A., Kohlhase, M., Lange, C., 2010, "Dimensions of Formality: A Case Study for MKM in Software Engineering", Intelligent Computer Mathematics, Springer Verlag, pp. 355–369
• David, C., Lange, C., Rabe, F., 2010, "Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha", CALCULEMUS (Emerging Trends), Centre d'Étude et de Recherche en Informatique du CNAM (Cédric), pp. 13–30
• Kohlhase, A., Kohlhase, M., Lange, C., 2010, "sTeX – A System for Flexible Formalization of Linked Data", Proceedings of the 6textsuperscriptth International Conference on Semantic Systems (I-Semantics) and the 5textsuperscriptth International Conference on Pragmatic Web, ACM
• ci'c, D.V., Lange, C., Hausenblas, M., Bao, J., Ding, L., 2010, "Semantics of Governmental Statistics Data", Proceedings of WebSci'10: Extending the Frontiers of Society On-Line, Web Science Trust
• David, C., Kohlhase, M., Lange, C., Rabe, F., Zholudev, V., 2010, "JOBAD/MMT – Interactive Mathematics", AI Mashup Challenge at ESWC
• David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V., 2010, "Publishing Math Lecture Notes as Linked Data", The Semantic Web: Research and Applications (Part II), Springer Verlag, pp. 370–375
• Lange, C., Zholudev, V., 2010, "Previewing OWL Changes and Refactorings Using a Flexible XML Database", 1textsuperscriptst Workshop on Ontology Repositories and Editors
• Dumitrache, A., Lange, C., Kohlhase, M., Aschenbeck, N., 2010, "Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki", 5textsuperscriptth Workshop on Semantic Wikis

2009

• Lange, C., Kohlhase, M., 2009, "Documenting Ontologies the Mathematical Way", Poster Proceedings of the 6textsuperscriptth European Semantic Web Conference (ESWC)
• Tran, H.M., Lange, C., Chulkov, G., Schönẅlder, J., Kohlhase, M., 2009, "Applying Semantic Techniques to Search and Analyze Bug Tracking Data", Journal of Network and Systems Management 17, pp. 285–308
• Lange, C., 2009, "textttwiki.openmath.org) – how it works, how you can participate", 22textsuperscriptnd OpenMath Workshop
• Kohlhase, M., Giceva, J., Lange, C., Zholudev, V., 2009, "JOBAD – Interactive Mathematical Documents", AI Mashup Challenge at KI Conference
• Giceva, J., Lange, C., Rabe, F., 2009, "Integrating Web Services into Active Mathematical Documents", MKM/-Cal-cu-le-mus Proceedings, Springer Verlag, pp. 279–293
• Lange, C., Kohlhase, M., 2009, "A Mathematical Approach to Ontology Authoring and Documentation", MKM/-Cal-cu-le-mus Proceedings, Springer Verlag, pp. 389–404
• Lange, C., Kohlhase, M., 2009, "A Mathematical Approach to Ontology Authoring and Documentation", Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM
• Kohlhase, M., Lange, C., Müller, C., Müller, N., Rabe, F., 2009, "Notations for Active Mathematical Documents", Jacobs University Bremen
• Lange, C., 2009, "Krextor – An Extensible XML$to$RDF Extraction Framework", Scripting and Development for the Semantic Web (SFSW)

2008

• Lange, C., 2008, "Mathematik lernen in einem semantischen Wiki"
• Lange, C., Kohlhase, M., 2008, "A Mathematical Approach to Ontology Authoring and Documentation", Jacobs University Bremen
• Lange, C., Boj=ars, U., Groza, T., Breslin, J., Handschuh, S., 2008, "Expressing Argumentative Discussions in Social Media Sites", Social Data on the Web (SDoW), Workshop at the 7textsuperscriptth International Semantic Web Conference
• Lange, C., González Palomo, A., 2008, "Easily Editing and Browsing Complex OpenMath Markup with SWiM", Mathematical User Interfaces Workshop
• Lange, C., Hastrup, T., Corlosquet, S., 2008, "Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki", Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptiviẗt) Conference Proceedings
• Lange, C., Hastrup, T., Corlosquet, S., 2008, "Improving mathematical knowledge items by acting on issue-based community feedback", Proceedings of the 2textsuperscriptnd SCooP Workshop
• Lange, C., 2008, "SWiM – A semantic wiki for mathematical knowledge management", The Semantic Web: Research and Applications, Springer Verlag, pp. 832–837
• Kohlhase, M., Lange, C., Müller, C., Müller, N., Rabe, F., 2008, "Adaptation of Notations in Living Mathematical Documents", Jacobs University Bremen
• Lange, C., 2008, "Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations", 3textsuperscriptrd Workshop on Semantic Wikis
• Lange, C., 2008, "Editing openmath Content Dictionaries with SWiM", 3textsuperscriptrd JEM Workshop (Joining Educational Mathematics)
• Lange, C., McLaughlin, S., Rabe, F., 2008, "Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture", 3textsuperscriptrd Workshop on Semantic Wikis
• Lange, C., Kohlhase, M., 2008, "SWiM: A Semantic Wiki for Mathematical Knowledge Management", IGI Global, pp. 47–68

2007

• Lange, C., 2007, "Towards Scientific Collaboration in a Semantic Wiki", Bridging the Gap between Semantic Web and Web 2.0 (SemNet)
• Lange, C., 2007, "Towards a Semantic Wiki for Science", Proceedings of the KWEPSY (Knowledge Web PhD Symposium)
• Lange, C., 2007, "Towards a Semantic Wiki for Science", Jacobs University Bremen
• Lange, C., others, ., 2007, "OMDoc (from Wikipedia, the free encyclopedia)"
• Lange, C., 2007, "SWiM – A Semantic Wiki for Mathematical Knowledge Management", Jacobs University Bremen
• Lange, C., 2007, "SWiM – A Semantic Wiki for Mathematical Knowledge Management", Mathematical User Interfaces Workshop 2007
• Kohlhase, M., Lange, C., Rabe, F., 2007, "Presenting Mathematical Content With Flexible Elisions", OpenMath/JEM Workshop 2007

2006

• Lange, C., Kohlhase, M., 2006, "SWiM – An OMDoc-based Semantic Wiki", Springer Verlag
• Lange, C., 2006, "A Semantic Wiki for Mathematical Knowledge Management"
• Lange, C., Kohlhase, M., 2006, "A Semantic Wiki for Mathematical Knowledge Management", 1textsuperscriptst Workshop on Semantic Wikis

2005

_unknown_

• Kerber, M., Rowat, C., Lange, C., "The ForMaRE Project"
• Kerber, M., Lange, C., Rowat, C., "ForMaRE"
• Zholudev, V., Lange, C., "TNTBase – a Versioned XML Database"
• Lange, C., Müller, N., Müller, C., "Document Ontologies"
• Couto Vale, D., Kornberger, J., Lange, C., Mossakowski, T., Müller, H., "Ontohub"