Christoph Lange, Ph.D.: Publications

Publications

Please respect possibly existing copyrights when copying. If in doubt, please ask me!

Public Listings

Generated List

This list is exhaustive and always up to date (unless it doesn't show up due to technical problems), ut see also the old, manually-maintained list below, which is sometimes nicer for some of my pre-historic publications.

Table of Contents

Articles in Journals

  1. Christoph Lange. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web; pp. 119–158 in Semantic Web Journal (4:2); IOS Press 2013.  ¶
  2. Christoph Lange. Vokabelheft fürs Web; pp. 42–45 in freeX Magazin für Netzwerkallowbreak/allowbreak Virtualisierungallowbreak/allowbreak Sicherheit (1); C&L Computer- und Literaturverlag 2012.  ¶
  3. Christoph Lange. Desktop mit Dolmetscher; pp. 90–94 in freeX Magazin für Netzwerkallowbreak/allowbreak Virtualisierungallowbreak/allowbreak Sicherheit (2); C&L Computer- und Literaturverlag 2012.  ¶
  4. Michael Kohlhase, Joe Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev. The Planetary System: Web 3.0 & Active Documents for STEM; pp. 598–607 in Mitsuhisa Sato, Satoshi Matsuoka, Peter M. Sloot, G. Dick Albada, Jack Dongarra, eds.: Procedia Computer Science (4) (Special issue: Proceedings of the International Conference on Computational Science (ICCS)); Elsevier 2011. Finalist at the Executable Paper Grand Challenge ¶
  5. Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase. Applying Semantic Techniques to Search and Analyze Bug Tracking Data; pp. 285–308 in Journal of Network and Systems Management (17:3) (Special Issue on Ontologies for Network and Service Management); May 2009.  ¶

Articles in Collections

  1. Christoph Lange, Michael Kohlhase. Mashups using Mathematical Knowledge; pp. 171–204 in Brigitte Endres-Niggemeyer, ed.: Semantic Mashups; Springer 2013. ¶
  2. Christoph Lange, Michael Kohlhase. SWiM: 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. ¶
  3. 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. Manfred Kerber, Christoph Lange, Colin Rowat. Automated Reasoning for Economics; in Alexander Bolotov, Simon Colton, David Crocker, Louise Dennis, Clare Dixon, Jacques Fleuriot, Ullrich Hustadt, Mateja Jamnik, Katya Komendantskaya, Alice Miller, Renate Schmidt, Volker Sorge, Jónathan Heras, eds.: 20th Automated Reasoning Workshop (ARW), , 2013-04-11/2013-04-12 in Dundee, UK; 2013. ¶
  2. Christoph Langeselfedit, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory; pp. 200–215 in Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, 2013-07-08/2013-07-12 in Bath, UK; Lecture Notes in Computer Science 7961, Springer 2013. ¶
  3. Christoph Langeselfedit, Colin Rowat, Manfred Kerber. The ForMaRE Project – Formal Mathematical Reasoning in Economics; pp. 330–334 in Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, 2013-07-08/2013-07-12 in Bath, UK; Lecture Notes in Computer Science 7961, Springer 2013. ¶
  4. Christoph Lange, Manfred Kerber, Colin Rowat. Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts; pp. 153–156 in Matthias Horbach, ed.: INFORMATIK 2013: Informatik angepasst an Mensch, Organisation und Umwelt, 43rd annual meeting of the German Informatics Society (Gesellschaft für Informatik e.V. (GI)), 2013-09-16/2013-09-20 in Koblenz, Germany; Lecture Notes in Informatics P-220, Köllen 2013. ¶
  5. Till Mossakowski, Oliver Kutz, Christoph Lange. Semantics of the Distributed Ontology Language: Institutes and Institutions; pp. 212–230 in Till Mossakowski, Narciso Martí-Oliet, Miguel Tarjuelo, eds.: Recent Trends in Algebraic Development Techniques, WADT 2012, 21st International Workshop on Algebraic Development Techniques, 2012-06-07/2012-06-10 in Salamanca, Spain; LNCS 7841, Springer 2013. ¶
  6. Christoph Lange, Colin Rowat, Wolfgang Windsteiger, Manfred Kerber. Developing an Auction Theory Toolbox; in Christoph Lange, Colin Rowat, Manfred Kerber, eds.: Enabling Domain Experts to use Formalised Reasoning, Do-Form, symposium at the AISB Annual Convention, 2013-04-03/2013-04-05 in Exeter, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2013. ¶
  7. Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract); in Francesca Rossi, ed.: International Joint Conference on Artificial Intelligence, 23rd International Conference (IJCAI 2013), track on best papers in sister conferences, 2013-08-03/2013-08-09 in Beijing, China; AAAI Press 2013. ¶
  8. Till Mossakowski, Oliver Kutz, Christoph Lange. cMap's Product Classification Mapping from an Ontology Interoperability Perspective; in Aurélie Virgili, Others, eds.: Mapping of classifications and other light-weight ontologies, Workshop of the cMap project (Classification Mapping for open and standardized product classification usage in eBusiness), 2012-06-22 in Madrid, Spain; 2012. ¶
  9. Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus, Michael Grüninger. The Babel of the Semantic Web Tongues – In Search of the Rosetta Stone of Interoperability; in Frank Harmelen, James A. Hendler, Pascal Hitzler, Krzysztof Janowicz, Denny Vrandečić, eds.: What will the Semantic Web look like 10 Years from now? Workshop at ISWC; 2012. ¶
  10. Manfred Kerber, Christoph Lange, Colin Rowat. Formal representation and proof for cooperative games; pp. 15–18 in Alison Pease, Brendan Larvor, eds.: Symposium on Mathematical Practice and Cognition II, , 2012-07-02/2012-07-03 in Birmingham, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2012. ¶
  11. Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou. Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset; pp. 458–462 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  12. Carst Tankink, Christoph Lange, Josef Urban. Point-and-write — Documenting Formal Mathematics by Reference; pp. 169–185 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  13. Christoph Lange, Till Mossakowski, Oliver Kutz. LoLa: A Modular Ontology of Logics, Languages, and Translations; in Thomas Schneider, Dirk Walther, eds.: Modular Ontologies, 6th International Workshop (WoMO), 2012-07-24 in Graz, Austria; CEUR Workshop Proceedings 875, 2012. ¶
  14. Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger. The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization; pp. 463–467 in Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, eds.: Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics (CICM), 2012-07-09/2012-07-14 in Bremen, Germany; LNAI 7362, Springer Verlag 2012. ¶
  15. Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou. Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject Classification; pp. 763–777 in Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar Corcho, Valentina Presutti, eds.: The Semantic Web, 9th Extended Semantic Web Conference (ESWC), 2012-05-27/2012-05-31 in Hersonissos, Crete, Greece; LNCS 7295, Springer 2012. ¶
  16. Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language; pp. 337–352 in Maureen Donnelly, Giancarlo Guizzardi, eds.: Formal Ontology in Information Systems, 7th International Conference (FOIS 2012), 2012-07-24/2012-07-27 in Graz, Austria; Frontiers in Artificial Intelligence and Applications 239, IOS Press 2012. ¶
  17. Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Vale. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility; pp. 33–48 in Guadalupe Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda, eds.: Terminology and Knowledge Engineering Conference (TKE), , 2012-06-20/2012-06-21 in Madrid, Spain; 2012. ¶
  18. Christoph Lange, Till Mossakowski, Christian Galinski, Oliver Kutz. Making Heterogeneous Ontologies Interoperable Through Standardisation; pp. 185–196 in Accessibility Reaching Everywhere, AEGIS 2nd International Conference, 2011-11-29/2011-11-30 in Brussels, Belgium; November 2011. ¶
  19. Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange. Towards a Standard for Heterogeneous Ontology Integration and Interoperability; pp. 101–110 in Key-Sun Choi, Others, eds.: First International Conference on Terminology, Language and Content Resources (LaRC), , 2011-06-10/2011-06-11 in Seoul, Korea; KATS June 2011. ¶
  20. Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev. The Planetary System: Executable Science, Technology, Engineering and Math Papers; pp. 471–475 in Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan, eds.: ESWC (Part II), 8th Extended Semantic Web Conference (ESWC), 2011-05-29/2011-06-02 in Hersonissos, Crete, Greece; LNCS 6644, Springer Verlag 2011. ¶
  21. Christoph Lange. Krextor – An Extensible Framework for Contributing Content Math to the Web of Data; pp. 304–306 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  22. Anca Dumitrache, Christoph Lange. BauDenkMalNetz – Creating a Semantically Annotated Web Resource of Historical Buildings; in Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard, eds.: 1st Workshop on Semantic Publication (SePublica), , 2011-05-30 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 721, 2011. ¶
  23. Mihai Cîrlănaru, Deyan Ginev, Christoph Lange. Authoring and Publishing of Units and Quantities in Semantic Documents; pp. 202–216 in Raúl Castro, Dieter Fensel, Grigoris Antoniou, eds.: The Semantic Web: ESWC 2011 Workshops, Workshops at the 8th Extended Semantic Web Conference (ESWC), 2011-05-29/2011-05-30 in Hersonissos, Crete, Greece; LNCS 7117, Springer Verlag 2011. ¶
  24. Mihai Cîrlănaru, Deyan Ginev, Christoph Lange. Authoring and Publishing of Units and Quantities in Semantic Documents; in Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard, eds.: 1st Workshop on Semantic Publication (SePublica), , 2011-05-30 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 721, 2011. ¶
  25. Christoph Lange. Towards OpenMath Content Dictionaries as Linked Data; in Michael Kohlhase, Christoph Lange, eds.: 23rd OpenMath Workshop; July 2010. ¶
  26. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev. JOBAD/MMT – Interactive Mathematics; in Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler, eds.: AI Mashup Challenge at ESWC; June 2010. ¶
  27. Christoph Lange. Integrating Mathematics into the Web of Data; in Sören Auer, Stefan Decker, Manfred Hauswirth, eds.: Linked Data in the Future Internet, Future Internet Assembly, 2010-12-16/2010-12-17 in Ghent, Belgium; CEUR Workshop Proceedings 700, 2010. ¶
  28. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. Dimensions of Formality: A Case Study for MKM in Software Engineering; pp. 355–369 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  29. Catalin David, Christoph Lange, Florian Rabe. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha; pp. 13–30 in David Delahaye, Renaud Rioboo, eds.: CALCULEMUS (Emerging Trends); Centre d'Étude et de Recherche en Informatique du CNAM (Cédric) 2010. ¶
  30. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. sTeX – A System for Flexible Formalization of Linked Data; in Adrian Paschke, Nicola Henze, Tassilo Pellegrini, Hans Weigand, eds.: Proceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web; ACM 2010. ¶
  31. Denny Vrandečić, Christoph Lange, Michael Hausenblas, Jie Bao, Li Ding. Semantics of Governmental Statistics Data; in Proceedings of WebSci'10: Extending the Frontiers of Society On-Line; Web Science Trust 2010. ¶
  32. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache, eds.: The Semantic Web: Research and Applications (Part II), 7th Extended Semantic Web Conference (ESWC), 2010-05-30/2010-06-03 in Hersonissos, Crete, Greece; LNCS 6089, Springer Verlag 2010. ¶
  33. Christoph Lange, Vyacheslav Zholudev. Previewing OWL Changes and Refactorings Using a Flexible XML Database; in Mathieu d'Aquin, Alexander Castro, Christoph Lange, Kim Viljanen, eds.: 1st Workshop on Ontology Repositories and Editors, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 596, 2010. ¶
  34. Anca Dumitrache, Christoph Lange, Michael Kohlhase, Nils Aschenbeck. Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki; in Christoph Lange, Jochen Reutelshöfer, Sebastian Schaffert, Hala Skaf-Molli, eds.: 5th Workshop on Semantic Wikis, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 632, 2010. ¶
  35. Michael Kohlhase, Jana Giceva, Christoph Lange, Vyacheslav Zholudev. JOBAD – Interactive Mathematical Documents; in Brigitte Endres-Niggemeyer, Valentin Zacharias, Pascal Hitzler, eds.: AI Mashup Challenge at KI Conference; September 2009. ¶
  36. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. ¶
  37. Christoph Lange. wiki.openmath.org – how it works, how you can participate; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  38. Jana Giceva, Christoph Lange, Florian Rabe. Integrating Web Services into Active Mathematical Documents; pp. 279–293 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  39. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; pp. 389–404 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  40. Christoph Lange, Michael Kohlhase. Documenting Ontologies the Mathematical Way; in , ed.: Poster Proceedings of the 6th European Semantic Web Conference (ESWC); June 2009. ¶
  41. Christoph Lange. Krextor – An Extensible XML$to$RDF Extraction Framework; in Chris Bizer, Sören Auer, Gunnar AAstrand Grimnes, eds.: Scripting and Development for the Semantic Web (SFSW); CEUR Workshop Proceedings 449, May 2009. ¶
  42. 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. ¶
  43. Christoph Lange, Alberto Palomo. Easily Editing and Browsing Complex OpenMath Markup with SWiM; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop; July 2008. ¶
  44. 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. ¶
  45. Christoph Lange. Editing openmath Content Dictionaries with SWiM; in 3rd JEM Workshop (Joining Educational Mathematics); February 2008. ¶
  46. Christoph Lange, Uldis Bojārs, Tudor Groza, John Breslin, Siegfried Handschuh. Expressing Argumentative Discussions in Social Media Sites; in John Breslin, Uldis Bojārs, Alexandre Passant, Sergio Fernández, eds.: Social Data on the Web (SDoW), Workshop at the 7th International Semantic Web Conference, , 2008-10-27 in Karlsruhe, Germany; CEUR Workshop Proceedings 405, 2008. ¶
  47. 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; LNCS 5021, Springer Verlag 2008. ¶
  48. 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. ¶
  49. 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. ¶
  50. 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. ¶
  51. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007. ¶
  52. 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. ¶
  53. 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. ¶
  54. 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. Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, 2013-07-08/2013-07-12 in Bath, UK; Lecture Notes in Computer Science 7961, Springer 2013.  ¶
  2. Christoph Lange, Colin Rowat, Manfred Kerber. Enabling Domain Experts to use Formalised Reasoning, Do-Form, symposium at the AISB Annual Convention, 2013-04-03/2013-04-05 in Exeter, UK; Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) 2013.  ¶
  3. Alexander Castro, Christoph Lange, Phillip Lord, Robert Stevens. 3rd Workshop on Semantic Publishing (SePublica), , 2013-05-26 in Montpellier, France; CEUR Workshop Proceedings 994, 2013.  ¶
  4. Benjamin Good, Frank Harmelen, Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard. 2nd Workshop on Semantic Publishing (SePublica), , 2012-05-28 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 903, 2012.  ¶
  5. Christoph Lange, . Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration; AKA Verlag and IOS Press 2011. Book edition of thesis citeLange:PhD ¶
  6. Alexander Castro, Ken Baclawski, John Bateman, Kim Viljanen, Christoph Lange. Workshop Ontologies come of Age in the Semantic Web, , 2011-10-24 in Bonn, Germany; CEUR Workshop Proceedings 809, 2011.  ¶
  7. Christoph Lange, Josef Urban. ITP Workshop on Mathematical Wikis (MathWikis), , 2011-08-27 in Nijmegen, Netherlands; CEUR Workshop Proceedings 767, 2011.  ¶
  8. Alexander Castro, Christoph Lange, Evan Sandhaus, Anita Waard. 1st Workshop on Semantic Publication (SePublica), , 2011-05-30 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 721, 2011.  ¶
  9. Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler. AI Mashup Challenge at ESWC; June 2010.  ¶
  10. Mathieu d'Aquin, Alexander Castro, Christoph Lange, Kim Viljanen. 1st Workshop on Ontology Repositories and Editors, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 596, 2010.  ¶
  11. Christoph Lange, Jochen Reutelshöfer, Sebastian Schaffert, Hala Skaf-Molli. 5th Workshop on Semantic Wikis, , 2010-05-31 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 632, 2010.  ¶
  12. Christoph Lange, Jochen Reutelshöfer. Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009.  ¶
  13. Christoph Lange, Jochen Reutelshöfer. Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM; September 2009. Workshop at LWA 2009, published as part of citeLWA09 ¶
  14. Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel. 4th Workshop on Semantic Wikis, , 2009-06-01 in Hersonissos, Crete, Greece; CEUR Workshop Proceedings 464, 2009.  ¶
  15. Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel. 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008.  ¶
  16. Christoph Lange. Wikis und Blogs – Planen, Einrichten, Verwalten; C&L Computer- und Literaturverlag September 2006.  ¶
  17. Christoph Lange. Wiki – Planen, Einrichten, Verwalten; C&L Computer- und Literaturverlag September 2005.  ¶

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. Manfred Kerber, Christoph Lange, Colin Rowat. A formal proof of Vickrey's theorem by blast, simp, and rule; Working Paper 14-01, University of Birmingham, Department of Economics January 2014. ¶
  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. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; KWARC Report 2008-3, Jacobs University Bremen December 2008. ¶
  4. 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. ¶
  5. Christoph Lange. SWiM – A Semantic Wiki for Mathematical Knowledge Management; Technical Report 5, Jacobs University Bremen March 2007. ¶

Unpublished

  1. Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger. Proof Support for Common Logic; , 2013. ¶
  2. Vyacheslav Zholudev, Christoph Lange. TNTBase – a Versioned XML Database;  ¶

Miscellaneous

  1. Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat. Proving soundness of combinatorial Vickrey auctions and generating verified executable code; , 2013. ¶
  2. Christoph Lange, Manfred Kerber, Colin Rowat. Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts; in Ulrich Furbach, Rüdiger Grimm, Felix Hampe, Steffen Staab, Maria Wimmer, eds.: . ; 2013. ¶
  3. Christoph Lange, Colin Rowat, Manfred Kerber, Makarius Wenzel, Marco Caminati, Till Mossakowski, Wolfgang Windsteiger. Auction Theory Toolbox; , 2013. ¶
  4. . OntoIOp (Ontology, Model and Specification Integration and Interoperability), an OMG Standard Development Initiative; , 2013. ¶
  5. Colin Rowat, Christoph Lange, Manfred Kerber. Formalising “100” Theorems/allowbreak Models/allowbreak Theories in Economics; , 2012. ¶
  6. Manfred Kerber, Christoph Lange, Colin Rowat. An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems; in Kenneth Judd, ed.: . ; 2012. ¶
  7. . Mathematics Subject Classification (MSC) SKOS; , 2012. ¶
  8. Ioannis Antoniou, Charalampos Bratsas, Anastasia Dimou, Patrick Ion, Christoph Lange, Wolfram Sperber. Mathematics Subject Classification Linked Wiki; , 2011. ¶
  9. 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” ¶
  10. Christoph Lange. OpenMath Wiki; , 2009. ¶
  11. Christoph Lange. Mathematik lernen in einem semantischen Wiki; , March 2008. Invited talk at the 99th MNU-Kongress (Deutscher Verein zur Förderung des mathematischen und naturwissenschaftlichen Unterrichts e.V.) ¶
  12. Christoph Lange, Others. OMDoc (from Wikipedia, the free encyclopedia); in Wikimedia Foundation, ed.: . ; March 2007. ¶
  13. Christoph Lange. Towards a Semantic Wiki for Science; , February 2007. Research proposal for a Ph. D. thesis ¶
  14. Manfred Kerber, Colin Rowat, Christoph Lange. The ForMaRE Project;  ¶
  15. Manfred Kerber, Christoph Lange, Colin Rowat. ForMaRE;  ¶
  16. Christoph Lange, Others. Krextor – The KWARC RDF Extractor;  ¶
  17. Christoph Lange. scSWiM: A Semantic Wiki for Mathematical Knowledge Management;  ¶
  18. Christoph Lange. The OMDoc Ontology;  ¶
  19. . JOBAD Framework – JavaScript API for OMDoc-based active documents;  ¶
  20. Christoph Lange, Normen Müller, Christine Müller. Document Ontologies; project homepage at http://kwarc.info/projects/docOnto/ ¶
  21. . Ontohub;  ¶
  22. Daniel Vale, Julian Kornberger, Christoph Lange, Till Mossakowski, Henning Müller. Ontohub;  ¶

(last regeneration: 2014-04-14+02:00)

Old list

manually maintained until fall 2008, may contain some more details (such as slides)

Refereed, printed

Refereed

Invited Talks

Theses

Proposals

Other

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